TreeView Knowledge Base Browser - sectorValueOfGDP

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

sectorValueOfGDP

Sigma KEE - sectorValueOfGDP

sectorValueOfGDP

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1123-1127
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1119-1119	The number 1 argument of sector value of GDP is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1120-1120	The number 2 argument of sector value of GDP is an instance of industry attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1121-1121	The number 3 argument of sector value of GDP is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1117-1117	sector value of GDP is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1118-1118	sector value of GDP is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2235-2235
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2234-2234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2233-2233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51861-51861
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51860-51860
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51859-51859

consequent

No TPTP formula. May not be expressible in strict first order.

Economy.kif 1129-1137

A geopolitical area is sector value of GDP in period an industry attribute for a real number an unit of measure(s) 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 value of GDP the industry attribute for the real number the unit of measure(s) holds during the time position

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