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 23039-23042 | |
(externalImage MobileCellPhone "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ telephone/ cell_phones/ cell_1.png") | pictureList.kif 331-331 | |
(subclass MobileCellPhone ReceiverDevice) | Mid-level-ontology.kif 23037-23037 | |
(subclass MobileCellPhone Telephone) | Mid-level-ontology.kif 23038-23038 |
appearance as argument number 2 |
![]() |
(subclass AppleIPhone MobileCellPhone) | ComputingBrands.kif 627-627 | |
(subclass SmartPhone MobileCellPhone) | Mid-level-ontology.kif 27778-27778 | |
(termFormat ChineseLanguage MobileCellPhone "移动手机") | domainEnglishFormat.kif 38149-38149 | |
(termFormat ChineseTraditionalLanguage MobileCellPhone "移動手機") | domainEnglishFormat.kif 38148-38148 | |
(termFormat EnglishLanguage MobileCellPhone "mobile cell phone") | domainEnglishFormat.kif 38147-38147 |
antecedent |
![]() |
(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 23063-23070 |
consequent |
![]() |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone)) |
Mid-level-ontology.kif 23055-23060 | |
(=> (instance ?A App) (hasPurpose ?A (exists (?A ?P) (and (instance ?C MobileCellPhone) (instance ?P ComputerProcess) (programRunning ?P ?A) (computerRunning ?P ?C))))) |
ComputingBrands.kif 1938-1946 |
![]() |
![]() |