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

Formal Language: 



KB Term:  Term intersection
English Word: 

  sectorCompositionOfGDP

Sigma KEE - sectorCompositionOfGDP
sectorCompositionOfGDP

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


(documentation sectorCompositionOfGDP EnglishLanguage "(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION) means that in the GeopoliticalArea ?AREA, the economic sector ?SECTOR contributes the amount ?FRACTION to the Gross National Product.") Economy.kif 1077-1080
(domain sectorCompositionOfGDP 1 GeopoliticalArea) Economy.kif 1073-1073 行业组成的GDP 的 1 数量 是 地缘政治区域instance
(domain sectorCompositionOfGDP 2 IndustryAttribute) Economy.kif 1074-1074 行业组成的GDP 的 2 数量 是 行业属性instance
(domain sectorCompositionOfGDP 3 RealNumber) Economy.kif 1075-1075 行业组成的GDP 的 3 数量 是 实数instance
(instance sectorCompositionOfGDP PPPBasedEconomicValuation) Economy.kif 1071-1071 行业组成的GDP基于PPP的经济估值instance
(instance sectorCompositionOfGDP TernaryPredicate) Economy.kif 1072-1072 行业组成的GDP三元谓语instance

appearance as argument number 2
-------------------------


(format ChineseLanguage sectorCompositionOfGDP "%1 %n 是 对于 %3 的 GDP %2 sector 组成") domainEnglishFormat.kif 2227-2227
(format ChineseTraditionalLanguage sectorCompositionOfGDP "%1 %n 是 對於 %3 的 GDP %2 sector 組成") domainEnglishFormat.kif 2226-2226
(format EnglishLanguage sectorCompositionOfGDP "%1 is %n sector composition of GDP %2 for %3") domainEnglishFormat.kif 2225-2225
(termFormat ChineseLanguage sectorCompositionOfGDP "行业组成的GDP") domainEnglishFormat.kif 51849-51849
(termFormat ChineseTraditionalLanguage sectorCompositionOfGDP "行業組成的GDP") domainEnglishFormat.kif 51848-51848
(termFormat EnglishLanguage sectorCompositionOfGDP "sector composition ofGDP") domainEnglishFormat.kif 51847-51847

antecedent
-------------------------


(=>
    (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION)
    (lessThanOrEqualTo ?FRACTION 1.0))
Economy.kif 1082-1084

consequent
-------------------------


(<=>
    (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


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