No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2436-2436 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5544-5544 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5192-5192 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3655-3655 |
Vladikavkaz russia is a geographic subregion of russia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2435-2435 |
Vladikavkaz russia is an instance of city |