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 25020-25023 | |
(domain homePhoneNumber 1 TelecomNumber) | Mid-level-ontology.kif 25017-25017 | Die Zahl 1 Argument von homePhoneNumber ist ein fall von TelecomNumber %n{nicht} |
(domain homePhoneNumber 2 Human) | Mid-level-ontology.kif 25018-25018 | Die Zahl 2 Argument von homePhoneNumber ist ein fall von Human %n{nicht} |
(instance homePhoneNumber AsymmetricRelation) | Mid-level-ontology.kif 25016-25016 | homePhoneNumber ist ein fall von AsymmetricRelation %n{nicht} |
(instance homePhoneNumber BinaryPredicate) | Mid-level-ontology.kif 25015-25015 | homePhoneNumber ist ein fall von BinaryPredicate %n{nicht} |
(subrelation homePhoneNumber telephoneNumber) | Mid-level-ontology.kif 25019-25019 | homePhoneNumber ist eine teilrelation von telephoneNumber |
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 25025-25032 |
|