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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PermanentResidence
PermanentResidence(permanent residence)abode, domicile, dwelling, dwelling_house, habitation, home

appearance as argument number 1
-------------------------


s__documentation(s__PermanentResidence,s__ChineseLanguage,'"这是人们居住,即是为 homeResidence。"')

chinese_format.kif 3595-3596
s__documentation(s__PermanentResidence,s__EnglishLanguage,'"A Residence where people live, i.e. where people have a home."')

Merge.kif 15020-15021
s__instance(s__PermanentResidence,s__SetOrClass)

s__instance(s__Residence,s__SetOrClass)

s__subclass(s__PermanentResidence,s__Residence)

Merge.kif 15019-15019 Permanent residence is a subclass of residence

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


s__disjointDecomposition__3(s__Residence,s__PermanentResidence,s__TemporaryResidence)

Merge.kif 15006-15006 Residence is disjointly decomposed into permanent residence and temporary residence
s__instance(s__PermanentResidence,s__SetOrClass)

s__instance(s__ExecutiveResidence,s__SetOrClass)

s__subclass(s__ExecutiveResidence,s__PermanentResidence)

Government.kif 1524-1524 Executive residence is a subclass of permanent residence
s__instance(s__PermanentResidence,s__SetOrClass)

s__instance(s__SingleFamilyResidence,s__SetOrClass)

s__subclass(s__SingleFamilyResidence,s__PermanentResidence)

Merge.kif 15049-15049 Single family residence is a subclass of permanent residence
s__termFormat(s__ChineseLanguage,s__PermanentResidence,'"永久居留权"')

domainEnglishFormat.kif 45247-45247
s__termFormat(s__ChineseTraditionalLanguage,s__PermanentResidence,'"永久居留權"')

domainEnglishFormat.kif 45246-45246
s__termFormat(s__EnglishLanguage,s__PermanentResidence,'"permanent residence"')

domainEnglishFormat.kif 45245-45245

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


s__domain(s__home__m,n__2,s__PermanentResidence)

Merge.kif 13702-13702 The number 2 argument of home is an instance of permanent residence
s__domain(s__homeAddress__m,n__1,s__PermanentResidence)

Mid-level-ontology.kif 21969-21969 The number 1 argument of home address is an instance of permanent residence
s__domain(s__landlord__m,n__2,s__PermanentResidence)

Mid-level-ontology.kif 6455-6455 The number 2 argument of landlord is an instance of permanent residence

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23695-23702
( ! [V__RESIDENCE] :
   ((s__instance(V__RESIDENCE,s__PermanentResidence) =>
       (( ? [V__PERSON] :
           ((s__instance(V__PERSON,s__Human) &
               s__home(V__PERSON,V__RESIDENCE))))))
   )
)

Merge.kif 15023-15026


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