sectorValueOfGDPInPeriod |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage sectorValueOfGDPInPeriod "%1 %n 是 %3 和 %4 在 周期 %2 的 sector GDP 价值") | domainEnglishFormat.kif 2239-2239 | |
(format ChineseTraditionalLanguage sectorValueOfGDPInPeriod "%1 %n 是 %3 和 %4 在 週期 %2 的 sector GDP 價值") | domainEnglishFormat.kif 2238-2238 | |
(format EnglishLanguage sectorValueOfGDPInPeriod "%1 is %n sector value of GDP in period %2 for %3 with %4") | domainEnglishFormat.kif 2237-2237 | |
(termFormat ChineseLanguage sectorValueOfGDPInPeriod "期间GDP的部门价值") | domainEnglishFormat.kif 51867-51867 | |
(termFormat ChineseTraditionalLanguage sectorValueOfGDPInPeriod "期間GDP的部門價值") | domainEnglishFormat.kif 51866-51866 | |
(termFormat EnglishLanguage sectorValueOfGDPInPeriod "sector value of GDP in period") | domainEnglishFormat.kif 51865-51865 |
antecedent |
(<=> (sectorValueOfGDPInPeriod ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (sectorValueOfGDP ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT)))))) |
Economy.kif 1129-1137 | sectorValueOfGDPInPeriod Area Geopolitica, IndustryAttribute, Numero Real Unidade de Medida(s) and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal sectorValueOfGDP Area Geopolitica, IndustryAttribute and Numero Real Unidade de Medida(s) vale durante Posicao Temporal |
consequent |
(=> (and (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (totalGDPInPeriod ?AREA (MeasureFn ?GDPAMOUNT ?CUNIT) ?PERIOD) (equal ?AMOUNT (MultiplicationFn ?FRACTION ?GDPAMOUNT))) (sectorValueOfGDPInPeriod ?AREA ?SECTOR (MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)) |
Economy.kif 1107-1115 |
|