No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2438-2438 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5551-5551 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5193-5193 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5552-5552 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5553-5553 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5554-5554 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3657-3657 |
符拉迪沃斯托克俄羅斯 是 俄國 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2437-2437 |
例 符拉迪沃斯托克俄羅斯 and City |