No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 97-97 |
吉布提 是 东非 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 99-99 |
厄立特里亚 是 东非 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 101-101 |
埃塞俄比亚 是 东非 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 103-103 |
肯尼亚 是 东非 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 105-105 |
塞舌尔 是 东非 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 107-107 |
索马里 是 东非 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 109-109 |
坦桑尼亚 是 东非 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 111-111 |
乌干达 是 东非 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 109-109 |
东非 的名 是 "Eastern Africa" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20838-20838 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20837-20837 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20836-20836 |
|