No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2288-2288 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4284-4284 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4283-4283 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4282-4282 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3486-3486 |
聖塞巴斯蒂安西班牙 是 西班牙 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2287-2287 |
例 聖塞巴斯蒂安西班牙 and City |