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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 7046-7048
(externalImage CommercialBuilding " commons/ 4/ 44/ Salinas_Office.jpg") pictureList.kif 2142-2142
(externalImage CommercialBuilding " commons/ a/ a8/ Oldmixedusedevhern.jpeg") pictureList.kif 1705-1705
(subclass CommercialBuilding Building) Mid-level-ontology.kif 7044-7044 商业建筑建筑物subclass
(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 7045-7045 商业建筑商业地点subclass

appearance as argument number 2

(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 7030-7030 商业地点 详尽无遗地 partition商业建筑商业单位
(subclass ConventionCenter CommercialBuilding) Mid-level-ontology.kif 6966-6966 ConventionCenter商业建筑subclass
(subclass Warehouse CommercialBuilding) Mid-level-ontology.kif 7050-7050 仓库商业建筑subclass
(termFormat ChineseLanguage CommercialBuilding "商业建筑") domainEnglishFormat.kif 15822-15822
(termFormat ChineseTraditionalLanguage CommercialBuilding "商業建築") domainEnglishFormat.kif 15821-15821
(termFormat EnglishLanguage CommercialBuilding "commercial building") domainEnglishFormat.kif 15820-15820


    (instance ?OFFICE PlaceOfCommerce)
        (instance ?OFFICE CommercialBuilding)
        (exists (?BUILDING)
                (instance ?BUILDING CommercialBuilding)
                (part ?OFFICE ?BUILDING)))))
Mid-level-ontology.kif 7035-7042

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 is open source software produced by Articulate Software and its partners