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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of sector composition of GDP in period is an instance of geopolitical area
(domain sectorCompositionOfGDPInPeriod 2 IndustryAttribute) Economy.kif 1057-1057 The number 2 argument of sector composition of GDP in period is an instance of industry attribute
(domain sectorCompositionOfGDPInPeriod 3 RealNumber) Economy.kif 1058-1058 The number 3 argument of sector composition of GDP in period is an instance of real number
(domainSubclass sectorCompositionOfGDPInPeriod 4 TimeInterval) Economy.kif 1059-1059 The number 4 argument of sector composition of GDP in period is a subclass of time interval
(instance sectorCompositionOfGDPInPeriod PPPBasedEconomicValuation) Economy.kif 1054-1054 sector composition of GDP in period is an instance of PPP based economic valuation
(instance sectorCompositionOfGDPInPeriod QuaternaryPredicate) Economy.kif 1055-1055 sector composition of GDP in period is an instance of quaternary predicate

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


(format ChineseLanguage sectorCompositionOfGDPInPeriod "%1 %n 是 对于 %3 和 %4 在 周期 %2 的 GDP sector 组成") domainEnglishFormat.kif 2235-2235
(format ChineseTraditionalLanguage sectorCompositionOfGDPInPeriod "%1 %n 是 對於 %3 和 %4 在 週期 %2 的 GDP sector 組成") domainEnglishFormat.kif 2234-2234
(format EnglishLanguage sectorCompositionOfGDPInPeriod "%1 is %n the sector composition of GDP in period %2 for %3 with %4") domainEnglishFormat.kif 2233-2233
(termFormat ChineseLanguage sectorCompositionOfGDPInPeriod "期间GDP的部门构成") domainEnglishFormat.kif 51888-51888
(termFormat ChineseTraditionalLanguage sectorCompositionOfGDPInPeriod "期間GDP的部門構成") domainEnglishFormat.kif 51887-51887
(termFormat EnglishLanguage sectorCompositionOfGDPInPeriod "sector composition of GDP in period") domainEnglishFormat.kif 51886-51886

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


(<=>
    (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION)))))		 Economy.kif 1086-1091 A geopolitical area is the sector composition of GDP in period an industry attribute for a real number with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area is sector composition of GDP the industry attribute for the real number holds during the time position
(=>
    (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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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