No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1899-1899 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5753-5753 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5752-5752 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5751-5751 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5754-5754 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3059-3059 |
喀土穆苏丹 是 苏丹 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1898-1898 |
喀土穆苏丹 是 城市 的 instance |