Residence![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjointDecomposition Residence PermanentResidence TemporaryResidence) | Merge.kif 15927-15927 | |
(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 15928-15929 | |
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg") | pictureList.kif 10229-10229 | |
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") | pictureList.kif 11752-11752 | |
(externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg") | pictureList.kif 11753-11753 | |
(subclass Residence PostalPlace) | Mid-level-ontology.kif 26259-26259 | |
(subclass Residence StationaryArtifact) | Merge.kif 15926-15926 |
appearance as argument number 2 |
![]() |
(disjoint MobileResidence Residence) | Mid-level-ontology.kif 7768-7768 | |
(subclass PermanentResidence Residence) | Merge.kif 15940-15940 | |
(subclass ResidentialBuilding Residence) | Merge.kif 15954-15954 | |
(subclass TemporaryResidence Residence) | Merge.kif 15949-15949 | |
(termFormat ChineseLanguage Residence "住宅") | domainEnglishFormat.kif 49626-49626 | |
(termFormat ChineseTraditionalLanguage Residence "住宅") | domainEnglishFormat.kif 49625-49625 | |
(termFormat EnglishLanguage Residence "residence") | domainEnglishFormat.kif 49624-49624 |
appearance as argument number 3 |
![]() |
(domain tenant 2 Residence) | Mid-level-ontology.kif 8066-8066 |
antecedent |
![]() |
(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE))) |
Mid-level-ontology.kif 26697-26706 | |
(=> (instance ?RESIDENCE Residence) (or (instance ?RESIDENCE House) (exists (?BUILDING) (and (instance ?BUILDING ResidentialBuilding) (part ?RESIDENCE ?BUILDING))))) |
Merge.kif 15931-15938 |
statement |
![]() |
(subclass MedicalClinicBuilding (ComplementFn Residence)) |
Mid-level-ontology.kif 8833-8833 |
![]() |
![]() |