No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1819-1819 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4749-4749 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5004-5004 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5001-5001 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5002-5002 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2959-2959 |
伊茲密爾土耳其 是 火雞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1818-1818 |
例 伊茲密爾土耳其 and City |