No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 800-800 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4816-4816 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 798-798 |
例 蘇格蘭 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6952-6952 |
空間的符合 蘇格蘭 and England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6951-6951 |
方位 蘇格蘭, England and 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6964-6964 |
方位 蘇格蘭, Wales and 北 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 799-799 |
部分 蘇格蘭 and 英國 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6968-6968 |
英國 是 蘇格蘭 的 primary 地緣政治細分 |