No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3337-3337 |
Mongolian tugrik is a currency type of mongolia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1299-1299 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 591-591 |
Country in transition is an economy type of mongolia |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 602-602 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 559-559 |
Mongolia is a geographic subregion of northern asia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 560-560 |
Mongolia is an instance of nation |