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 14637-14638
(subclass PermanentResidence Residence) Merge.kif 14636-14636 subclass PermanentResidence and Residence

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 14623-14623 disjointDecomposition Residence, PermanentResidence and TemporaryResidence
(subclass ExecutiveResidence PermanentResidence) Government.kif 1492-1492 subclass ExecutiveResidence and PermanentResidence
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 14666-14666 subclass SingleFamilyResidence and PermanentResidence
(termFormat ChineseLanguage PermanentResidence "永久居留权") domainEnglishFormat.kif 45184-45184
(termFormat ChineseTraditionalLanguage PermanentResidence "永久居留權") domainEnglishFormat.kif 45183-45183
(termFormat EnglishLanguage PermanentResidence "permanent residence") domainEnglishFormat.kif 45182-45182

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


(domain home 2 PermanentResidence) Merge.kif 13352-13352 domain home, 2 and PermanentResidence
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 21166-21166 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 22994-23001
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 14640-14643


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