homePhoneNumber |
appearance as argument number 1 |
(documentation homePhoneNumber EnglishLanguage "(homePhoneNumber ?TelecomNumber ?Human) means that ?TelecomNumber identifies a Telephone located at ?Human's PermanentResidence.") | Mid-level-ontology.kif 25021-25024 | |
(domain homePhoneNumber 1 TelecomNumber) | Mid-level-ontology.kif 25018-25018 | 域 homePhoneNumber, 1 and TelecomNumber |
(domain homePhoneNumber 2 Human) | Mid-level-ontology.kif 25019-25019 | 域 homePhoneNumber, 2 and Human |
(instance homePhoneNumber AsymmetricRelation) | Mid-level-ontology.kif 25017-25017 | 例 homePhoneNumber and AsymmetricRelation |
(instance homePhoneNumber BinaryPredicate) | Mid-level-ontology.kif 25016-25016 | 例 homePhoneNumber and BinaryPredicate |
(subrelation homePhoneNumber telephoneNumber) | Mid-level-ontology.kif 25020-25020 | 子關係 homePhoneNumber and 電話號碼 |
appearance as argument number 2 |
(format ChineseLanguage homePhoneNumber "%1 是 %2 的 home phone ") | domainEnglishFormat.kif 3642-3642 | |
(format ChineseTraditionalLanguage homePhoneNumber "%1 是 %2 的 home phone ") | domainEnglishFormat.kif 3641-3641 | |
(format EnglishLanguage homePhoneNumber "%1 is the home phone of %2") | domainEnglishFormat.kif 3640-3640 | |
(termFormat EnglishLanguage homePhoneNumber "home phone number") | domainEnglishFormat.kif 65854-65854 |
antecedent |
(=> (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 |