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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PermanentResidence
PermanentResidence

appearance as argument number 1
-------------------------


(documentation PermanentResidence ChineseLanguage "这是人们居住,即是为 homeResidence。") chinese_format.kif 3595-3596
(documentation PermanentResidence EnglishLanguage "A Residence where people live, i.e. where people have a home.") Merge.kif 14657-14658
(subclass PermanentResidence Residence) Merge.kif 14656-14656 subclass PermanentResidence and Residence

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 14643-14643 disjointDecomposition Residence, PermanentResidence and TemporaryResidence
(subclass ExecutiveResidence PermanentResidence) Government.kif 1492-1492 subclass ExecutiveResidence and PermanentResidence
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 14686-14686 subclass SingleFamilyResidence and PermanentResidence
(termFormat ChineseLanguage PermanentResidence "永久居留权") domainEnglishFormat.kif 45193-45193
(termFormat ChineseTraditionalLanguage PermanentResidence "永久居留權") domainEnglishFormat.kif 45192-45192
(termFormat EnglishLanguage PermanentResidence "permanent residence") domainEnglishFormat.kif 45191-45191

appearance as argument number 3
-------------------------


(domain home 2 PermanentResidence) Merge.kif 13372-13372 domain home, 2 and PermanentResidence
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 21172-21172 domain homeAddress, 1 and PermanentResidence
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 6541-6541 domain landlord, 2 and PermanentResidence

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 23000-23007
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 14660-14663


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