WireLine - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WireLine

WireLine(wire line)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3623-3623
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3622-3622	Wire line is a subclass of engineering component
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3621-3621	Wire line is a subclass of wire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3633-3633	Telephone line is a subclass of wire line
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63237-63237
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63236-63236
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 63235-63235

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 3625-3631

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25919-25927	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
No TPTP formula. May not be expressible in strict first order.	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