No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1443-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5698-5698 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5595-5595 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2544-2544 |
Apumirac 秘魯 是 秘魯 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1442-1442 |
例 apumirac 秘魯 and City |