No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6957-6959 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6956-6956 |
例 Wales and GeographicArea |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6962-6962 |
空間的符合 Wales and England |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6961-6961 |
方位 Wales, England and 西方 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6971-6971 |
英國 是 Wales 的 primary 地緣政治細分 |