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 3556-3556
(subclass WireLine EngineeringComponent)	Mid-level-ontology.kif 3555-3555	Wire line is a subclass of engineering component
(subclass WireLine Wire)	Mid-level-ontology.kif 3554-3554	Wire line is a subclass of wire

appearance as argument number 2

(subclass TelephoneLine WireLine)	Mid-level-ontology.kif 3566-3566	Telephone line is a subclass of wire line
(termFormat ChineseLanguage WireLine "电线")	domainEnglishFormat.kif 63198-63198
(termFormat ChineseTraditionalLanguage WireLine "電線")	domainEnglishFormat.kif 63197-63197
(termFormat EnglishLanguage WireLine "wire line")	domainEnglishFormat.kif 63196-63196

antecedent

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

Mid-level-ontology.kif 3558-3564

If a physical is an instance of wire line,
then the physical 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 1368-1373	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 22131-22139	If a physical is an instance of electrical outlet, then the physical 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 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: