No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5108-5108 |
KokoNor s'appele nom "Koko Nor" |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5109-5109 |
KokoNor s'appele nom "Qinghai Hu" |
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 |
|