holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2742-2747 | 地缘政治区域 对 正实数 和 有点 时距 在周期 另一个 地缘政治区域 由一部分 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正实数 由一部分 那个 另外 地缘政治区域 import 伙伴 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2704-2709 | 地缘政治区域 对于 正整数 和 有点 时距 在周期 另一个 地缘政治区域 由阶级 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正整数 由阶级 那个 另外 地缘政治区域 import 伙伴 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2674-2679 | 施事体 对于 有点 时距 在 周期 另一个 施事体 import 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 另外 施事体 是 那个 施事体 的 import 伙伴 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1318-1323 | 地缘政治区域 对于 有点 时距 在周期 非负实数 基于基尼指数 income 分配 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 非负实数 是 那个 地缘政治区域 基于基尼指数的 income 分配 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1949-1954 | 地缘政治区域 是 对于 有点 时距 在周期 实数 的 industrial 生产成率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 %industrial 生产速率 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1419-1424 | 按职业期间划分的劳动力比例 地缘政治区域, 属性, 实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1373-1378 | 地缘政治区域 是 对于 有点 时距 在周期 非负实数 的 labor 总力量 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 非负实数 是 那个 地缘政治区域 的 labor 总力量 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23308-23310 | 客体 对于 另一个 客体 在时间 时间位置 located 若且唯若 那个 客体 是 located 在 那个 另外 客体 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1233-1238 | 地缘政治区域 对于 有点 时距 在周期 实数 的 lowest 平分家庭收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 lowest 平分家庭收入 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22703-22705 | 自身连接物体 在 时间位置 时 是 群体 的 member 若且唯若 那个 自身连接物体 是 那个 群体 的 member 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Military.kif 1019-1024 | 地缘政治区域 是 对于 时距 在周期 实数 的 military 部分GDP支出 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 military 部分GDP支出 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Military.kif 980-985 | 地缘政治区域 是 对于 时距 在周期 货币测量 的 military 美元花费 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 military 在美元的花费 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1042-1047 | 地缘政治区域 是 对于 时距 在周期 货币测量 的 per 人头 GDP 若且唯若 有存在 时间位置 这样 那个 时间位置 是 那个 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 per 人头 GDP 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1184-1189 | 地缘政治区域 对于 有点 时距 在周期 实数 在贫困标准下的 population 部分 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 在贫困标准下的 population 部分 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1007-1012 | 地缘政治区域 是 对于 %3 在周期 %2 的 real GDP 的成长速率 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 实数 是 那个 地缘政治区域 的 real GDP 成长速率 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1086-1091 | 地缘政治区域 是 对于 实数 和 有点 时距 在 周期 行业属性 的 GDP sector 组成 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 那个 实数 的 GDP 那个 行业属性 sector 组成 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1129-1137 | 地缘政治区域 是 实数 测量单位 和 有点 时距 在 周期 行业属性 的 sector GDP 价值 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 那个 实数 那个 测量单位 的 sector GDP 价值 那个 行业属性 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 958-963 | 地缘政治区域 是 对于 有点 时距 在 周期 货币测量 的 totalGDP 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 total GDP 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1456-1461 | 地缘政治区域 是 对于 有点 时距 在周期 实数 地区的 unemployment 比例 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 是 对于 在地区 那个 实数 的 unemployment 比例 在 那个 时间位置 holdsDuring |
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 |