Eggplant(eggplant)![]() | ![]() | aubergine, eggplant, mad_apple |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4274-4275 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 407-407 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4271-4271 | Eggplant is a subclass of vegetable |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4272-4272 | Eggplant has name "aubergine" |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4273-4273 | Eggplant has name "brinjal" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21330-21330 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21329-21329 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21328-21328 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4277-4281 |
|
![]() |
![]() |