TreeView Knowledge Base Browser - deviceTelecomNumber

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

deviceTelecomNumber

Sigma KEE - deviceTelecomNumber

deviceTelecomNumber

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24882-24885
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24880-24880	The number 1 argument of device telecom number is an instance of telecom number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24881-24881	The number 2 argument of device telecom number is an instance of telephony device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24879-24879	device telecom number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24878-24878	device telecom number is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3246-3246
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3245-3245
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3244-3244
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65810-65810

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25035-25044	If an entity is an instance of human and another entity has number a third entity and the third entity is the telephone number of the entity and the other entity is located at a fourth entity and the fourth entity is an instance of residence holds during a time position, then the entity lives in the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25158-25165	If an entity is an instance of fax machine and the entity has number another entity and a third entity possesses the entity holds during a time position, then the fax number of the third entity is the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25133-25140	If an entity is an instance of mobile cell phone and the entity has number another entity and the other entity is the telephone number of a third entity holds during a time position, then the mobile number of the third entity is the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25007-25014	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25167-25172	If an entity has number another entity and the fax number of a third entity is the other entity holds during a time position, then the entity is an instance of fax machine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25026-25033	If an entity has number another entity and the other entity is the home phone of a third entity and the entity is located at a fourth entity and the fourth entity is an instance of permanent residence holds during a time position, then the home of the third entity is the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25142-25148	If an entity has number another entity and the entity is an instance of mobile cell phone and the mobile number of a third entity is the other entity holds during a time position, then the third entity possesses the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25126-25131	If an entity has number another entity and the mobile number of a third entity is the other entity holds during a time position, then the entity is an instance of mobile cell phone

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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