deviceTelecomNumber |
appearance as argument number 1 |
(documentation deviceTelecomNumber EnglishLanguage "(deviceTelecomNumber ?TelecomNumber ?TelephonyDevice) means that ?TelephonyDevice is identified, and can be accessed, by ?TelecomNumber.") | Mid-level-ontology.kif 24881-24884 | |
(domain deviceTelecomNumber 1 TelecomNumber) | Mid-level-ontology.kif 24879-24879 | 域 deviceTelecomNumber, 1 and TelecomNumber |
(domain deviceTelecomNumber 2 TelephonyDevice) | Mid-level-ontology.kif 24880-24880 | 域 deviceTelecomNumber, 2 and TelephonyDevice |
(instance deviceTelecomNumber AsymmetricRelation) | Mid-level-ontology.kif 24878-24878 | 例 deviceTelecomNumber and AsymmetricRelation |
(instance deviceTelecomNumber BinaryPredicate) | Mid-level-ontology.kif 24877-24877 | 例 deviceTelecomNumber and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage deviceTelecomNumber "%2 有 number %1 ") | domainEnglishFormat.kif 3246-3246 | |
(format ChineseTraditionalLanguage deviceTelecomNumber "%2 有 number %1 ") | domainEnglishFormat.kif 3245-3245 | |
(format EnglishLanguage deviceTelecomNumber "%2 has number %1") | domainEnglishFormat.kif 3244-3244 | |
(termFormat EnglishLanguage deviceTelecomNumber "device telecom number") | domainEnglishFormat.kif 65810-65810 |
antecedent |
(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE))) |
Mid-level-ontology.kif 25034-25043 | |
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25157-25164 | |
(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25132-25139 | |
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25006-25013 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 25166-25171 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 25025-25032 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE))) |
Mid-level-ontology.kif 25141-25147 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone)) |
Mid-level-ontology.kif 25125-25130 |