MobileCellPhone - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

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 23060-23063
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 23058-23058	Mobile cell phone is a subclass of receiver device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23059-23059	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 629-629	IPhone is a subclass of mobile cell phone
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27797-27797	SmartPhone is a subclass of mobile cell phone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38053-38053
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38052-38052
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38051-38051

antecedent

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

Mid-level-ontology.kif 23084-23091

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23076-23081	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 1940-1948	If a physical is an instance of app, then the physical purpose there exist the physical and an entity such that another 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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners