| Garlic(garlic) | | ail, clove, garlic, garlic_clove |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2583-2588 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2088-2088 | Garlic is an ingredient in aioli |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2589-2589 | Garlic is a subclass of root vegetable |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64951-64951 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2591-2593 |
|
|
|
|