WireLine - Sigma Knowledge base Browser

appearance as argument number 1

(documentation WireLine EnglishLanguage "A Wire that is designed for conducting electricity.")	Mid-level-ontology.kif 4066-4066
(subclass WireLine EngineeringComponent)	Mid-level-ontology.kif 4065-4065	Wire line is a subclass of engineering component
(subclass WireLine Wire)	Mid-level-ontology.kif 4064-4064	Wire line is a subclass of wire

appearance as argument number 2

(subclass TelephoneLine WireLine)	Mid-level-ontology.kif 4076-4076	Telephone line is a subclass of wire line
(termFormat ChineseLanguage WireLine "电线")	domainEnglishFormat.kif 63231-63231	Telephone line is a subclass of wire line
(termFormat ChineseTraditionalLanguage WireLine "電線")	domainEnglishFormat.kif 63230-63230	Telephone line is a subclass of wire line
(termFormat EnglishLanguage WireLine "wire line")	domainEnglishFormat.kif 63229-63229	Telephone line is a subclass of wire line

antecedent

(=>
    (instance ?WL WireLine)
    (hasPurpose ?WL
        (exists (?R)
            (and
                (instance ?R Radiating)
                (path ?R ?WL)))))

Mid-level-ontology.kif 4068-4074

If a physical is an instance of wire line,
then the physical has the purpose there exists an entity such that the entity is an instance of radiating and the physical is path along which the entity occurs

consequent

(=> (instance ?C Cable) (exists (?WIRE) (and (instance ?WIRE WireLine) (part ?WIRE ?C))))	Hotel.kif 1414-1419	If an object is an instance of cable, then there exists another object such that the other object is an instance of wire line and the other object is a part of the object
(=> (instance ?X CordedTelephone) (exists (?HANDSET ?CRADLE ?WIRE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))	Communications.kif 78-87	If an object is an instance of corded telephone, then there exist an engineering component, another engineering component and an engineering connection such that the engineering component is an instance of telephone handset and the other engineering component is an instance of telephone cradle and the engineering component is a part of the object and the other engineering component is a part of the object and the engineering connection is an instance of wire line and the engineering connection connects the engineering component and the other engineering component
(=> (instance ?X CordlessTelephone) (exists (?HANDSET ?CRADLE) (and (instance ?HANDSET TelephoneHandset) (instance ?CRADLE TelephoneCradle) (part ?HANDSET ?X) (part ?CRADLE ?X) (not (exists (?WIRE) (and (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))	Communications.kif 95-107	If an object is an instance of cordless telephone, then there exist an engineering component and another engineering component such that the engineering component is an instance of telephone handset and the other engineering component is an instance of telephone cradle and the engineering component is a part of the object and the other engineering component is a part of the object and there doesn't exist an engineering connection such that the engineering connection is an instance of wire line and the engineering connection connects the engineering component and the other engineering component
(=> (instance ?X ElectricalOutlet) (hasPurpose ?X (exists (?POWER ?WIRE) (and (instance ?POWER PowerSource) (instance ?WIRE Collection) (memberType ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?POWER)))))	Mid-level-ontology.kif 27819-27827	If a physical is an instance of electrical outlet, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of power source and the other entity is an instance of collection and wire line is a member type of the other entity and the other entity connects the physical and the entity
(=> (instance ?X TelephoneCradle) (hasPurpose ?X (exists (?SYS ?WIRE) (and (instance ?SYS TelephoneSystem) (instance ?WIRE WireLine) (connectsEngineeringComponents ?WIRE ?X ?SYS)))))	Communications.kif 64-71	If a physical is an instance of telephone cradle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of telephone system and the other entity is an instance of wire line and the other entity connects the physical and the entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: