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 |