Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  sectorCompositionOfGDPInPeriod

Sigma KEE - sectorCompositionOfGDPInPeriod
sectorCompositionOfGDPInPeriod

appearance as argument number 1
-------------------------


(documentation sectorCompositionOfGDPInPeriod EnglishLanguage "(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) means that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes the amount ?FRACTION to the Gross National Product during the TimeInterval indicated by ?PERIOD.") Economy.kif 1061-1065
(domain sectorCompositionOfGDPInPeriod 1 GeopoliticalArea) Economy.kif 1056-1056 期间GDP的部门构成 的 1 数量 是 地缘政治区域instance
(domain sectorCompositionOfGDPInPeriod 2 IndustryAttribute) Economy.kif 1057-1057 期间GDP的部门构成 的 2 数量 是 行业属性instance
(domain sectorCompositionOfGDPInPeriod 3 RealNumber) Economy.kif 1058-1058 期间GDP的部门构成 的 3 数量 是 实数instance
(domainSubclass sectorCompositionOfGDPInPeriod 4 TimeInterval) Economy.kif 1059-1059 期间GDP的部门构成 的 4 数量 是 时距subclass
(instance sectorCompositionOfGDPInPeriod PPPBasedEconomicValuation) Economy.kif 1054-1054 期间GDP的部门构成基于PPP的经济估值instance
(instance sectorCompositionOfGDPInPeriod QuaternaryPredicate) Economy.kif 1055-1055 期间GDP的部门构成四元谓语instance

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners