No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1495-1495 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5708-5708 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5701-5701 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5702-5702 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5597-5597 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5707-5707 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5709-5709 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2594-2594 |
Baku azerbaijan is a geographic subregion of azerbaijan |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1494-1494 |
Baku azerbaijan is an instance of city |