|
|
   EconomicDevelopmentLevel
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 108-112 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8465-8465 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 106-106 | EconomicDevelopmentLevel e' uma sub-classe de EconomicAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 350-350 | AdvancedDevelopingCountry e' uma instancia de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 371-371 | FourDragonsEconomy e' uma instancia de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 755-755 | HighTechIndustrialEconomy e' uma instancia de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 399-399 | LeastDevelopedCountry e' uma instancia de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 737-737 | MajorIndustrialEconomy e' uma instancia de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 359-359 | NewlyIndustrializingEconomy e' uma instancia de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 392-392 | UnderdevelopedCountry e' uma instancia de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 515-515 | IMFDevelopmentLevel e' uma sub-classe de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 117-117 | UNEconomicDevelopmentLevel e' uma sub-classe de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 415-415 | WorldBankGNIPerCapitaLevel e' uma sub-classe de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21156-21156 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21155-21155 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21154-21154 |
|
|
|
