No TPTP formula. May not be expressible in strict first order. |
Food.kif 2166-2166 |
Basil e' uma sub-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2527-2527 |
Cilantro e' uma sub-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2670-2670 |
Mint e' uma sub-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2694-2694 |
Mustard e' uma sub-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2731-2731 |
Parsley e' uma sub-classe de Herb |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64978-64978 |
|