TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Warehouse CommercialBuilding)	Mid-level-ontology.kif 8366-8366	Warehouse is a subclass of commercial building
(documentation Warehouse EnglishLanguage "A very large CommercialBuilding whose purpose is to store commodities.")	Mid-level-ontology.kif 8367-8368	Warehouse is a subclass of commercial building
(externalImage Warehouse "http://upload.wikimedia.org/wikipedia/commons/ 8/ 88/ Pallet_racks.jpg")	pictureList.kif 2055-2055	Warehouse is a subclass of commercial building
(externalImage Warehouse "http://upload.wikimedia.org/wikipedia/en/1/19/ WarehousesinAmsterdam.JPG")	pictureList.kif 2422-2422	Warehouse is a subclass of commercial building
(externalImage Warehouse "http://upload.wikimedia.org/wikipedia/en/7/72/ Buffalo_trace_warehouse.jpg")	pictureList.kif 2423-2423	Warehouse is a subclass of commercial building

appearance as argument number 2

(termFormat EnglishLanguage Warehouse "warehouse")	domainEnglishFormat.kif 62182-62182
(termFormat ChineseTraditionalLanguage Warehouse "倉庫")	domainEnglishFormat.kif 62183-62183
(termFormat ChineseLanguage Warehouse "仓库")	domainEnglishFormat.kif 62184-62184

antecedent

(=>
    (instance ?B Warehouse)
    (hasPurpose ?B
        (exists (?K ?P)
            (and
                (instance ?K Keeping)
                (patient ?K ?P)
                (instance ?P Product)
                (eventLocated ?K ?B)))))

If X is an instance of warehouse, then X has the purpose there exist Y, Z such that Y is an instance of keeping, Z is a patient of Y, Z is an instance of product, and Y is located at X