No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2742-2742 |
科倫坡斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2878-2878 |
Gonegalle斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2963-2963 |
賈夫那斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3017-3017 |
卡爾穆奈斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3021-3021 |
康提斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3162-3162 |
Madhu sri 斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3272-3272 |
Muttur sri 斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3289-3289 |
納魯爾地區斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3566-3566 |
坦迪斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3612-3612 |
亭可馬里港斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3643-3643 |
瓦武尼亞斯里蘭卡 是 斯里蘭卡 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4168-4168 |
名 "Sri Lanka" and 斯里蘭卡 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54930-54930 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54929-54929 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54928-54928 |
|