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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlaceOfCommerce

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 7058-7060
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Wtc_arial_march2001.jpg") pictureList.kif 2293-2293
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/en/ 3/ 31/ CommercePlaceComplexB.JPG") pictureList.kif 2292-2292
(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 7057-7057 PlaceOfCommerceCommercialBuilding + CommercialUnitexhaustively partitioned %n
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 24655-24655 PlaceOfCommercePostalPlacesubclass では %n
(subclass PlaceOfCommerce StationaryArtifact) Mid-level-ontology.kif 7056-7056 PlaceOfCommerce固定アーチファクトsubclass では %n

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


(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 7072-7072 CommercialBuildingPlaceOfCommercesubclass では %n
(subclass CommercialUnit PlaceOfCommerce) Mid-level-ontology.kif 7091-7091 CommercialUnitPlaceOfCommercesubclass では %n
(termFormat ChineseLanguage PlaceOfCommerce "商业地点") domainEnglishFormat.kif 45980-45980
(termFormat ChineseTraditionalLanguage PlaceOfCommerce "商業地點") domainEnglishFormat.kif 45979-45979
(termFormat EnglishLanguage PlaceOfCommerce "place of commerce") domainEnglishFormat.kif 45978-45978

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


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


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