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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CommercialBuilding
CommercialBuilding(commercial building)
station

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 8207-8209
(externalImage CommercialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 44/ Salinas_Office.jpg") pictureList.kif 2141-2141
(externalImage CommercialBuilding "http://upload.wikimedia.org/wikipedia/ commons/ a/ a8/ Oldmixedusedevhern.jpeg") pictureList.kif 1704-1704
(subclass CommercialBuilding Building) Mid-level-ontology.kif 8205-8205 Commercial building is a subclass of building
(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 8206-8206 Commercial building is a subclass of place of commerce

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


(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 8191-8191 Place of commerce is exhaustively partitioned into commercial building and commercial unit
(subclass ConventionCenter CommercialBuilding) Mid-level-ontology.kif 8127-8127 Convention center is a subclass of commercial building
(subclass Warehouse CommercialBuilding) Mid-level-ontology.kif 8211-8211 Warehouse is a subclass of commercial building
(termFormat ChineseLanguage CommercialBuilding "商业建筑") domainEnglishFormat.kif 15831-15831 Warehouse is a subclass of commercial building
(termFormat ChineseTraditionalLanguage CommercialBuilding "商業建築") domainEnglishFormat.kif 15830-15830 Warehouse is a subclass of commercial building
(termFormat EnglishLanguage CommercialBuilding "commercial building") domainEnglishFormat.kif 15829-15829 Warehouse is a subclass of commercial building

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


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


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