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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PlaceOfCommerce

Sigma KEE - PlaceOfCommerce
PlaceOfCommerce(place of commerce)
job

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 6691-6693
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Wtc_arial_march2001.jpg") pictureList.kif 2294-2294
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/en/ 3/ 31/ CommercePlaceComplexB.JPG") pictureList.kif 2293-2293
(partition PlaceOfCommerce CommercialBuilding CommercialUnit) Mid-level-ontology.kif 6690-6690 Place of commerce is exhaustively partitioned into commercial building and commercial unit
(subclass PlaceOfCommerce PostalPlace) Mid-level-ontology.kif 23948-23948 Place of commerce is a subclass of PostalPlace
(subclass PlaceOfCommerce StationaryArtifact) Mid-level-ontology.kif 6689-6689 Place of commerce is a subclass of stationary artifact

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


(subclass CommercialBuilding PlaceOfCommerce) Mid-level-ontology.kif 6705-6705 Commercial building is a subclass of place of commerce
(subclass CommercialUnit PlaceOfCommerce) Mid-level-ontology.kif 6724-6724 Commercial unit is a subclass of place of commerce
(termFormat ChineseLanguage PlaceOfCommerce "商业地点") domainEnglishFormat.kif 45961-45961
(termFormat ChineseTraditionalLanguage PlaceOfCommerce "商業地點") domainEnglishFormat.kif 45960-45960
(termFormat EnglishLanguage PlaceOfCommerce "place of commerce") domainEnglishFormat.kif 45959-45959

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


(=>
    (instance ?OFFICE PlaceOfCommerce)
    (or
        (instance ?OFFICE CommercialBuilding)
        (exists (?BUILDING)
            (and
                (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