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
-------------------------


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 15941-15942
No TPTP formula. May not be expressible in strict first order. Merge.kif 15940-15940 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 15927-15927 Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order. Government.kif 1500-1500 Executive residence is a subclass of permanent residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15970-15970 Single family residence is a subclass of permanent residence
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45266-45266 Single family residence is a subclass of permanent residence
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45265-45265 Single family residence is a subclass of permanent residence
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45264-45264 Single family residence is a subclass of permanent residence

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14540-14540 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 24869-24869 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 8050-8050 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 26688-26695
No TPTP formula. May not be expressible in strict first order. 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