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" and 東非 |
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 |
|