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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Residence
Residence(residence)
domicile, home, legal_residence, living_quarters, place, quarters, residential

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14623-14623 Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3593-3594
No TPTP formula. May not be expressible in strict first order. Merge.kif 14624-14625
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10252-10252
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11786-11786
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11787-11787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22429-22429 Residence is a subclass of PostalPlace
No TPTP formula. May not be expressible in strict first order. Merge.kif 14622-14622 Residence is a subclass of stationary artifact

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6396-6396 Mobile residence is disjoint from residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 14636-14636 Permanent residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 14650-14650 Residential building is a subclass of residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 14645-14645 Temporary residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49541-49541
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49540-49540
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49539-49539

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6557-6557 The number 2 argument of tenant is an instance of residence

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23004-23013
No TPTP formula. May not be expressible in strict first order. Merge.kif 14627-14634

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7340-7340 Medical clinic building is a subclass of the complement of residence


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