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 14672-14673
(subclass PermanentResidence Residence) Merge.kif 14671-14671

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 14658-14658
(subclass ExecutiveResidence PermanentResidence) Government.kif 1524-1524
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 14701-14701
(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 13387-13387
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 19665-19665
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 5928-5928

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
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 14675-14678


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