Residence(residence) | domicile, home, legal_residence, living_quarters, place, quarters, residential |
appearance as argument number 1 |
(disjointDecomposition Residence PermanentResidence TemporaryResidence) | Merge.kif 15823-15823 | Residence is disjointly decomposed into permanent residence and temporary residence |
(documentation Residence ChineseLanguage "这是一幢提供住宿的 Building 或 Building 的一 部分。") | chinese_format.kif 3593-3594 | |
(documentation Residence EnglishLanguage "A Building or part of a Building which provides some accomodation for sleeping.") | Merge.kif 15824-15825 | |
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg") | pictureList.kif 10231-10231 | |
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") | pictureList.kif 11759-11759 | |
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg") | pictureList.kif 11760-11760 | |
(subclass Residence PostalPlace) | Mid-level-ontology.kif 24654-24654 | Residence is a subclass of postal place |
(subclass Residence StationaryArtifact) | Merge.kif 15822-15822 | Residence is a subclass of stationary artifact |
appearance as argument number 2 |
(disjoint MobileResidence Residence) | Mid-level-ontology.kif 6774-6774 | Mobile residence is disjoint from residence |
(subclass PermanentResidence Residence) | Merge.kif 15836-15836 | Permanent residence is a subclass of residence |
(subclass ResidentialBuilding Residence) | Merge.kif 15850-15850 | Residential building is a subclass of residence |
(subclass TemporaryResidence Residence) | Merge.kif 15845-15845 | Temporary residence is a subclass of residence |
(termFormat ChineseLanguage Residence "住宅") | domainEnglishFormat.kif 49624-49624 | |
(termFormat ChineseTraditionalLanguage Residence "住宅") | domainEnglishFormat.kif 49623-49623 | |
(termFormat EnglishLanguage Residence "residence") | domainEnglishFormat.kif 49622-49622 |
appearance as argument number 3 |
(domain tenant 2 Residence) | Mid-level-ontology.kif 6932-6932 | The number 2 argument of tenant is an instance of residence |
antecedent |
statement |
(subclass MedicalClinicBuilding (ComplementFn Residence)) |
Mid-level-ontology.kif 7693-7693 | Medical clinic building is a subclass of the complement of residence |