No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2347-2347 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5518-5518 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5180-5180 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5520-5520 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5519-5519 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3554-3554 |
苏拉威西岛印度尼西亚 是 印度尼西亚 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2346-2346 |
苏拉威西岛印度尼西亚 是 城市 的 instance |