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 PermanentResidenceResidencesubclass では

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15927-15927 ResidencePermanentResidence + TemporaryResidencedisjointly decomposed
(subclass ExecutiveResidence PermanentResidence) Government.kif 1500-1500 ExecutiveResidencePermanentResidencesubclass では
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15970-15970 SingleFamilyResidencePermanentResidencesubclass では
(termFormat ChineseLanguage PermanentResidence "永久居留权") domainEnglishFormat.kif 45266-45266 SingleFamilyResidencePermanentResidencesubclass では
(termFormat ChineseTraditionalLanguage PermanentResidence "永久居留權") domainEnglishFormat.kif 45265-45265 SingleFamilyResidencePermanentResidencesubclass では
(termFormat EnglishLanguage PermanentResidence "permanent residence") domainEnglishFormat.kif 45264-45264 SingleFamilyResidencePermanentResidencesubclass では

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


(domain home 2 PermanentResidence) Merge.kif 14540-14540 home の数値 2 引数は PermanentResidenceinstance では
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 24869-24869 homeAddress の数値 1 引数は PermanentResidenceinstance では
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 8050-8050 landlord の数値 2 引数は PermanentResidenceinstance では

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