Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - homePhoneNumber
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 21257-21260
(domain homePhoneNumber 1 TelecomNumber) Mid-level-ontology.kif 21254-21254
(domain homePhoneNumber 2 Human) Mid-level-ontology.kif 21255-21255
(instance homePhoneNumber AsymmetricRelation) Mid-level-ontology.kif 21253-21253
(instance homePhoneNumber BinaryPredicate) Mid-level-ontology.kif 21252-21252
(subrelation homePhoneNumber telephoneNumber) Mid-level-ontology.kif 21256-21256

appearance as argument number 2
-------------------------


(format ChineseLanguage homePhoneNumber "%1 是 %2 的 home phone ") domainEnglishFormat.kif 3647-3647
(format ChineseTraditionalLanguage homePhoneNumber "%1 是 %2 的 home phone ") domainEnglishFormat.kif 3646-3646
(format EnglishLanguage homePhoneNumber "%1 is the home phone of %2") domainEnglishFormat.kif 3645-3645

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 21262-21269


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners