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 e' uma sub-classe de Fruit |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3690-3690 | WineGrape e' uma sub-classe de 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 |