No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2440-2440 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8784-8784 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9806-9806 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3659-3659 |
Volgodonsk russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2439-2439 |
Volgodonsk russia is an instance of city |