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 47074-47074 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47073-47073 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47072-47072 |