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 15837-15838
(subclass PermanentResidence Residence) Merge.kif 15836-15836 PermanentResidence è una sottoclasse di Residence

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15823-15823 Residence è scomposto disgiuntivamente in PermanentResidence + TemporaryResidence
(subclass ExecutiveResidence PermanentResidence) Government.kif 1502-1502 ExecutiveResidence è una sottoclasse di PermanentResidence
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15866-15866 SingleFamilyResidence è una sottoclasse di PermanentResidence
(termFormat ChineseLanguage PermanentResidence "永久居留权") domainEnglishFormat.kif 45266-45266
(termFormat ChineseTraditionalLanguage PermanentResidence "永久居留權") domainEnglishFormat.kif 45265-45265
(termFormat EnglishLanguage PermanentResidence "permanent residence") domainEnglishFormat.kif 45264-45264

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


(domain home 2 PermanentResidence) Merge.kif 14433-14433 Il numero 2 argomenti di home è un istanza di PermanentResidence
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 23280-23280 Il numero 1 argomenti di homeAddress è un istanza di PermanentResidence
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 6916-6916 Il numero 2 argomenti di landlord è un istanza di 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 25083-25090
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 15840-15843


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