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 4083-4083	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 4084-4086	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 4092-4092	Wire spring is a subclass of wire
(subclass WireLine Wire)	Mid-level-ontology.kif 4097-4097	Wire line is a subclass of wire
(subclass WireCoil Wire)	Cars.kif 3150-3150	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