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 26726-26729
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 26724-26724	Mobile cell phone is a subclass of receiver device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26725-26725	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 31489-31489	Smart phone is a subclass of mobile cell phone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38166-38166	Smart phone is a subclass of mobile cell phone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38165-38165	Smart phone is a subclass of mobile cell phone
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38164-38164	Smart phone is a subclass of mobile cell phone

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26795-26802	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 26804-26810	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 26788-26793	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 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