TreeView Knowledge Base Browser - MobileCellPhone

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MobileCellPhone

Sigma KEE - MobileCellPhone

MobileCellPhone(mobile cell phone)

cell, cellphone, cellular_phone, cellular_telephone, mobile_phone

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25063-25066
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 331-331
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25061-25061	Mobile cell phone is a subclass of receiver device
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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 627-627	IPhone is a subclass of mobile cell phone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29558-29558	Smart phone is a subclass of mobile cell phone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38157-38157
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38156-38156
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38155-38155

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25132-25139	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 25141-25147	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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25125-25130	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1960-1968	If a physical is an instance of app, then the physical has the purpose there exist the physical, an entity and another entity such that the other entity is an instance of mobile cell phone and the entity is an instance of computer process and the physical is a program running of the entity and the entity is running on the other entity

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