TreeView Knowledge Base Browser - totalGDPInPeriod

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

totalGDPInPeriod

Sigma KEE - totalGDPInPeriod

totalGDPInPeriod

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 940-945
No TPTP formula. May not be expressible in strict first order.	Economy.kif 936-936	The number 1 argument of totalGDP in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 937-937	The number 2 argument of totalGDP in period is an instance of currency measure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 938-938	The number 3 argument of totalGDP in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 934-934	totalGDP in period is an instance of PPP based economic valuation
No TPTP formula. May not be expressible in strict first order.	Economy.kif 935-935	totalGDP in period is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2499-2499
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2498-2498
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2497-2497
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58562-58562
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58561-58561
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58560-58560

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 958-963	A geopolitical area is totalGDP in period a currency measure for 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 currency measure is a total GDP of the geopolitical area 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

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