No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4272-4272 |
名 "aubergine" and 茄子 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4273-4273 |
名 "brinjal" and 茄子 |
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 |
|