No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1071-1071 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 632-632 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1067-1067 |
例 北達科他州 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1070-1070 |
空間的符合 北達科他州 and 加拿大 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1068-1068 |
空間的符合 北達科他州 and Montana |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1069-1069 |
空間的符合 北達科他州 and SouthDakota |