No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 727-727 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4923-4923 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5057-5057 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5055-5055 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5058-5058 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5056-5056 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5054-5054 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 726-726 |
堪萨斯城密苏里州 是 美国城市 的 instance |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 728-728 |
堪萨斯城密苏里州 是 密苏里州 的 part |