No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1851-1851 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4916-4916 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5039-5039 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5038-5038 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3005-3005 |
Jullundur印度 是 印度 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1850-1850 |
Jullundur印度 是 城市 的 instance |