No TPTP formula. May not be expressible in strict first order. |
Food.kif 1553-1553 |
initialPart TapiocaStarch and Cassava |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4329-4329 |
Cassava s'appele nom "cassava" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4331-4331 |
Cassava s'appele nom "manioc" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4330-4330 |
Cassava s'appele nom "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 |
|