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 |
![]() |
![]() |