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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommercialUnit
  FieldOfLaw

Sigma KEE - CommercialUnit
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 子類 商業單位 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


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