Telephone - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2925-2929
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 774-774
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2924-2924	Telephone is a subclass of communication device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2923-2923	Telephone is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24654-24654	Telephone is a subclass of telephony device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25140-25140	Fixed phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25143-25143	Mobile cell phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26375-26375	TDD phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57299-57299
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57298-57298
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57297-57297

appearance as argument number 3

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

FinancialOntology.kif 3694-3694

The number 2 argument of phone number is an instance of telephone

antecedent

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

Mid-level-ontology.kif 25087-25094

If an entity is an instance of telephone and another entity possesses the entity and the entity has number a third entity holds during a time position,
then the third entity is the telephone number of the other entity holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.	Communications.kif 40-45	If an engineering component is an instance of telephone system, then there exists another engineering component such that the other engineering component is an instance of telephone and the other engineering component is a component of the engineering component
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2938-2943	If a process is an instance of telephoning, then there exists an object such that the object is an instance of telephone and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3609-3620	If an object is an instance of telephone line, then there exist another object and a third object such that the other object is an instance of telephone or the other object is an instance of telegraph and the third object is an instance of telephone or the third object is an instance of telegraph and the other object is not equal to the third object and the object connects the other object and the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27132-27143	If a process is an instance of telephone communication, then there exist an agent, another agent,, , a contact site and another contact site such that the process originates at the contact site and the process ends up at the other contact site and the agent can be contacted at the contact site and the other agent can be contacted at the other contact site and the agent is an instance of telephone and the other agent is an instance of telephone and the agent is an instrument for the process and the other agent is an instrument for the process

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: