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 |
|