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 25078-25081 | |
(domain homePhoneNumber 1 TelecomNumber) | Mid-level-ontology.kif 25075-25075 | Il numero 1 argomenti di homePhoneNumber è un istanza di TelecomNumber |
(domain homePhoneNumber 2 Human) | Mid-level-ontology.kif 25076-25076 | Il numero 2 argomenti di homePhoneNumber è un istanza di Umano |
(instance homePhoneNumber AsymmetricRelation) | Mid-level-ontology.kif 25074-25074 | homePhoneNumber è un' istanza di RelazioneAsimmetrica |
(instance homePhoneNumber BinaryPredicate) | Mid-level-ontology.kif 25073-25073 | homePhoneNumber è un' istanza di PredicatoBinario |
(subrelation homePhoneNumber telephoneNumber) | Mid-level-ontology.kif 25077-25077 | homePhoneNumber è una sottorelazione di 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 65856-65856 |
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 25083-25090 |
|