No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4576-4576 |
北太平洋 是 太平洋 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4616-4616 |
南太平洋 是 太平洋 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 881-881 |
阿拉斯加州 接上 太平洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 903-903 |
加州 接上 太平洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 936-936 |
夏威夷 接上 太平洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1082-1082 |
Oregon 接上 太平洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1141-1141 |
华盛顿 接上 太平洋 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4567-4567 |
太平洋 的名 是 "Pacific Ocean" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43890-43890 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43889-43889 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43888-43888 |
|