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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WarehousingAndStorage

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 10334-10334
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 88/ Pallet_racks.jpg") pictureList.kif 12152-12152
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 97/ Automatisches_Kleinteilelager.jpg") pictureList.kif 12153-12153
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ en/ 1/ 19/ WarehousesinAmsterdam.JPG") pictureList.kif 12154-12154
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ en/ 7/ 72/ Buffalo_trace_warehouse.jpg") pictureList.kif 12155-12155
(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 62193-62193
(termFormat ChineseTraditionalLanguage WarehousingAndStorage "倉儲和儲存") domainEnglishFormat.kif 62192-62192
(termFormat EnglishLanguage WarehousingAndStorage "warehousing and storage") domainEnglishFormat.kif 62191-62191

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 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