No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1525-1525 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3303-3303 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3422-3422 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3423-3423 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2624-2624 |
貝特埃爾西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1524-1524 |
例 貝特埃爾西岸 and City |