No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6202-6202 |
花生 是 花生種植 的 industry 產品類別 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4576-4576 |
%每個 GroundnutOil 是 花生 的 initially part |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4488-4488 |
名 "peanut" and 花生 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4489-4489 |
名 "花生" and 花生 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26700-26700 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26699-26699 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26698-26698 |
|