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