| No TPTP formula. May not be expressible in strict first order. | Food.kif 2153-2153 | Herb is a subclass of plant substance |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2154-2154 | Herb is a subclass of fruit or vegetable |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2166-2166 | Basil is a subclass of herb |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2527-2527 | Cilantro is a subclass of herb |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2670-2670 | Mint is a subclass of herb |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2694-2694 | Mustard is a subclass of herb |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2731-2731 | Parsley is a subclass of herb |
|
|