SugarCane(sugar cane) | Saccharum_officinarum, noble_cane, sugar_cane, sugarcane |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1457-1457 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4352-4352 | Sugar cane is a subclass of vegetable |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55975-55975 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55974-55974 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55973-55973 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3339-3346 |
|