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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PermanentResidence

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 15522-15523
(subclass PermanentResidence Residence) Merge.kif 15521-15521 subclass PermanentResidence and Residence

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15508-15508 disjointDecomposition Residence, PermanentResidence and TemporaryResidence
(subclass ExecutiveResidence PermanentResidence) Government.kif 1535-1535 subclass ExecutiveResidence and PermanentResidence
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15551-15551 subclass SingleFamilyResidence and PermanentResidence
(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 14126-14126 domain home, 2 and PermanentResidence
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 22675-22675 domain homeAddress, 1 and PermanentResidence
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 6553-6553 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 24399-24406
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 15525-15528


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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