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 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64976-64976 |
|