No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1865-1865 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4755-4755 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5052-5052 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5051-5051 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3019-3019 |
坎帕拉乌干达 是 乌干达 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1864-1864 |
坎帕拉乌干达 是 城市 的 instance |