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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FlourMilling

 Sigma KEE - FlourMilling
FlourMilling
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 FlourMilling e' um sub-atributo de FlourMillingAndMaltManufacturing

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 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