Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommercialUnit

Sigma KEE - CommercialUnit
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 6725-6726
(subclass CommercialUnit PlaceOfCommerce) Mid-level-ontology.kif 6724-6724 Commercial unit is a subclass of place of commerce

appearance as argument number 2
-------------------------


(subclass AppleStore CommercialUnit) ComputingBrands.kif 2049-2049 Apple Store is a subclass of commercial unit
(termFormat ChineseLanguage CommercialUnit "商业单位") domainEnglishFormat.kif 15873-15873
(termFormat ChineseTraditionalLanguage CommercialUnit "商業單位") domainEnglishFormat.kif 15872-15872
(termFormat EnglishLanguage CommercialUnit "commercial unit") domainEnglishFormat.kif 15871-15871

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


(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 6690-6690 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 6728-6737


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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