No TPTP formula. May not be expressible in strict first order. |
Food.kif 2166-2166 |
Basil est une sous-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2527-2527 |
Cilantro est une sous-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2670-2670 |
Mint est une sous-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2694-2694 |
Mustard est une sous-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2731-2731 |
Parsley est une sous-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64976-64976 |
|