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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PermanentResidence

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

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3595-3596
No TPTP formula. May not be expressible in strict first order. Merge.kif 15813-15814
No TPTP formula. May not be expressible in strict first order. Merge.kif 15812-15812 Permanent residence is a subclass of residence

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15799-15799 Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order. Government.kif 1538-1538 Executive residence is a subclass of permanent residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15842-15842 Single family residence is a subclass of permanent residence
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45264-45264
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45263-45263
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45262-45262

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14409-14409 The number 2 argument of home is an instance of permanent residence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23227-23227 The number 1 argument of home address is an instance of permanent residence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6888-6888 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 25025-25032
No TPTP formula. May not be expressible in strict first order. Merge.kif 15816-15819


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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