4.2.4.2 The "Loaded_Features" Hypothesis

Not all knowledge bases are loaded at once. Depending how the user invokes PIMES on the command line, features may be evaluated, molds may be dimensioned, or machines may be selected. The knowledge base required for feature-based analysis is that of "features.tkb". The hypothesis Loaded_Features loads this knowledge base, as illustrated in Figure 31

Figure 31 Rule "Loaded_Features"

(@RULE= R3

(@LHS= (Is (Loaded_Features) (UNKNOWN)) )

(@HYPO= Loaded_Features)

(@RHS= (LoadKB ("features2.tkb") (@LEVEL=ENABLE;)) ))