| CondominiumBuilding(condominium building)
| | condominium |
| appearance as argument number 1 |
|
|
| (disjoint CondominiumBuilding SingleFamilyResidence) | Mid-level-ontology.kif 6616-6616 | Condominium building is disjoint from single family residence |
| (documentation CondominiumBuilding EnglishLanguage "A ResidentialBuilding containing CondominiumUnits.") | Mid-level-ontology.kif 6617-6618 | |
| (externalImage CondominiumBuilding "http://upload.wikimedia.org/wikipedia/ en/ 5/ 55/ Flooring.jpg") | pictureList.kif 2144-2144 | |
| (externalImage CondominiumBuilding "http://upload.wikimedia.org/wikipedia/ en/ d/ d1/ Aqualbview.jpg") | pictureList.kif 1712-1712 | |
| (subclass CondominiumBuilding ResidentialBuilding) | Mid-level-ontology.kif 6615-6615 | Condominium building is a subclass of residential building |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CondominiumBuilding "公寓大楼") | domainEnglishFormat.kif 16509-16509 | |
| (termFormat ChineseTraditionalLanguage CondominiumBuilding "公寓大樓") | domainEnglishFormat.kif 16508-16508 | |
| (termFormat EnglishLanguage CondominiumBuilding "condominium building") | domainEnglishFormat.kif 16507-16507 |
| antecedent |
|
|
| (=> (instance ?BUILDING CondominiumBuilding) (exists (?UNIT1 ?UNIT2) (and (instance ?UNIT1 CondominiumUnit) (instance ?UNIT2 CondominiumUnit) (part ?UNIT1 ?BUILDING) (part ?UNIT2 ?BUILDING) (not (equal ?UNIT1 ?UNIT2))))) |
Mid-level-ontology.kif 6620-6628 |
|
| consequent |
|
|
| (=> (instance ?UNIT CondominiumUnit) (exists (?BUILDING) (and (instance ?BUILDING CondominiumBuilding) (part ?UNIT ?BUILDING)))) |
Mid-level-ontology.kif 6593-6598 |
|
|
|
|