| ApartmentBuilding
| |
| appearance as argument number 1 |
|
|
| (disjoint ApartmentBuilding SingleFamilyResidence) | Mid-level-ontology.kif 6904-6904 | |
| (documentation ApartmentBuilding EnglishLanguage "A ResidentialBuilding containing ApartmentUnits.") | Mid-level-ontology.kif 6905-6906 | |
| (externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 08/ Apartmentingurgaon.JPG") | pictureList.kif 2107-2107 | |
| (externalImage ApartmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ c/ ce/ Alye_Parusa.jpg") | pictureList.kif 1644-1644 | |
| (subclass ApartmentBuilding ResidentialBuilding) | Mid-level-ontology.kif 6903-6903 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ApartmentBuilding "公寓楼") | domainEnglishFormat.kif 7949-7949 | |
| (termFormat ChineseTraditionalLanguage ApartmentBuilding "公寓樓") | domainEnglishFormat.kif 7948-7948 | |
| (termFormat EnglishLanguage ApartmentBuilding "apartment building") | domainEnglishFormat.kif 7947-7947 |
| 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 6908-6916 |
| consequent |
|
|
| (=> (instance ?UNIT ApartmentUnit) (exists (?BUILDING) (and (instance ?BUILDING ApartmentBuilding) (part ?UNIT ?BUILDING)))) |
Mid-level-ontology.kif 6844-6849 |
|
|
|