|
|
   PPPBasedEconomicValuation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 967-976 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 965-965 | PPPBasedEconomicValuation e' uma sub-classe de Relacao |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1032-1032 | perCapitaGDP e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1019-1019 | perCapitaGDPInPeriod e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 996-996 | realGrowthRateOfGDP e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 983-983 | realGrowthRateOfGDPInPeriod e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1071-1071 | sectorCompositionOfGDP e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1054-1054 | sectorCompositionOfGDPInPeriod e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1117-1117 | sectorValueOfGDP e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1093-1093 | sectorValueOfGDPInPeriod e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 947-947 | totalGDP e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 934-934 | totalGDPInPeriod e' uma instancia de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47072-47072 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47071-47071 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47070-47070 |
|
|
|