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 | O argumento numero 1 de homePhoneNumber e' uma instancia de TelecomNumber |
(domain homePhoneNumber 2 Human) | Mid-level-ontology.kif 25019-25019 | O argumento numero 2 de homePhoneNumber e' uma instancia de Humano |
(instance homePhoneNumber AsymmetricRelation) | Mid-level-ontology.kif 25017-25017 | homePhoneNumber e' uma instancia de Relacao Assimetrica |
(instance homePhoneNumber BinaryPredicate) | Mid-level-ontology.kif 25016-25016 | homePhoneNumber e' uma instancia de Predicado Binario |
(subrelation homePhoneNumber telephoneNumber) | Mid-level-ontology.kif 25020-25020 | homePhoneNumber e' uma sub-relacao de 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 25026-25033 |
|