No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 980-980 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5325-5325 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5137-5137 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5326-5326 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5324-5324 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 976-976 |
Maine 是 美国国家 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 978-978 |
Maine 接上 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 977-977 |
Maine 接上 新罕布什尔 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 979-979 |
Maine 接上 北大西洋 |