Wire - Sigma 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 4067-4067	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 4068-4070	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 4076-4076	Wire spring is a subclass of wire
(subclass WireLine Wire)	Mid-level-ontology.kif 4081-4081	Wire line is a subclass of wire
(subclass WireCoil Wire)	Cars.kif 3138-3138	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