homePhoneNumber - Sigma Knowledge base Browser

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	Il numero 1 argomenti di homePhoneNumber è un istanza di TelecomNumber
(domain homePhoneNumber 2 Human)	Mid-level-ontology.kif 25019-25019	Il numero 2 argomenti di homePhoneNumber è un istanza di Umano
(instance homePhoneNumber AsymmetricRelation)	Mid-level-ontology.kif 25017-25017	homePhoneNumber è un' istanza di RelazioneAsimmetrica
(instance homePhoneNumber BinaryPredicate)	Mid-level-ontology.kif 25016-25016	homePhoneNumber è un' istanza di PredicatoBinario
(subrelation homePhoneNumber telephoneNumber)	Mid-level-ontology.kif 25020-25020	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 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