No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1441-1441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4073-4073 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4070-4070 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4074-4074 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4506-4506 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4071-4071 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3969-3969 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4072-4072 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2542-2542 |
安特卫普比利时 是 比利时 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1440-1440 |
安特卫普比利时 是 城市 的 instance |