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


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