No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6162-6162 |
玉米粒 是 玉米种植 的 industry 产品类别 |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1547-1547 |
%每个 CornFlour 是 玉米粒 的 initially part |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4118-4118 |
玉米粒 的名 是 "corn" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4117-4117 |
玉米粒 的名 是 "maize" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35687-35687 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35686-35686 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35685-35685 |
|