No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1507-1507 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4075-4075 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3970-3970 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4077-4077 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4087-4087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4081-4081 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4532-4532 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4078-4078 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4085-4085 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4083-4083 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4082-4082 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4080-4080 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4079-4079 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2606-2606 |
西班牙巴塞羅那 是 西班牙 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1506-1506 |
例 西班牙巴塞羅那 and City |