No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2554-2554 |
阿爾馬北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2598-2598 |
班布里奇北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2602-2602 |
班戈北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2636-2636 |
貝爾法斯特北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3136-3136 |
倫敦德里北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3266-3266 |
Murlough北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3348-3348 |
奧馬爾北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3545-3545 |
斯圖爾特斯敦北愛爾蘭 是 北愛爾蘭 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6965-6965 |
方位 人島, 北愛爾蘭 and 東 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41105-41105 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41104-41104 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41103-41103 |
|