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 | 葡萄 是 水果 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3690-3690 | 酿酒葡萄 是 葡萄 的 subclass |
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 |