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