WarehousingAndStorage - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	naics.kif 8779-8781
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10355-10355
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12179-12179
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12180-12180
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12181-12181
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12182-12182
No TPTP formula. May not be expressible in strict first order.	naics.kif 8777-8777	Warehousing and storage is an instance of industry attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8821-8821	Farm product warehousing and storage is a subattribute of warehousing and storage
No TPTP formula. May not be expressible in strict first order.	naics.kif 8806-8806	General warehousing and storage is a subattribute of warehousing and storage
No TPTP formula. May not be expressible in strict first order.	naics.kif 8828-8828	Other warehousing and storage is a subattribute of warehousing and storage
No TPTP formula. May not be expressible in strict first order.	naics.kif 8814-8814	Refrigerated warehousing and storage is a subattribute of warehousing and storage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62159-62159
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62158-62158
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62157-62157

antecedent

No TPTP formula. May not be expressible in strict first order.

naics.kif 8783-8804

If a collection is an instance of organization and warehousing and storage is an attribute of the collection,
then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist a cognitive agent and an entity such that the agent is an instance of selling and the entity is an instance of object and the cognitive agent is an instance of human and the cognitive agent is a patient of the agent and the object allows the cognitive agent to perform task of the type there exist another entity and a third entity such that the third entity is an instance of time interval and the other entity is an instance of building and the cognitive agent possesses the entity and the other entity is located at the entity holds during the third entity

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