No TPTP formula. May not be expressible in strict first order. |
Food.kif 1553-1553 |
%每個 TapiocaStarch 是 木薯 的 initially part |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4329-4329 |
名 "cassava" and 木薯 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4331-4331 |
名 "manioc" and 木薯 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4330-4330 |
名 "tapioca" and 木薯 |
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 |
|