No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2381-2381 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4386-4386 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4383-4383 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4382-4382 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4385-4385 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4042-4042 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4381-4381 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3592-3592 |
海牙荷蘭 是 荷蘭 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2380-2380 |
例 海牙荷蘭 and City |