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 15537-15538
(subclass PermanentResidence Residence) Merge.kif 15536-15536 永久居留权住宅subclass

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


(disjointDecomposition Residence PermanentResidence TemporaryResidence) Merge.kif 15523-15523 住宅 分拆成不相交的 永久居留权暂住
(subclass ExecutiveResidence PermanentResidence) Government.kif 1535-1535 行政住所永久居留权subclass
(subclass SingleFamilyResidence PermanentResidence) Merge.kif 15566-15566 单身家庭住所永久居留权subclass
(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 14142-14142 的 2 数量 是 永久居留权instance
(domain homeAddress 1 PermanentResidence) Mid-level-ontology.kif 22760-22760 家庭地址 的 1 数量 是 永久居留权instance
(domain landlord 2 PermanentResidence) Mid-level-ontology.kif 6587-6587 房东 的 2 数量 是 永久居留权instance

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 24492-24499
(=>
    (instance ?RESIDENCE PermanentResidence)
    (exists (?PERSON)
        (home ?PERSON ?RESIDENCE)))
Merge.kif 15540-15543


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