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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - CommercialBuilding
CommercialBuilding(commercial building)

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 6706-6708
(externalImage CommercialBuilding " commons/ 4/ 44/ Salinas_Office.jpg") pictureList.kif 2143-2143
(externalImage CommercialBuilding " commons/ a/ a8/ Oldmixedusedevhern.jpeg") pictureList.kif 1706-1706
(subclass CommercialBuilding Building) Mid-level-ontology.kif 6704-6704 Commercial building is a subclass of building
(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 6705-6705 Commercial building is a subclass of place of commerce

appearance as argument number 2

(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 6690-6690 Place of commerce is exhaustively partitioned into commercial building and commercial unit
(subclass ConventionCenter CommercialBuilding) Mid-level-ontology.kif 6626-6626 ConventionCenter is a subclass of commercial building
(subclass Warehouse CommercialBuilding) Mid-level-ontology.kif 6710-6710 Warehouse is a subclass of commercial building
(termFormat ChineseLanguage CommercialBuilding "商业建筑") domainEnglishFormat.kif 15813-15813
(termFormat ChineseTraditionalLanguage CommercialBuilding "商業建築") domainEnglishFormat.kif 15812-15812
(termFormat EnglishLanguage CommercialBuilding "commercial building") domainEnglishFormat.kif 15811-15811


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

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