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 24882-24885 | |
(domain deviceTelecomNumber 1 TelecomNumber) | Mid-level-ontology.kif 24880-24880 | |
(domain deviceTelecomNumber 2 TelephonyDevice) | Mid-level-ontology.kif 24881-24881 | |
(instance deviceTelecomNumber AsymmetricRelation) | Mid-level-ontology.kif 24879-24879 | |
(instance deviceTelecomNumber BinaryPredicate) | Mid-level-ontology.kif 24878-24878 |
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 25035-25044 | |
(=> (and (instance ?DEVICE FaxMachine) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (possesses ?AGENT ?DEVICE)))) (holdsDuring ?TIME (faxNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25158-25165 | |
(=> (and (instance ?DEVICE MobileCellPhone) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT)))) (holdsDuring ?TIME (mobilePhoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25133-25140 | |
(=> (and (instance ?DEVICE Telephone) (holdsDuring ?TIME (and (possesses ?AGENT ?DEVICE) (deviceTelecomNumber ?NUMBER ?DEVICE)))) (holdsDuring ?TIME (telephoneNumber ?NUMBER ?AGENT))) |
Mid-level-ontology.kif 25007-25014 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (faxNumber ?NUMBER ?AGENT))) (instance ?DEVICE FaxMachine)) |
Mid-level-ontology.kif 25167-25172 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (homePhoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE PermanentResidence))) (holdsDuring ?TIME (home ?AGENT ?PLACE))) |
Mid-level-ontology.kif 25026-25033 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (instance ?DEVICE MobileCellPhone) (mobilePhoneNumber ?NUMBER ?AGENT))) (holdsDuring ?TIME (possesses ?AGENT ?DEVICE))) |
Mid-level-ontology.kif 25142-25148 | |
(=> (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (mobilePhoneNumber ?NUMBER ?AGENT))) (instance ?DEVICE MobileCellPhone)) |
Mid-level-ontology.kif 25126-25131 |