TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PlaceOfCommerce StationaryArtifact)	Mid-level-ontology.kif 8345-8345	Place of commerce is a subclass of stationary artifact
(partition PlaceOfCommerce CommercialBuilding CommercialUnit)	Mid-level-ontology.kif 8346-8346	Place of commerce is exhaustively partitioned into commercial building and commercial unit
(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 8347-8349	Place of commerce is exhaustively partitioned into commercial building and commercial unit
(subclass PlaceOfCommerce PostalPlace)	Mid-level-ontology.kif 26880-26880	Place of commerce is a subclass of postal place
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/en/ 3/ 31/ CommercePlaceComplexB.JPG")	pictureList.kif 2291-2291	Place of commerce is a subclass of postal place
(externalImage PlaceOfCommerce "http://upload.wikimedia.org/wikipedia/commons/ 7/ 75/ Wtc_arial_march2001.jpg")	pictureList.kif 2292-2292	Place of commerce is a subclass of postal place

appearance as argument number 2

(subclass CommercialBuilding PlaceOfCommerce)	Mid-level-ontology.kif 8361-8361	Commercial building is a subclass of place of commerce
(subclass CommercialUnit PlaceOfCommerce)	Mid-level-ontology.kif 8380-8380	Commercial unit is a subclass of place of commerce
(termFormat EnglishLanguage PlaceOfCommerce "place of commerce")	domainEnglishFormat.kif 45971-45971	Commercial unit is a subclass of place of commerce
(termFormat ChineseTraditionalLanguage PlaceOfCommerce "商業地點")	domainEnglishFormat.kif 45972-45972	Commercial unit is a subclass of place of commerce
(termFormat ChineseLanguage PlaceOfCommerce "商业地点")	domainEnglishFormat.kif 45973-45973	Commercial unit is a subclass of place of commerce

antecedent

(=>
    (instance ?OFFICE PlaceOfCommerce)
    (or
        (instance ?OFFICE CommercialBuilding)
        (exists (?BUILDING)
            (and
                (instance ?BUILDING CommercialBuilding)
                (part ?OFFICE ?BUILDING)))))