sectorCompositionOfGDPInPeriod - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1061-1065
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1056-1056	The number 1 argument of sector composition of GDP in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1057-1057	The number 2 argument of sector composition of GDP in period is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1058-1058	The number 3 argument of sector composition of GDP in period is an instance of real number
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1059-1059	The number 4 argument of sector composition of GDP in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1054-1054	sector composition of GDP in period is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1055-1055	sector composition of GDP in period is an instance of quaternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2231-2231
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2230-2230
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2229-2229
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51855-51855
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51854-51854
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51853-51853

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1107-1115	If a geopolitical area is the sector composition of GDP in period an industry attribute for a real number with a kind of time interval and the geopolitical area is totalGDP in period another real number an unit of measure(s) for a kind of time interval and a third real number is equal to the real number and the other real number, then the geopolitical area is sector value of GDP in period the industry attribute for the third real number the unit of measure(s) with the kind of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1067-1069	If a geopolitical area is the sector composition of GDP in period an industry attribute for a real number with a kind of time interval, then the real number is less than or equal to 1.0

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