No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1084-1084 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5409-5409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5408-5408 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5153-5153 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5407-5407 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5405-5405 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5406-5406 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5410-5410 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1081-1081 |
例 Oregon and 美國國家 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1083-1083 |
空間的符合 Oregon and 加州 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1082-1082 |
空間的符合 Oregon and 太平洋 |