TreeView Knowledge Base Browser - WarehousingAndStorage

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

WarehousingAndStorage

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 10334-10334
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12152-12152
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12153-12153
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12154-12154
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12155-12155
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 62193-62193
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62192-62192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62191-62191

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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