CommercialUnit FieldOfLaw
|
|
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 | 子類 商業單位 and 商業地點 |
appearance as argument number 2 |
(subclass AppleStore CommercialUnit) | ComputingBrands.kif 2081-2081 | 子類 蘋果商店 and 商業單位 |
(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 | 劃分 商業地點, 商業建築 and 商業單位 |
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 |