ApartmentBuilding
|
|
appearance as argument number 1 |
(disjoint ApartmentBuilding SingleFamilyResidence) | Mid-level-ontology.kif 6964-6964 | 公寓楼 和 % 2 是 disjoint |
(documentation ApartmentBuilding EnglishLanguage "A ResidentialBuilding containing ApartmentUnits.") | Mid-level-ontology.kif 6965-6966 | |
(externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 08/ Apartmentingurgaon.JPG") | pictureList.kif 2106-2106 | |
(externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Alye_Parusa.jpg") | pictureList.kif 1643-1643 | |
(subclass ApartmentBuilding ResidentialBuilding) | Mid-level-ontology.kif 6963-6963 | 公寓楼 是 住宅楼 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage ApartmentBuilding "公寓楼") | domainEnglishFormat.kif 7944-7944 | |
(termFormat ChineseTraditionalLanguage ApartmentBuilding "公寓樓") | domainEnglishFormat.kif 7943-7943 | |
(termFormat EnglishLanguage ApartmentBuilding "apartment building") | domainEnglishFormat.kif 7942-7942 |
antecedent |
(=> (instance ?BUILDING ApartmentBuilding) (exists (?UNIT1 ?UNIT2) (and (instance ?UNIT1 ApartmentUnit) (instance ?UNIT2 ApartmentUnit) (part ?UNIT1 ?BUILDING) (part ?UNIT2 ?BUILDING) (not (equal ?UNIT1 ?UNIT2))))) |
Mid-level-ontology.kif 6968-6976 |
consequent |
(=> (instance ?UNIT ApartmentUnit) (exists (?BUILDING) (and (instance ?BUILDING ApartmentBuilding) (part ?UNIT ?BUILDING)))) |
Mid-level-ontology.kif 6904-6909 |