CordedTelephone - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CordedTelephone

CordedTelephone(corded telephone)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Communications.kif 74-75
No TPTP formula. May not be expressible in strict first order.	Communications.kif 73-73	Corded telephone is a subclass of fixed phone

appearance as argument number 2

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

Communications.kif 76-76

antecedent

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

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