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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Residence

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 15777-15777 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 15778-15779
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10231-10231
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11759-11759
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11760-11760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24597-24597 Residence is a subclass of postal place
No TPTP formula. May not be expressible in strict first order. Merge.kif 15776-15776 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 6757-6757 Mobile residence is disjoint from residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15790-15790 Permanent residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15804-15804 Residential building is a subclass of residence
No TPTP formula. May not be expressible in strict first order. Merge.kif 15799-15799 Temporary residence is a subclass of residence
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49622-49622
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49621-49621
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49620-49620

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6905-6905 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 25035-25044
No TPTP formula. May not be expressible in strict first order. Merge.kif 15781-15788

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


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


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