No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2465-2465 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5588-5588 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5198-5198 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5585-5585 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5586-5586 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3686-3686 |
橫田日本 是 日本 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2464-2464 |
例 橫田日本 and City |