holdsDuring

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2742-2747 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 2704-2709 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 2674-2679 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 1318-1323 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 1949-1954 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 1419-1424 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 1373-1378 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 23308-23310 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 1233-1238 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 22703-22705 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 1042-1047 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 1184-1189 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 1007-1012 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 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 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
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 1456-1461 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 14055-14058
No TPTP formula. May not be expressible in strict first order. Government.kif 738-753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16852-16861
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20760-20767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18837-18843
No TPTP formula. May not be expressible in strict first order. Government.kif 714-719

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