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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommercialBuilding

Sigma KEE - CommercialBuilding
CommercialBuilding(商业建筑)

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


(documentation CommercialBuilding EnglishLanguage "A Building which is intended for organizational activities, e.g. retail or wholesale selling, manufacturing, office work, etc.") Mid-level-ontology.kif 6744-6746
(externalImage CommercialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 44/ Salinas_Office.jpg") pictureList.kif 2143-2143
(externalImage CommercialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ a/ a8/ Oldmixedusedevhern.jpeg") pictureList.kif 1706-1706
(subclass CommercialBuilding Building) Mid-level-ontology.kif 6742-6742 商业建筑建筑物subclass
(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 6743-6743 商业建筑商业地点subclass

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


(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 6728-6728 商业地点 详尽无遗地 partition商业建筑商业单位
(subclass ConventionCenter CommercialBuilding) Mid-level-ontology.kif 6664-6664 ConventionCenter商业建筑subclass
(subclass Warehouse CommercialBuilding) Mid-level-ontology.kif 6748-6748 仓库商业建筑subclass
(termFormat ChineseLanguage CommercialBuilding "商业建筑") domainEnglishFormat.kif 15813-15813
(termFormat ChineseTraditionalLanguage CommercialBuilding "商業建築") domainEnglishFormat.kif 15812-15812
(termFormat EnglishLanguage CommercialBuilding "commercial building") domainEnglishFormat.kif 15811-15811

consequent
-------------------------


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


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