No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1789-1789 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3522-3522 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3524-3524 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3523-3523 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3333-3333 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2917-2917 |
希伯倫西岸 是 西方銀行 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1788-1788 |
例 希伯倫西岸 and City |