TreeView 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 22940-22943
(domain homePhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 22937-22937
(domain homePhoneNumber 2 Human)	Mid-level-ontology.kif 22938-22938
(instance homePhoneNumber AsymmetricRelation)	Mid-level-ontology.kif 22936-22936
(instance homePhoneNumber BinaryPredicate)	Mid-level-ontology.kif 22935-22935
(subrelation homePhoneNumber telephoneNumber)	Mid-level-ontology.kif 22939-22939

appearance as argument number 2

domainEnglishFormat.kif 920-920

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 22956-22963