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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RyeGrain
RyeGrain(rye grain)rye

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4133-4134
No TPTP formula. May not be expressible in strict first order. Economy.kif 4135-4135 Every rye grain is initially part of a rye grass
No TPTP formula. May not be expressible in strict first order. Economy.kif 4132-4132 Rye grain is a subclass of cereal grain

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 6179-6179 Rye grain is an industry product type of rye farming
No TPTP formula. May not be expressible in strict first order. Food.kif 1535-1535 Every rye flour is initially part of a rye grain
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50715-50715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50714-50714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50713-50713


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