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 14610-14611
(subclass PermanentResidence Residence) Merge.kif 14609-14609 subclass PermanentResidence and Residence

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 14596-14596 disjointDecomposition Residence, PermanentResidence and TemporaryResidence
(subclass ExecutiveResidence PermanentResidence) Government.kif 1492-1492 subclass ExecutiveResidence and PermanentResidence
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 14639-14639 subclass SingleFamilyResidence and PermanentResidence
(termFormat ChineseLanguage PermanentResidence "永久居留权") domainEnglishFormat.kif 45163-45163
(termFormat ChineseTraditionalLanguage PermanentResidence "永久居留權") domainEnglishFormat.kif 45162-45162
(termFormat EnglishLanguage PermanentResidence "permanent residence") domainEnglishFormat.kif 45161-45161

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


(domain home 2 PermanentResidence) Merge.kif 13325-13325 domain home, 2 and PermanentResidence
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 21141-21141 domain homeAddress, 1 and PermanentResidence
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 6562-6562 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 22969-22976
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 14613-14616


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners