No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2361-2361 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5793-5793 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5795-5795 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5797-5797 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5794-5794 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3566-3566 |
坦迪斯里兰卡 是 斯里兰卡 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2360-2360 |
坦迪斯里兰卡 是 城市 的 instance |