|
|
   RiceGrain
|
|
|
| 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 | initialPart RiceGrain and PaddyRice |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4047-4047 | RiceGrain e' uma sub-classe de CerealGrain |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 6164-6164 | industryProductType RiceFarming and RiceGrain |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1541-1541 | initialPart RiceFlour and RiceGrain |
| 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 |
|
|
|
