Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlourMilling
FlourMilling(flour milling)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. naics.kif 1414-1417
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6516-6516
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6517-6517
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6015-6015
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6519-6519
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6515-6515
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6518-6518
No TPTP formula. May not be expressible in strict first order. naics.kif 1412-1412 Flour milling is a subattribute of flour milling and malt manufacturing

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24302-24302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24301-24301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 24300-24300


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