Residence(residence)![]() ![]() | ![]() | domicile, home, legal_residence, living_quarters, place, quarters, residential |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(disjoint MobileResidence Residence) | Mid-level-ontology.kif 7768-7768 | Mobile residence is disjoint from residence |
(subclass PermanentResidence Residence) | Merge.kif 15940-15940 | Permanent residence is a subclass of residence |
(subclass ResidentialBuilding Residence) | Merge.kif 15954-15954 | Residential building is a subclass of residence |
(subclass TemporaryResidence Residence) | Merge.kif 15949-15949 | Temporary residence is a subclass of residence |
(termFormat ChineseLanguage Residence "住宅") | domainEnglishFormat.kif 49626-49626 | Temporary residence is a subclass of residence |
(termFormat ChineseTraditionalLanguage Residence "住宅") | domainEnglishFormat.kif 49625-49625 | Temporary residence is a subclass of residence |
(termFormat EnglishLanguage Residence "residence") | domainEnglishFormat.kif 49624-49624 | Temporary residence is a subclass of residence |
appearance as argument number 3 |
![]() |
(domain tenant 2 Residence) | Mid-level-ontology.kif 8066-8066 | The number 2 argument of tenant is an instance of residence |
antecedent |
![]() |
statement |
![]() |
(subclass MedicalClinicBuilding (ComplementFn Residence)) |
Mid-level-ontology.kif 8833-8833 | Medical clinic building is a subclass of the complement of residence |
![]() |
![]() |