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 8772-8774
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10332-10332
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12141-12141
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12142-12142
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12143-12143
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12144-12144
No TPTP formula. May not be expressible in strict first order.	naics.kif 8770-8770	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 8814-8814	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 8799-8799	General warehousing and storage is a subattribute of warehousing and storage
No TPTP formula. May not be expressible in strict first order.	naics.kif 8821-8821	Other warehousing and storage is a subattribute of warehousing and storage
No TPTP formula. May not be expressible in strict first order.	naics.kif 8807-8807	Refrigerated warehousing and storage is a subattribute of warehousing and storage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62187-62187	Refrigerated warehousing and storage is a subattribute of warehousing and storage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62186-62186	Refrigerated warehousing and storage is a subattribute of warehousing and storage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62185-62185	Refrigerated warehousing and storage is a subattribute of warehousing and storage

antecedent

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

naics.kif 8776-8797

If a collection is an instance of organization and warehousing and storage is an attribute of the collection,
then there exist an agent and a process such that the process is a member of the collection and the agent is an agent of the process 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 process 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