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 24939-24942
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24937-24937	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 24938-24938	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 24936-24936	device telecom number is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24935-24935	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 65812-65812

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25092-25101	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 25215-25222	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 25190-25197	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 25064-25071	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 25224-25229	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 25083-25090	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 25199-25205	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 25183-25188	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