No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1935-1935 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3982-3982 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4145-4145 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4143-4143 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4144-4144 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3122-3122 |
Lile 魯塞法國 是 法國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1934-1934 |
例 Lile 魯塞法國 and City |