sectorCompositionOfGDPInPeriod |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage sectorCompositionOfGDPInPeriod "%1 %n 是 对于 %3 和 %4 在 周期 %2 的 GDP sector 组成") | domainEnglishFormat.kif 2231-2231 | |
(format ChineseTraditionalLanguage sectorCompositionOfGDPInPeriod "%1 %n 是 對於 %3 和 %4 在 週期 %2 的 GDP sector 組成") | domainEnglishFormat.kif 2230-2230 | |
(format EnglishLanguage sectorCompositionOfGDPInPeriod "%1 is %n the sector composition of GDP in period %2 for %3 with %4") | domainEnglishFormat.kif 2229-2229 | |
(termFormat ChineseLanguage sectorCompositionOfGDPInPeriod "期间GDP的部门构成") | domainEnglishFormat.kif 51855-51855 | |
(termFormat ChineseTraditionalLanguage sectorCompositionOfGDPInPeriod "期間GDP的部門構成") | domainEnglishFormat.kif 51854-51854 | |
(termFormat EnglishLanguage sectorCompositionOfGDPInPeriod "sector composition of GDP in period") | domainEnglishFormat.kif 51853-51853 |
antecedent |
(<=> (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (exists (?TIME) (and (instance ?TIME ?PERIOD) (holdsDuring ?TIME (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1086-1091 | 地缘政治区域 是 对于 实数 和 有点 时距 在 周期 行业属性 的 GDP sector 组成 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 那个 实数 的 GDP 那个 行业属性 sector 组成 在 那个 时间位置 holdsDuring |
(=> (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 | |
(=> (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) (lessThanOrEqualTo ?FRACTION 1.0)) |
Economy.kif 1067-1069 |