No TPTP formula. May not be expressible in strict first order. |
Food.kif 2166-2166 |
子類 Basil and Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2527-2527 |
子類 Cilantro and Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2670-2670 |
子類 Mint and Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2694-2694 |
子類 Mustard and Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2731-2731 |
子類 Parsley and Herb |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64976-64976 |
|