CommercialUnit
|
|
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 | CommercialUnit は PlaceOfCommerce の subclass では %n |
appearance as argument number 2 |
(subclass AppleStore CommercialUnit) | ComputingBrands.kif 2081-2081 | Apple Store は CommercialUnit の subclass では %n |
(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 | PlaceOfCommerce は CommercialBuilding + CommercialUnit に exhaustively partitioned %n |
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 |