Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CommercialUnit
CommercialUnit(commercial unit)

appearance as argument number 1
-------------------------


(subclass CommercialUnit PlaceOfCommerce) Mid-level-ontology.kif 8380-8380 Commercial unit is a subclass of place of commerce
(documentation CommercialUnit EnglishLanguage "A Room or suite of Rooms intended for clerical and/ or professional work of a single Organization.") Mid-level-ontology.kif 8381-8382 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 EnglishLanguage CommercialUnit "commercial unit") domainEnglishFormat.kif 15882-15882 Apple Store is a subclass of commercial unit
(termFormat ChineseTraditionalLanguage CommercialUnit "商業單位") domainEnglishFormat.kif 15883-15883 Apple Store is a subclass of commercial unit
(termFormat ChineseLanguage CommercialUnit "商业单位") domainEnglishFormat.kif 15884-15884 Apple Store is a subclass of commercial unit

appearance as argument number 3
-------------------------


(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 8346-8346 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 8384-8393 If X is an instance of commercial unit, Y is an instance of organization, and Y is located at X, then there doesn't exist Z such that Z is an instance of organization, Z is located at X, equal Z, and Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners