No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3417-3417 |
currencyType Qatar and QatariRiyal |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1326-1326 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 699-699 |
economyType Qatar and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 315-315 |
economyType Qatar and LessDevelopedCountry |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 680-680 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 260-260 |
geographicSubregion Qatar and MiddleEastRegion |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 261-261 |
Qatar e' uma instancia de Nacao |