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

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


(subAttribute FarmProductWarehousingAndStorage WarehousingAndStorage) naics.kif 8814-8814
(subAttribute GeneralWarehousingAndStorage WarehousingAndStorage) naics.kif 8799-8799
(subAttribute OtherWarehousingAndStorage WarehousingAndStorage) naics.kif 8821-8821
(subAttribute RefrigeratedWarehousingAndStorage WarehousingAndStorage) naics.kif 8807-8807
(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 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