No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2392-2392 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10296-10296 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12006-12006 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12007-12007 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12008-12008 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12009-12009 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12010-12010 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3605-3605 |
托萨罗西班牙 是 西班牙 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2391-2391 |
托萨罗西班牙 是 城市 的 instance |