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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RiceGrain

 Sigma KEE - RiceGrain
RiceGrain(rice grain)
Indian_rice, brown_rice, paddy, polished_rice, rice, white_rice, wild_rice

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 4048-4049
No TPTP formula. May not be expressible in strict first order. pictureList.kif 695-695
No TPTP formula. May not be expressible in strict first order. Economy.kif 4115-4115 Every rice grain is initially part of a paddy rice
No TPTP formula. May not be expressible in strict first order. Economy.kif 4047-4047 Rice 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 6164-6164 Rice grain is an industry product type of rice farming
No TPTP formula. May not be expressible in strict first order. Food.kif 1541-1541 Every rice flour is initially part of a rice grain
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49934-49934
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49933-49933
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49932-49932


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