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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PermanentResidence
PermanentResidence(permanent residence)abode, domicile, dwelling, dwelling_house, habitation, home

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 15509-15510
(subclass PermanentResidence Residence) Merge.kif 15508-15508 Permanent residence is a subclass of residence

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15495-15495 Residence is disjointly decomposed into permanent residence and temporary residence
(subclass ExecutiveResidence PermanentResidence) Government.kif 1523-1523 Executive residence is a subclass of permanent residence
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15538-15538 Single family residence is a subclass of permanent residence
(termFormat ChineseLanguage PermanentResidence "永久居留权") domainEnglishFormat.kif 45247-45247
(termFormat ChineseTraditionalLanguage PermanentResidence "永久居留權") domainEnglishFormat.kif 45246-45246
(termFormat EnglishLanguage PermanentResidence "permanent residence") domainEnglishFormat.kif 45245-45245

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


(domain home 2 PermanentResidence) Merge.kif 14119-14119 The number 2 argument of home is an instance of permanent residence
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 22651-22651 The number 1 argument of home address is an instance of permanent residence
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 6549-6549 The number 2 argument of landlord is an instance of permanent residence

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 24375-24382
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 15512-15515


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