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


KB Term:  Term intersection
English Word: 

Sigma KEE - WarehousingAndStorage
WarehousingAndStorage(warehousing and storage)
more pictures...

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


(instance WarehousingAndStorage IndustryAttribute) naics.kif 8767-8767 Warehousing and storage is an instance of industry attribute
(documentation WarehousingAndStorage EnglishLanguage "An Attribute of an Organization, that specifies that the primary business of the organization involves Warehousing and Storage.") naics.kif 8769-8771 Warehousing and storage is an instance of industry attribute
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 52/ Warehouse_md17.jpg") pictureList.kif 10332-10332 Warehousing and storage is an instance of industry attribute
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 88/ Pallet_racks.jpg") pictureList.kif 12141-12141 Warehousing and storage is an instance of industry attribute
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 97/ Automatisches_Kleinteilelager.jpg") pictureList.kif 12142-12142 Warehousing and storage is an instance of industry attribute
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ en/ 1/ 19/ WarehousesinAmsterdam.JPG") pictureList.kif 12143-12143 Warehousing and storage is an instance of industry attribute
(externalImage WarehousingAndStorage "http://upload.wikimedia.org/wikipedia/ en/ 7/ 72/ Buffalo_trace_warehouse.jpg") pictureList.kif 12144-12144 Warehousing and storage is an instance of industry attribute

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


(termFormat EnglishLanguage WarehousingAndStorage "warehousing and storage") domainEnglishFormat.kif 62194-62194
(termFormat ChineseTraditionalLanguage WarehousingAndStorage "倉儲和儲存") domainEnglishFormat.kif 62195-62195
(termFormat ChineseLanguage WarehousingAndStorage "仓储和储存") domainEnglishFormat.kif 62196-62196
(subAttribute GeneralWarehousingAndStorage WarehousingAndStorage) naics.kif 8796-8796 General warehousing and storage is a subattribute of warehousing and storage
(subAttribute RefrigeratedWarehousingAndStorage WarehousingAndStorage) naics.kif 8804-8804 Refrigerated warehousing and storage is a subattribute of warehousing and storage
(subAttribute FarmProductWarehousingAndStorage WarehousingAndStorage) naics.kif 8811-8811 Farm product warehousing and storage is a subattribute of warehousing and storage
(subAttribute OtherWarehousingAndStorage WarehousingAndStorage) naics.kif 8818-8818 Other 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 ?MEM ?P
                        (exists (?B ?T)
                            (and
                                (instance ?T TimeInterval)
                                (instance ?B Building)
                                (possesses ?P ?OBJ)
                                (holdsDuring ?T
                                    (located ?B ?OBJ))))))))))
naics.kif 8773-8794 If X is an instance of organization and warehousing and storage is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that Z is a member of X (3) Y is an agent of Z (4) there exist W (5) V such that Y is an instance of selling (6) V is an instance of object (7) W is an instance of human (8) W is a patient of Y (9) W allows there exist U (10) T such that T is an instance of timeframe (11) U is an instance of building (12) W possesses V (13) U is located at V holds during T to perform task of the type Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners