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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlaceOfCommerce
PlaceOfCommerce

appearance as argument number 1
-------------------------


(documentation PlaceOfCommerce EnglishLanguage "A Building or part of a Building which is intended for organizational activities, e.g. retail or wholesale selling, manufacturing, office work, etc.") Mid-level-ontology.kif 8218-8220
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Wtc_arial_march2001.jpg") pictureList.kif 2292-2292
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/en/ 3/ 31/ CommercePlaceComplexB.JPG") pictureList.kif 2291-2291
(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 8217-8217
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 26267-26267
(subclass PlaceOfCommerce StationaryArtifact) Mid-level-ontology.kif 8216-8216

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


(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 8232-8232
(subclass CommercialUnit PlaceOfCommerce) Mid-level-ontology.kif 8251-8251
(termFormat ChineseLanguage PlaceOfCommerce "商业地点") domainEnglishFormat.kif 46009-46009
(termFormat ChineseTraditionalLanguage PlaceOfCommerce "商業地點") domainEnglishFormat.kif 46008-46008
(termFormat EnglishLanguage PlaceOfCommerce "place of commerce") domainEnglishFormat.kif 46007-46007

antecedent
-------------------------


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


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