TreeView Knowledge Base Browser

appearance as argument number 2

antecedent

(=> (instance ?P ProductAssembly) (exists (?M) (and (subProcess ?P ?M) (instance ?M Manufacture))))	Economy.kif 2128-2133	If X is an instance of Product assembly, then there exists Y such that X is a subprocess of Y and Y is an instance of manufacture
(=> (and (instance ?P ProductAssembly) (eventLocated ?P ?X) (instance ?X AssemblyStation)) (or (instance ?P Attaching) (instance ?P Combining)))	Economy.kif 2135-2142	If X is an instance of Product assembly, X is located at Y, and Y is an instance of assembly station, then X is an instance of attaching or X is an instance of combining
(=> (instance ?P ProductAssembly) (exists (?O ?Q ?W) (and (patient ?P ?O) (patient ?P ?Q) (not (equal ?O ?Q)) (instance ?O SelfConnectedObject) (instance ?Q SelfConnectedObject) (part ?O ?W) (part ?Q ?W) (instance ?W Artifact) (result ?P ?W))))	Economy.kif 2144-2157	If X is an instance of Product assembly, then All of the following hold: (1) there exist Y, Z (2) W such that Y is a patient of X (3) Z is a patient of X (4) equal Y (5) Z (6) Y is an instance of self connected object (7) Z is an instance of self connected object (8) Y is a part of W (9) Z is a part of W (10) W is an instance of artifact (11) W is a result of X

consequent

(=>
    (instance ?X AssemblyStation)
    (hasPurpose ?X
        (exists (?P)
            (and
                (instance ?P ProductAssembly)
                (eventLocated ?P ?X)))))

If X is an instance of assembly station, then X has the purpose there exists Y such that Y is an instance of Product assembly and Y is located at X

(subclass ProductAssembly DualObjectProcess)	Economy.kif 2122-2122	Product assembly is a subclass of dual object process
(documentation ProductAssembly EnglishLanguage "A ProductAssembly is a subProcess in Manufacture (ing) in which individual parts are combined and attached to form the final product in a specific order.")	Economy.kif 2123-2125	Product assembly is a subclass of dual object process