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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PhnomPenhCambodia

Sigma KEE - PlaceOfCommerce
PlaceOfCommerce(商業地點)

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


(documentation PlaceOfCommerce EnglishLanguage "A Building or part of a Building which is intended for organizational activities, e.g. retail or wholesale selling, manufacturing, office work, etc.") Mid-level-ontology.kif 7030-7032
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Wtc_arial_march2001.jpg") pictureList.kif 2293-2293
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/en/ 3/ 31/ CommercePlaceComplexB.JPG") pictureList.kif 2292-2292
(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 7029-7029 劃分 商業地點, 商業建築 and 商業單位
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24597-24597 子類 商業地點 and PostalPlace
(subclass PlaceOfCommerce StationaryArtifact) Mid-level-ontology.kif 7028-7028 子類 商業地點 and StationaryArtifact

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


(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 7044-7044 子類 商業建築 and 商業地點
(subclass CommercialUnit PlaceOfCommerce) Mid-level-ontology.kif 7063-7063 子類 商業單位 and 商業地點
(termFormat ChineseLanguage PlaceOfCommerce "商业地点") domainEnglishFormat.kif 45978-45978
(termFormat ChineseTraditionalLanguage PlaceOfCommerce "商業地點") domainEnglishFormat.kif 45977-45977
(termFormat EnglishLanguage PlaceOfCommerce "place of commerce") domainEnglishFormat.kif 45976-45976

antecedent
-------------------------


(=>
    (instance ?OFFICE PlaceOfCommerce)
    (or
        (instance ?OFFICE CommercialBuilding)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING CommercialBuilding)
                (part ?OFFICE ?BUILDING)))))
Mid-level-ontology.kif 7034-7041


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