No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1409-1409 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4486-4486 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3968-3968 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2510-2510 |
Ajaccio 法國 是 法國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1408-1408 |
例 ajaccio 法國 and City |