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 15927-15927 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 Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15928-15929 Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10229-10229 Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11752-11752 Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11753-11753 Residence is disjointly decomposed into permanent residence and temporary residence
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26259-26259 Residence is a subclass of postal place
No TPTP formula. May not be expressible in strict first order. Merge.kif 15926-15926 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 7768-7768 Mobile residence is disjoint from residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15940-15940 Permanent residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15954-15954 Residential building is a subclass of residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15949-15949 Temporary residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49626-49626 Temporary residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49625-49625 Temporary residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49624-49624 Temporary residence is a subclass of residence

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8066-8066 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 26697-26706
No TPTP formula. May not be expressible in strict first order. Merge.kif 15931-15938

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8833-8833 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