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 |
例 蘇拉威西島印度尼西亞 and City |