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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7073-7075
(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 7071-7071 CommercialBuilding ist eine teilkategorie von Building
(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 7072-7072 CommercialBuilding ist eine teilkategorie von PlaceOfCommerce

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


(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 7057-7057 PlaceOfCommerce wird vollstaendig in CommercialBuilding und CommercialUnit verteilt
(subclass ConventionCenter CommercialBuilding) Mid-level-ontology.kif 6993-6993 ConventionCenter ist eine teilkategorie von CommercialBuilding
(subclass Warehouse CommercialBuilding) Mid-level-ontology.kif 7077-7077 Warehouse ist eine teilkategorie von CommercialBuilding
(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 7062-7069


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