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