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 |