TreeView Knowledge Base Browser

antecedent

(=>
(instance ?WIRE Wire)
(material Metal ?WIRE))

If X is an instance of wire, then X is made of metal

consequent

(=>
    (instance ?JC JumperCable)
    (exists (?C1 ?C2 ?W)
        (and
            (instance ?C1 Clamp)
            (instance ?C2 Clamp)
            (instance ?W Wire)
            (part ?C1 ?JC)
            (part ?C2 ?JC)
            (part ?W ?JC)
            (connectedEngineeringComponents ?C1 ?W)
            (connectedEngineeringComponents ?C2 ?W)
            (not
                (equal ?C1 ?C2)))))

If X is an instance of jumper cable, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of clamp (3) Z is an instance of clamp (4) W is an instance of wire (5) Y is a part of X (6) Z is a part of X (7) W is a part of X (8) Y is connected to W (9) Z is connected to W (10) equal Y (11) Z

(subclass Wire Artifact)	Mid-level-ontology.kif 4253-4253	Wire is a subclass of artifact
(documentation Wire EnglishLanguage "A long, thin strand of Metal that is used in a wide range of applications, including the wiring of electrical systems, creating bundles and the construction of cages.")	Mid-level-ontology.kif 4254-4256	Wire is a subclass of artifact
(externalImage Wire "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Wire.agr.jpg")	pictureList.kif 203-203	Wire is a subclass of artifact

(subclass WireSpring Wire)	Mid-level-ontology.kif 4262-4262	Wire spring is a subclass of wire
(subclass WireLine Wire)	Mid-level-ontology.kif 4267-4267	Wire line is a subclass of wire
(subclass WireCoil Wire)	Cars.kif 2957-2957	Wire coil is a subclass of wire
(termFormat EnglishLanguage Wire "wire")	domainEnglishFormat.kif 63220-63220	Wire coil is a subclass of wire
(termFormat ChineseTraditionalLanguage Wire "線")	domainEnglishFormat.kif 63221-63221	Wire coil is a subclass of wire
(termFormat ChineseLanguage Wire "线")	domainEnglishFormat.kif 63222-63222	Wire coil is a subclass of wire