holdsDuring

-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2752-2757 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 2714-2719 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 2684-2689 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 1313-1318 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 1960-1965 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 1353-1358 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 1430-1435 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 1384-1389 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. Mid-level-ontology.kif 22731-22733 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 1228-1233 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. Mid-level-ontology.kif 22125-22127 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 1019-1024 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 980-985 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 1037-1042 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 1179-1184 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 1002-1007 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 1081-1086 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 1124-1132 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 953-958 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 1467-1472 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. Mid-level-ontology.kif 13521-13524
No TPTP formula. May not be expressible in strict first order. Government.kif 724-739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16271-16280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20077-20084
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18188-18194

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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