| 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 8245-8246 | |
| (subclass CommercialUnit PlaceOfCommerce) | Mid-level-ontology.kif 8244-8244 | 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 15897-15897 | Apple Store is a subclass of commercial unit |
| (termFormat ChineseTraditionalLanguage CommercialUnit "商業單位") | domainEnglishFormat.kif 15896-15896 | Apple Store is a subclass of commercial unit |
| (termFormat EnglishLanguage CommercialUnit "commercial unit") | domainEnglishFormat.kif 15895-15895 | Apple Store is a subclass of commercial unit |
| appearance as argument number 3 |
|
|
| (partition PlaceOfCommerce CommercialBuilding CommercialUnit) | Mid-level-ontology.kif 8210-8210 | 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 8248-8257 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners