| MobileCellPhone(mobile cell phone)
| | cell, cellphone, cellular_phone, cellular_telephone, mobile_phone |
| appearance as argument number 1 |
|
|
| (subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 27461-27461 | Mobile cell phone is a subclass of receiver device |
| (subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 27462-27462 | Mobile cell phone is a subclass of telephone |
| (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 27463-27466 | Mobile cell phone is a subclass of telephone |
| (externalImage MobileCellPhone "http://articulatesoftware.com/SUMOpictures/ telephone/ cell_phones/ cell_1.png") | pictureList.kif 331-331 | Mobile cell phone is a subclass of telephone |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 27532-27539 | If X is an instance of mobile cell phone and X has number Y and Y is the telephone number of Z holds during W, then the mobile number of Z is Y holds during W |
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE))) |
Mid-level-ontology.kif 27541-27547 | If X has number Y, X is an instance of mobile cell phone, and the mobile number of Z is Y holds during W, then Z possesses X holds during W |
| consequent |
|
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone)) |
Mid-level-ontology.kif 27525-27530 | If X has number Y and the mobile number of Z is Y holds during W, then X 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 X is an instance of app, then X has the purpose there exist X, Y, Z such that Z is an instance of mobile cell phone, Y is an instance of computer process, X is a program running of Y, and Y is running on Z |
|
|
|