| Residence
| |
| appearance as argument number 1 |
|
|
| (disjointDecomposition Residence PermanentResidence TemporaryResidence) | Merge.kif 14505-14505 | disjointDecomposition Residence, PermanentResidence and TemporaryResidence |
| (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 14506-14507 | |
| (externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Pomerodee.jpg") | pictureList.kif 10252-10252 | externalImage Residence and "http://upload.wikimedia.org/wikipedia/commons/0/04/ Pomerodee.jpg" |
| (externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ c/ c9/ Ranch_style_home_in_Salinas%2C_California.JPG") | pictureList.kif 11786-11786 | externalImage Residence and "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Ranch_style_home_in_Salinas%2C_California.JPG" |
| (externalImage Residence "http://upload.wikimedia.org/wikipedia/commons/ f/ fe/ South_San_Jose_%28crop%29.jpg") | pictureList.kif 11787-11787 | externalImage Residence and "http://upload.wikimedia.org/wikipedia/commons/f/fe/ South_San_Jose_%28crop%29.jpg" |
| (subclass Residence PostalPlace) | Mid-level-ontology.kif 22392-22392 | subclass Residence and PostalPlace |
| (subclass Residence StationaryArtifact) | Merge.kif 14504-14504 | subclass Residence and StationaryArtifact |
| appearance as argument number 2 |
|
|
| (disjoint MobileResidence Residence) | Mid-level-ontology.kif 6417-6417 | disjoint MobileResidence and Residence |
| (subclass PermanentResidence Residence) | Merge.kif 14518-14518 | subclass PermanentResidence and Residence |
| (subclass ResidentialBuilding Residence) | Merge.kif 14532-14532 | subclass ResidentialBuilding and Residence |
| (subclass TemporaryResidence Residence) | Merge.kif 14527-14527 | subclass TemporaryResidence and Residence |
| (termFormat ChineseLanguage Residence "住宅") | domainEnglishFormat.kif 49561-49561 | termFormat ChineseLanguage, Residence and "住宅" |
| (termFormat ChineseTraditionalLanguage Residence "住宅") | domainEnglishFormat.kif 49560-49560 | termFormat ChineseTraditionalLanguage, Residence and "住宅" |
| (termFormat EnglishLanguage Residence "residence") | domainEnglishFormat.kif 49559-49559 | termFormat EnglishLanguage, Residence and "residence" |
| appearance as argument number 3 |
|
|
| (domain tenant 2 Residence) | Mid-level-ontology.kif 6578-6578 | domain tenant, 2 and Residence |
| 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 22967-22976 |
|
| (=> (instance ?RESIDENCE Residence) (or (instance ?RESIDENCE House) (exists (?BUILDING) (and (instance ?BUILDING ResidentialBuilding) (part ?RESIDENCE ?BUILDING))))) |
Merge.kif 14509-14516 |
| statement |
|
|
| (subclass MedicalClinicBuilding (ComplementFn Residence)) |
Mid-level-ontology.kif 7360-7360 | subclass MedicalClinicBuilding and ComplementFn Residence |
|
|
|