No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1007-1007 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 596-596 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1002-1002 |
例 明尼蘇達 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1003-1003 |
空間的符合 明尼蘇達 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1006-1006 |
空間的符合 明尼蘇達 and Iowa |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1004-1004 |
空間的符合 明尼蘇達 and 北達科他州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1005-1005 |
空間的符合 明尼蘇達 and SouthDakota |