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

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


(format EnglishLanguage sectorCompositionOfGDPInPeriod "%1 %n{doesn't} sector composition ofGDP in period %2 for %3 with %4") domainEnglishFormat.kif 565-565
(termFormat EnglishLanguage sectorCompositionOfGDPInPeriod "sector composition ofGDP in period") domainEnglishFormat.kif 9066-9066 "sector composition ofGDP in period" is the printable form of sector composition ofGDP in period in english language

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


(<=>
    (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (sectorCompositionOfGDP ?AREA ?SECTOR ?AMOUNT)))))
Economy.kif 1082-1087 A geopolitical area sector composition ofGDP 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 sector composition ofGD p the industry attribute for the real number holds during the time position
(=>
    (and
        (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
        (totalGDPInPeriod ?AREA ?GDPAMOUNT ?PERIOD)
        (equal ?AMOUNT
            (MultiplicationFn ?FRACTION ?GDPAMOUNT)))
    (sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD))
Economy.kif 1103-1108
(=>
    (sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
    (lessThanOrEqualTo ?FRACTION 1.0))
Economy.kif 1063-1065


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners