No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2365-2365 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5526-5526 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5527-5527 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5528-5528 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3572-3572 |
特古西加尔巴洪都拉斯 是 洪都拉斯 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2364-2364 |
特古西加尔巴洪都拉斯 是 城市 的 instance |