No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2238-2238 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5465-5465 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5165-5165 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5466-5466 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3429-3429 |
Reus 西班牙 是 西班牙 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2237-2237 |
例 reus 西班牙 and City |