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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WarehousingAndStorage
WarehousingAndStorage(warehousing and storage)
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 Warehousing and storage is an instance of industry attribute

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


(subAttribute FarmProductWarehousingAndStorage WarehousingAndStorage) naics.kif 8814-8814 Farm product warehousing and storage is a subattribute of warehousing and storage
(subAttribute GeneralWarehousingAndStorage WarehousingAndStorage) naics.kif 8799-8799 General warehousing and storage is a subattribute of warehousing and storage
(subAttribute OtherWarehousingAndStorage WarehousingAndStorage) naics.kif 8821-8821 Other warehousing and storage is a subattribute of warehousing and storage
(subAttribute RefrigeratedWarehousingAndStorage WarehousingAndStorage) naics.kif 8807-8807 Refrigerated warehousing and storage is a subattribute of warehousing and storage
(termFormat ChineseLanguage WarehousingAndStorage "仓储和储存") domainEnglishFormat.kif 62241-62241 Refrigerated warehousing and storage is a subattribute of warehousing and storage
(termFormat ChineseTraditionalLanguage WarehousingAndStorage "倉儲和儲存") domainEnglishFormat.kif 62240-62240 Refrigerated warehousing and storage is a subattribute of warehousing and storage
(termFormat EnglishLanguage WarehousingAndStorage "warehousing and storage") domainEnglishFormat.kif 62239-62239 Refrigerated warehousing and storage is a subattribute of warehousing and storage

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