|
|
   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 est une sous-classe de EconomicAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 350-350 | AdvancedDevelopingCountry est une instance de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 371-371 | FourDragonsEconomy est une instance de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 755-755 | HighTechIndustrialEconomy est une instance de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 399-399 | LeastDevelopedCountry est une instance de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 737-737 | MajorIndustrialEconomy est une instance de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 359-359 | NewlyIndustrializingEconomy est une instance de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 392-392 | UnderdevelopedCountry est une instance de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 515-515 | IMFDevelopmentLevel est une sous-classe de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 117-117 | UNEconomicDevelopmentLevel est une sous-classe de EconomicDevelopmentLevel |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 415-415 | WorldBankGNIPerCapitaLevel est une sous-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 |
|
|
|
