Grape(grape) | Catawba, Chenin_blanc, Concord_grape, Pinot, Pinot_blanc, Pinot_grape, Riesling, Sauvignon_grape, Thompson_Seedless, Tokay, Verdicchio, bullace_grape, emperor, flame_tokay, fox_grape, grape, malvasia, muscadine, muscat, muscat_grape, muscatel, muskat, ribier, scuppernong, slipskin_grape, sultana, vinifera_grape |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 470-470 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2288-2288 | Grape is a subclass of fruit |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3690-3690 | Wine grape is a subclass of grape |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26430-26430 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26429-26429 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26428-26428 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3325-3332 |
|