No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 922-923 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5116-5116 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5238-5238 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 918-918 |
例 Delaware and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 920-920 |
空間的符合 Delaware and 馬里蘭 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 919-919 |
空間的符合 Delaware and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 921-921 |
空間的符合 Delaware and 賓夕法尼亞 |