holdsDuring 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 27522757  A geopolitical area import partner by fraction in period another geopolitical area for a positive 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 import partner by fraction the other geopolitical area for the positive real number holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 27142719  A geopolitical area import partner by rank in period another geopolitical area for a positive integer 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 import partner by rank the other geopolitical area for the positive integer holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 26842689  An agent import partner in period another agent 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 other agent is an import partner of the agent holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 13131318  A geopolitical area income distribution by gini index in period a nonnegative real number 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 nonnegative real number is an income distribution by gini index of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 19601965  A geopolitical area is industrial production growth rate in period a real number 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 real number is an industrial production growth rate of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 13531358  A geopolitical area is inflation rate of consumer prices in period a real number 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 real number is an inflation rate of consumer prices of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 14301435  A geopolitical area labor force fraction by occupation in period an 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 labor force fraction by occupation the attribute for the real number holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 13841389  A geopolitical area is labor force total in period a nonnegative real number 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 nonnegative real number is a labor force total of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Midlevelontology.kif 2273122733  An object located at time a time position for another object if and only if the object is located at the other object holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 12281233  A geopolitical area lowest decile share of household income in period a real number 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 real number is a lowest decile share of household income of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Midlevelontology.kif 2212522127  A self connected object is a member of a collection during a time position if and only if the self connected object is a member of the collection holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Military.kif 10191024  A geopolitical area is military expenditures fraction ofGDP in period a real number for a time interval if and only if there exists a time position such that the time position is an instance of the time interval and the real number is a military expenditures fraction of GDP of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Military.kif 980985  A geopolitical area is military expenditures in US dollars in period a currency measure for a time interval if and only if there exists a time position such that the time position is an instance of the time interval and the currency measure is a military expenditures in US dollars of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 10371042  A geopolitical area is per capitaGDP in period a currency measure for a time interval if and only if there exists a time position such that the time position is an instance of the time interval and the currency measure is a per capitaGDP of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 11791184  A geopolitical area is population fraction below poverty line in period a real number 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 real number is a population fraction below poverty line of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 10021007  A geopolitical area is real growth rate of GDP in period a real number 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 real number is a real growth rate of GDP of the geopolitical area holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 10811086  A geopolitical area %is 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 11241132  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 
No TPTP formula. May not be expressible in strict first order.  Economy.kif 953958  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 14671472  A geopolitical area is unemployment rate of area in period a real number 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 geopolitical area is unemployment rate of area the real number for holds during the time position 
No TPTP formula. May not be expressible in strict first order.  Midlevelontology.kif 1352113524 

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

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

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

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

Display limited to 25 items. Show next 25  
Display limited to 25 items. Show next 25 