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 7046-7048
(externalImage CommercialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 44/ Salinas_Office.jpg") pictureList.kif 2142-2142
(externalImage CommercialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ a/ a8/ Oldmixedusedevhern.jpeg") pictureList.kif 1705-1705
(subclass CommercialBuilding Building) Mid-level-ontology.kif 7044-7044
(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 7045-7045

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


(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 7030-7030
(subclass ConventionCenter CommercialBuilding) Mid-level-ontology.kif 6966-6966
(subclass Warehouse CommercialBuilding) Mid-level-ontology.kif 7050-7050
(termFormat ChineseLanguage CommercialBuilding "商业建筑") domainEnglishFormat.kif 15822-15822
(termFormat ChineseTraditionalLanguage CommercialBuilding "商業建築") domainEnglishFormat.kif 15821-15821
(termFormat EnglishLanguage CommercialBuilding "commercial building") domainEnglishFormat.kif 15820-15820

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


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


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