|
|
   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 est une sous-classe de relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1032-1032 | perCapitaGDP est une instance de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1019-1019 | perCapitaGDPInPeriod est une instance de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 996-996 | realGrowthRateOfGDP est une instance de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 983-983 | realGrowthRateOfGDPInPeriod est une instance de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1071-1071 | sectorCompositionOfGDP est une instance de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1054-1054 | sectorCompositionOfGDPInPeriod est une instance de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1117-1117 | sectorValueOfGDP est une instance de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1093-1093 | sectorValueOfGDPInPeriod est une instance de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 947-947 | totalGDP est une instance de PPPBasedEconomicValuation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 934-934 | totalGDPInPeriod est une instance 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 |
|
|
|