No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4272-4272 |
Eggplant se chama nome "aubergine" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4273-4273 |
Eggplant se chama nome "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 |
|