No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3241-3241 |
currencyType Jordan and JordanianDinar |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1269-1269 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 664-664 |
economyType Jordan and DevelopingCountry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 280-280 |
economyType Jordan and LessDevelopedCountry |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 531-531 |
|
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 252-252 |
geographicSubregion Jordan and MiddleEastRegion |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 253-253 |
Jordan e' uma instancia de Nacao |