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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WarehousingAndStorage
WarehousingAndStorage(仓储和储存)
more pictures...

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


(documentation WarehousingAndStorage EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Warehousing and Storage.") naics.kif 8772-8774
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 52/ Warehouse_md17.jpg") pictureList.kif 10344-10344
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 88/ Pallet_racks.jpg") pictureList.kif 12168-12168
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 97/ Automatisches_Kleinteilelager.jpg") pictureList.kif 12169-12169
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ en/ 1/ 19/ WarehousesinAmsterdam.JPG") pictureList.kif 12170-12170
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ en/ 7/ 72/ Buffalo_trace_warehouse.jpg") pictureList.kif 12171-12171
(instance WarehousingAndStorage IndustryAttribute) naics.kif 8770-8770 仓储和储存行业属性instance

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


(subAttribute FarmProductWarehousingAndStorage WarehousingAndStorage) naics.kif 8814-8814 农产品仓储仓储和储存subAttribute
(subAttribute GeneralWarehousingAndStorage WarehousingAndStorage) naics.kif 8799-8799 一般仓储仓储和储存subAttribute
(subAttribute OtherWarehousingAndStorage WarehousingAndStorage) naics.kif 8821-8821 其他仓储和储存仓储和储存subAttribute
(subAttribute RefrigeratedWarehousingAndStorage WarehousingAndStorage) naics.kif 8807-8807 冷藏仓储仓储和储存subAttribute
(termFormat ChineseLanguage WarehousingAndStorage "仓储和储存") domainEnglishFormat.kif 62160-62160
(termFormat ChineseTraditionalLanguage WarehousingAndStorage "倉儲和儲存") domainEnglishFormat.kif 62159-62159
(termFormat EnglishLanguage WarehousingAndStorage "warehousing and storage") domainEnglishFormat.kif 62158-62158

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


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG WarehousingAndStorage))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?P ?OBJ)
                (and
                    (instance ?EV Selling)
                    (instance ?OBJ Object)
                    (instance ?P Human)
                    (patient ?EV ?P)
                    (confersRight
                        (exists (?B ?T)
                            (and
                                (instance ?T TimeInterval)
                                (instance ?B Building)
                                (possesses ?P ?OBJ)
                                (holdsDuring ?T
                                    (located ?B ?OBJ)))) ?MEM ?P))))))
naics.kif 8776-8797


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