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

appearance as argument number 2

(subclass TelephoneLine WireLine)	Mid-level-ontology.kif 3626-3626	Telephone line is a subclass of wire line
(termFormat ChineseLanguage WireLine "电线")	domainEnglishFormat.kif 63262-63262	Telephone line is a subclass of wire line
(termFormat ChineseTraditionalLanguage WireLine "電線")	domainEnglishFormat.kif 63261-63261	Telephone line is a subclass of wire line
(termFormat EnglishLanguage WireLine "wire line")	domainEnglishFormat.kif 63260-63260	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 3618-3624

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 1403-1408	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 26183-26191	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: