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