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 15941-15942
(subclass PermanentResidence Residence) Merge.kif 15940-15940 PermanentResidence est une sous-classe de Residence

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15927-15927 Residence est disjointement decompos� en PermanentResidence + TemporaryResidence
(subclass ExecutiveResidence PermanentResidence) Government.kif 1500-1500 ExecutiveResidence est une sous-classe de PermanentResidence
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15970-15970 SingleFamilyResidence est une sous-classe de PermanentResidence
(termFormat ChineseLanguage PermanentResidence "永久居留权") domainEnglishFormat.kif 45266-45266 SingleFamilyResidence est une sous-classe de PermanentResidence
(termFormat ChineseTraditionalLanguage PermanentResidence "永久居留權") domainEnglishFormat.kif 45265-45265 SingleFamilyResidence est une sous-classe de PermanentResidence
(termFormat EnglishLanguage PermanentResidence "permanent residence") domainEnglishFormat.kif 45264-45264 SingleFamilyResidence est une sous-classe de PermanentResidence

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


(domain home 2 PermanentResidence) Merge.kif 14540-14540 Le nombre 2 argument de home est une instance de PermanentResidence
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 24869-24869 Le nombre 1 argument de homeAddress est une instance de PermanentResidence
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 8050-8050 Le nombre 2 argument de landlord est une instance de 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 26688-26695
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 15944-15947


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