TreeView Knowledge Base Browser

appearance as argument number 1

(instance homePhoneNumber BinaryPredicate)	Mid-level-ontology.kif 27298-27298	home phone number is an instance of binary predicate
(instance homePhoneNumber AsymmetricRelation)	Mid-level-ontology.kif 27299-27299	home phone number is an instance of asymmetric relation
(domain homePhoneNumber 1 TelecomNumber)	Mid-level-ontology.kif 27300-27300	The number 1 argument of home phone number is an instance of telecom number
(domain homePhoneNumber 2 Human)	Mid-level-ontology.kif 27301-27301	The number 2 argument of home phone number is an instance of human
(subrelation homePhoneNumber telephoneNumber)	Mid-level-ontology.kif 27302-27302	home phone number is a subrelation of telephone number
(documentation homePhoneNumber EnglishLanguage "(homePhoneNumber ?TelecomNumber ?Human) means that ?TelecomNumber identifies a Telephone located at ?Human's PermanentResidence.")	Mid-level-ontology.kif 27303-27306	home phone number is a subrelation of telephone number

appearance as argument number 2

(format EnglishLanguage homePhoneNumber "%1 is the home phone of %2")	domainEnglishFormat.kif 3638-3638
(format ChineseTraditionalLanguage homePhoneNumber "%1 是 %2 的 home phone ")	domainEnglishFormat.kif 3639-3639
(format ChineseLanguage homePhoneNumber "%1 是 %2 的 home phone ")	domainEnglishFormat.kif 3640-3640
(termFormat EnglishLanguage homePhoneNumber "home phone number")	domainEnglishFormat.kif 65870-65870

antecedent

(=>
    (holdsDuring ?TIME
        (and
            (deviceTelecomNumber ?NUMBER ?DEVICE)
            (homePhoneNumber ?NUMBER ?AGENT)
            (located ?DEVICE ?PLACE)
            (instance ?PLACE PermanentResidence)))
    (holdsDuring ?TIME
        (home ?AGENT ?PLACE)))

If X has number Y, Y is the home phone of Z, X is located at W, and W is an instance of permanent residence holds during V, then the home of Z is W holds during V