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 2953-2957
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 2952-2952	Telephone is a subclass of communication device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2951-2951	Telephone is a subclass of electric device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24573-24573	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 25059-25059	Fixed phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25062-25062	Mobile cell phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25069-25069	Satellite phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26265-26265	TDD phone is a subclass of telephone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57290-57290
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57289-57289
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57288-57288

appearance as argument number 3

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

FinancialOntology.kif 3681-3681

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 25006-25013

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 2966-2971	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 3637-3648	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 27015-27026	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: