|
|
   MobileCellPhone
|
|
|
| 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 25064-25067 | |
| (externalImage MobileCellPhone "http://articulatesoftware.com/SUMOpictures/ telephone/ cell_phones/ cell_1.png") | pictureList.kif 331-331 | |
| (subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 25062-25062 | MobileCellPhone e' uma sub-classe de ReceiverDevice |
| (subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 25063-25063 | MobileCellPhone e' uma sub-classe de Telephone |
| appearance as argument number 2 |
|
|
| (subclass AppleIPhone MobileCellPhone) | ComputingBrands.kif 627-627 | AppleIPhone e' uma sub-classe de MobileCellPhone |
| (subclass SmartPhone MobileCellPhone) | Mid-level-ontology.kif 29570-29570 | SmartPhone e' uma sub-classe de MobileCellPhone |
| (termFormat ChineseLanguage MobileCellPhone "移动手机") | domainEnglishFormat.kif 38157-38157 | |
| (termFormat ChineseTraditionalLanguage MobileCellPhone "移動手機") | domainEnglishFormat.kif 38156-38156 | |
| (termFormat EnglishLanguage MobileCellPhone "mobile cell phone") | domainEnglishFormat.kif 38155-38155 |
| antecedent |
|
|
| (=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25133-25140 |
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE))) |
Mid-level-ontology.kif 25142-25148 |
|
| consequent |
|
|
| (=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone)) |
Mid-level-ontology.kif 25126-25131 |
|
| (=> (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 |
|
|
|
|
