sectorValueOfGDP |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage sectorValueOfGDP "%1 %n 是 对于 %3 的 sector GDP 价值 %2 ") | domainEnglishFormat.kif 2235-2235 | |
(format ChineseTraditionalLanguage sectorValueOfGDP "%1 %n 是 對於 %3 的 sector GDP 價值 %2 ") | domainEnglishFormat.kif 2234-2234 | |
(format EnglishLanguage sectorValueOfGDP "%1 is %n sector value of GDP %2 for %3") | domainEnglishFormat.kif 2233-2233 | |
(termFormat ChineseLanguage sectorValueOfGDP "GDP的行业价值") | domainEnglishFormat.kif 51861-51861 | |
(termFormat ChineseTraditionalLanguage sectorValueOfGDP "GDP的行業價值") | domainEnglishFormat.kif 51860-51860 | |
(termFormat EnglishLanguage sectorValueOfGDP "sector value of GDP") | domainEnglishFormat.kif 51859-51859 |
consequent |
(<=> (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 |