CommercialUnit(commercial unit) |
appearance as argument number 1 |
![]() |
(documentation CommercialUnit EnglishLanguage "A Room or suite of Rooms intended for clerical and/ or professional work of a single Organization.") | Mid-level-ontology.kif 7092-7093 | |
(subclass CommercialUnit PlaceOfCommerce) | Mid-level-ontology.kif 7091-7091 | Commercial unit is a subclass of place of commerce |
appearance as argument number 2 |
![]() |
(subclass AppleStore CommercialUnit) | ComputingBrands.kif 2081-2081 | Apple Store is a subclass of commercial unit |
(termFormat ChineseLanguage CommercialUnit "商业单位") | domainEnglishFormat.kif 15882-15882 | |
(termFormat ChineseTraditionalLanguage CommercialUnit "商業單位") | domainEnglishFormat.kif 15881-15881 | |
(termFormat EnglishLanguage CommercialUnit "commercial unit") | domainEnglishFormat.kif 15880-15880 |
appearance as argument number 3 |
![]() |
(partition PlaceOfCommerce CommercialBuilding CommercialUnit) | Mid-level-ontology.kif 7057-7057 | Place of commerce is exhaustively partitioned into commercial building and commercial unit |
antecedent |
![]() |
(=> (and (instance ?UNIT CommercialUnit) (instance ?ORG Organization) (located ?ORG ?UNIT)) (not (exists (?OTHER) (and (instance ?OTHER Organization) (located ?OTHER ?UNIT) (not (equal ?OTHER ?ORG)))))) |
Mid-level-ontology.kif 7095-7104 |
|
![]() |
![]() |