No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5108-5108 |
名 "Koko Nor" and koko nor |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5109-5109 |
名 "Qinghai Hu" and koko nor |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32755-32755 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32754-32754 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32753-32753 |
|