| No TPTP formula. May not be expressible in strict first order. | Food.kif 2153-2153 | Herb est une sous-classe de PlantSubstance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2154-2154 | Herb est une sous-classe de fruit ou v�g�tal |
| 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 |
|
|