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 6612-6614
(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 6610-6610
(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 6611-6611

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


(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 6596-6596
(subclass ConventionCenter CommercialBuilding) Mid-level-ontology.kif 6532-6532
(subclass Warehouse CommercialBuilding) Mid-level-ontology.kif 6616-6616
(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 6601-6608


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