No TPTP formula. May not be expressible in strict first order. |
Food.kif 1553-1553 |
Every tapioca starch is initially part of a cassava |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4329-4329 |
Cassava has name "cassava" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4331-4331 |
Cassava has name "manioc" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4330-4330 |
Cassava has name "tapioca" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13398-13398 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13397-13397 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13396-13396 |
|