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

(documentation MobileCellPhone EnglishLanguage "A MobileCellPhone is a Telephone that connects to the telephone network by sending and receiving radio transmissions, rather than via a cord, and so is portable.")	Mid-level-ontology.kif 26714-26717
(externalImage MobileCellPhone "http://articulatesoftware.com/SUMOpictures/ telephone/ cell_phones/ cell_1.png")	pictureList.kif 331-331
(subclass MobileCellPhone ReceiverDevice)	Mid-level-ontology.kif 26712-26712	Mobile cell phone is a subclass of receiver device
(subclass MobileCellPhone Telephone)	Mid-level-ontology.kif 26713-26713	Mobile cell phone is a subclass of telephone

appearance as argument number 2

(subclass AppleIPhone MobileCellPhone)	ComputingBrands.kif 627-627	IPhone is a subclass of mobile cell phone
(subclass SmartPhone MobileCellPhone)	Mid-level-ontology.kif 31472-31472	Smart phone is a subclass of mobile cell phone
(termFormat ChineseLanguage MobileCellPhone "移动手机")	domainEnglishFormat.kif 38165-38165	Smart phone is a subclass of mobile cell phone
(termFormat ChineseTraditionalLanguage MobileCellPhone "移動手機")	domainEnglishFormat.kif 38164-38164	Smart phone is a subclass of mobile cell phone
(termFormat EnglishLanguage MobileCellPhone "mobile cell phone")	domainEnglishFormat.kif 38163-38163	Smart phone is a subclass of mobile cell phone

antecedent

(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT)))	Mid-level-ontology.kif 26783-26790	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
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE)))	Mid-level-ontology.kif 26792-26798	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

(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone))	Mid-level-ontology.kif 26776-26781	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
(=> (instance ?A App) (hasPurpose ?A (exists (?A ?P ?C) (and (instance ?C MobileCellPhone) (instance ?P ComputerProcess) (programRunning ?P ?A) (computerRunning ?P ?C)))))	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