exists |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3260-3266 | 协议 employs 另一个 协议 若且唯若 有存在 有认知的主事 这样 那个 有认知的主事 有 雇用 的 attribute 和 那个 协议 是 那个 有认知的主事 的 party 协议 和 那个 另外 协议 是 那个 有认知的主事 的 party 协议 |
No TPTP formula. May not be expressible in strict first order. | People.kif 1547-1558 | 实数 percent 的人在 地理区域 是 民族群组 若且唯若 有存在 群体, 另一个 群体,, , 物理,, , 那个 物理2,, , 那个 实数1, and 和 那个 实数2 这样 那个 物理 是 located 在 那个 地理区域 和 那个 物理 是 那个 民族群组 的 member 和 那个 物理 是 那个 群体 的 member 和 那个 实数1 是 那个 群体 的 member 计数 和 那个 物理2 是 located 在 那个 地理区域 和 那个 物理2 是 那个 另外 群体 的 member 和 那个 实数2 是 那个 另外 群体 的 member 计数 和 那个 实数 和 100 equal 那个 实数1 和 那个 实数2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2549-2554 | 地缘政治区域 对 正实数 和 有点 时距 在周期 另一个 地缘政治区域 由部分 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正实数 由部分 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2511-2516 | 地缘政治区域 对 正整数 和 有点 时距 在周期 另一个 地缘政治区域 由阶级 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 地缘政治区域 对于 那个 正整数 由阶级 那个 另外 地缘政治区域 export 伙伴 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2387-2392 | 施事体 对于 有点 时距 在周期 另一个 施事体 export 伙伴 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 另外 施事体 是 那个 施事体 的 export 伙伴 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2775-2780 | 地缘政治区域 是 对于 有点 时距 在周期 货币测量 的 external 债务 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 货币测量 是 那个 地缘政治区域 的 external 债务 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1279-1284 | 实数 是对于 地缘政治区域 在周期 那个 实数 的 highest 平分家庭收入 若且唯若 有存在 时间位置 这样 那个 时间位置 是 有点 时距 的 instance 和 那个 实数 是 那个 地缘政治区域 的 highest 平分家庭收入 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30120-30128 | Barefoot 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 鞋 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30133-30141 | Naked 是 实体 的 attribute 在 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体 是 服装 的 instance 和 那个 实体 wears 那个 另外 实体 在 那个 时间位置 holdsDuring |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30211-30224 | Alone 是 实体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 那个 实体2 和 过程 这样 那个 实体 不 equal 那个 实体2 和 那个 实体2 是 施事体 的 instance 和 那个 过程 是 社交 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 实体 是事件 那个 过程 的 involved 和 那个 实体2 是事件 那个 过程 的 involved |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30259-30267 | Mute 是 施事体 的 attribute 在 时距 holdsDuring 若且唯若 不存在 过程 这样 那个 过程 是 说话 的 instance 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 施事体 是 那个 过程 的 agent |
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. | Mid-level-ontology.kif 11681-11688 | 客体 是 骨骼 的 instance 若且唯若 有存在 另一个 客体 这样 那个 另外 客体 是 骨架 的 instance 或 那个 另外 客体 是 外骨骼 的 instance 和 那个 客体 是 那个 另外 客体 的 part |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6477-6487 | 实体 是 共轭物质 的 instance 若且唯若 有存在 客体, 另一个 客体, and 和 过程 这样 那个 客体 是 复合物质 的 instance 和 那个 另外 客体 是 复合物质 的 instance 和 那个 客体 不 equal 那个 另外 客体 和 那个 过程 是 化学合成 的 instance 和 那个 客体 是 那个 过程 的 resource 和 那个 另外 客体 是 那个 过程 的 resource 和 那个 实体 是 那个 过程 的 result |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1321-1326 | 抵押 是 抵押 的 instance 若且唯若 有存在 金融账户 这样 那个 金融账户 是 担保贷款 的 instance 和 那个 抵押 是 那个 金融账户 的 secured |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8079-8084 | 地缘政治区域 是 市区 的 instance 若且唯若 有存在 另一个 地缘政治区域 这样 那个 另外 地缘政治区域 是 城市 的 instance 和 那个 地缘政治区域 是 那个 另外 地缘政治区域 的地缘政治部分 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 63-68 | 躯体性物体 是 电脑硬件 的 instance 若且唯若 有存在 另一个 躯体性物体 这样 那个 另外 躯体性物体 是 电脑 的 instance 和 那个 躯体性物体 是 那个 另外 躯体性物体 的 component |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1668-1673 | 性能指标 是 通胀指数 的 instance 若且唯若 有存在 抽象体 这样 那个 抽象体 是 Inflation 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1696-1701 | 抽象体 是 股票指数 的 instance 若且唯若 有存在 性能指标 这样 那个 性能指标 是 股票 的 instance 和 那个 性能指标 是 那个 抽象体 的 benchmark |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1348-1351 | 金融账户 是 担保贷款 的 instance 若且唯若 有存在 抵押 这样 那个 抵押 是 那个 金融账户 的 secured |
No TPTP formula. May not be expressible in strict first order. | Government.kif 108-115 | 机构 是 政府组织 的 instance 若且唯若 那个 机构 是 政府 的 instance 或 有存在 另一个 机构 这样 那个 另外 机构 是 政府 的 instance 和 那个 机构 是 那个 另外 机构 Organization 的一部分 |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |