No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1969-1969 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5303-5303 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5305-5305 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5133-5133 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5304-5304 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5306-5306 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3132-3132 |
洛格羅尼奧西班牙 是 西班牙 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1968-1968 |
例 洛格羅尼奧西班牙 and City |