No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 986-987 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 583-583 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 981-981 |
例 馬里蘭 and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 982-982 |
空間的符合 馬里蘭 and 北大西洋 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 983-983 |
空間的符合 馬里蘭 and 弗吉尼亞州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 985-985 |
空間的符合 馬里蘭 and 華盛頓特區美國 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 984-984 |
空間的符合 馬里蘭 and WestVirginia |