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 引数は TelecomNumber の instance では %n |
(domain homePhoneNumber 2 Human) | Mid-level-ontology.kif 25019-25019 | homePhoneNumber の数値 2 引数は 人[人間] の instance では %n |
(instance homePhoneNumber AsymmetricRelation) | Mid-level-ontology.kif 25017-25017 | homePhoneNumber は 非対称関係 の instance では %n |
(instance homePhoneNumber BinaryPredicate) | Mid-level-ontology.kif 25016-25016 | homePhoneNumber は 2進述語 の instance では %n |
(subrelation homePhoneNumber telephoneNumber) | Mid-level-ontology.kif 25020-25020 | homePhoneNumber は telephoneNumber の subrelation では %n |
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 |