No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3337-3337 |
currencyType Mongolia and MongolianTugrik |
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 |
economyType Mongolia and CountryInTransition |
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 |
geographicSubregion Mongolia and NorthernAsia |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 560-560 |
Mongolia est une instance de nation |