No TPTP formula. May not be expressible in strict first order.	Geography.kif 378-380	物理 的 measure 是 实数 圆周角度 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧分
No TPTP formula. May not be expressible in strict first order.	Geography.kif 397-399	物理 的 measure 是 实数 弧分 若且唯若 那个 物理 的 measure 是 60.0 和 那个 实数 弧秒
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13326-13331	物理 的 measure 是 实数 OunceMass 若且唯若 那个 物理 的 measure 是 那个 实数 和 16.0 磅质量
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2548-2551	溶液 的 measure 是 实数 酸碱度 若且唯若 那个 实数 是 那个 溶液 的氢 potential
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.	Merge.kif 7596-7611	如果 amount 有点 物质, 躯体性物体 and 实数 UnitOfMass 和 有点 物质I 是 那个 有点 物质 的 instance 和 那个 有点 物质I 的 measure 是 那个 实数2 那个 UnitOfMass 和 那个 有点 物质I 是 那个 躯体性物体 的 part， 然后 有存在 串列 这样 那个 实数2 那个 UnitOfMass 是 那个 串列 的 member 和 那个 串列 equal AmountsFn 那个 有点 物质, 那个 躯体性物体 and 那个 UnitOfMass 和 那个 实数 equal ListSumFn 那个 串列
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	如果 1 的 approximate diameter 是 %2 和 客体 的 radius 是 实数 和 2.0 那个 实数M 和 那个 客体 的 measure 是 另一个 实数 另一个 测量单位 和 自身连接物体 的 measure 是 第三 实数 那个 另外 测量单位 和 那个 实数M 是 UnitOfLength 的 instance 和 那个 另外 测量单位 是 UnitOfVolume 的 instance， 然后 那个 另外 实数 equal 那个 第三 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	如果 实数 测量单位 是 地理区域 的 arable 土地 和 那个 实数 是 greaterThanOrEqualTo 0.0 和 另一个 实数 那个 测量单位 是 那个 地理区域 的 total 區域 和 那个 另外 实数 是 面积测量 的 instance 和 第三 实数 equal 那个 实数 和 那个 另外 实数， 然后 那个 第三 实数 那个 测量单位 是 那个 地理区域 的 arable 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	如果 实数 测量单位 是 地理区域 的 arable 土地 和 那个 实数 是 greaterThanOrEqualTo 0.0 和 另一个 实数 那个 测量单位 是 那个 地理区域 的 total 區域 和 那个 测量单位 是 UnitOfArea 的 instance， 然后 有存在 另一个 地理区域 这样 那个 另外 地理区域 是 耕地 的 instance 和 那个 另外 地理区域 是 那个 地理区域 的 geographic 次要地区 和 那个 另外 地理区域 的 measure 是 那个 实数 和 那个 另外 实数 那个 测量单位
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1165-1176	如果 FamilyStylePortion 是 客体 的 attribute 和 那个 客体 的 measure 是 实数 测量单位 和 FamilyStylePortion 不 是 另一个 客体 的 attribute 和 那个 另外 客体 的 measure 是 另一个 实数 那个 测量单位 和 那个 客体 是 类 的 instance 和 那个 另外 客体 是 那个 类 的 instance 和 那个 测量单位 是 测量单位 的 instance， 然后 那个 实数 是 greaterThan 那个 另外 实数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	如果 Anemia 是 客体 的 attribute 和 另一个 客体 是 血液 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 女 是 那个 客体 的 attribute 和 那个 另外 客体 的 measure 是 0.1 升 和 那个 客体E 是 Hemoglobin 的 instance 和 那个 客体E 是 那个 另外 客体 的 part 和 那个 客体E2 不 是 Hemoglobin 的 instance 和 那个 客体E 不 equal 那个 客体E2 和 那个 客体2 是 那个 另外 客体 的 part 和 那个 客体E 的 measure 是 实数 公克， 然后 那个 实数 是 lessThan 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	如果 Anemia 是 客体 的 attribute 和 另一个 客体 是 血液 的 instance 和 那个 另外 客体 是 那个 客体 的 part 和 男 是 那个 客体 的 attribute 和 那个 另外 客体 的 measure 是 0.1 升 和 那个 客体E 是 Hemoglobin 的 instance 和 那个 客体E 是 那个 另外 客体 的 part 和 那个 客体E2 不 是 Hemoglobin 的 instance 和 那个 客体E 不 equal 那个 客体E2 和 那个 客体2 是 那个 另外 客体 的 part 和 那个 客体E 的 measure 是 实数 公克， 然后 那个 实数 是 lessThan 13
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2008-2029	如果 限价订单 是 金融交易 的 attribute 和 协议 是 那个 金融交易 的 party 协议 和 经纪人 是 那个 协议 的 attribute 和 那个 金融交易 是 對於 安全 的 order 购买 和 那个 安全 的 measure 是 物理量 和 实数 测量单位 是 那个 金融交易 的 limit 价格 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 施事体 为了 那个 安全 asks 另一个 实数 那个 测量单位 和 那个 另外 实数 是 lessThanOrEqualTo 那个 实数， 然后 那个 协议 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2031-2052	如果 限价订单 是 金融交易 的 attribute 和 协议 是 那个 金融交易 的 party 协议 和 经纪人 是 那个 协议 的 attribute 和 那个 金融交易 是 對於 安全 的 order 出售 和 那个 安全 的 measure 是 物理量 和 实数 测量单位 是 那个 金融交易 的 limit 价格 和 施事体 bids 另一个 实数 那个 测量单位 對於 那个 安全 和 那个 测量单位 是 UnitOfCurrency 的 instance 和 那个 另外 实数 是 greaterThanOrEqualTo 那个 实数， 然后 那个 协议 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13841-13854	如果 实数 测量单位 是 有点 純物质 的 boiling 点 和 实体 是 有点 純物质 的 instance 和 那个 实体 的 measure 是 另一个 实数 那个 测量单位 在 时距 holdsDuring 和 那个 测量单位 是 UnitOfTemperature 的 instance 和 那个 另外 实数 是 greaterThanOrEqualTo 那个 实数， 然后 加油站 是 那个 实体 的 attribute 在 那个 时距 holdsDuring 或 有存在 过程 这样 那个 时距 时段 和 那个 过程 出现 的 time 重叠 和 那个 过程 是 沸腾 的 instance 和 那个 实体 是 那个 过程 的 patient
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1538-1544	如果 地缘政治区域 在周期 实数 测量单位 对于 有点 时距 的 capital 地区支出 和 1 对于 %3 在周期 %2 的 annual 地区消费， 然后 另一个 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1522-1530	如果 寒冷气候带 是 地理区域 地区的 climate 类别 和 对所有 时距 那个 时距 是 月 的 instance 和 1 对于 %3 在 %2 周期的 average 温度， 然后 10.0 是 greaterThan 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1370-1377	如果 沙漠气候区 是 地理区域 地区的 climate 类别 和 时距 是 月 的 instance 和 1 对于 %3 在 %2 周期的 average 温度 和 实数 是 greaterThan 18.0， 然后 亚热带沙漠气候区 是 那个 地理区域 地区的 climate 类别
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1597-1603	如果 极地型F气候区 是 地理区域 地区的 climate 类别 和 时间位置 是 时间位置 的 instance 和 实体 摄氏度 是 那个 地理区域 的 air 温度 在 那个 时间位置 holdsDuring， 然后 10.0 是 greaterThan 那个 实体 在 那个 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1419-1425	如果 温带气候区 是 地理区域 地区的 climate 类别 和 时距 是 月 的 instance 和 1 对于 %3 在 %2 周期的 average 温度， 然后 实数 是 greaterThanOrEqualTo -3.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1316-1323	如果 热带气候区 是 地理区域 地区的 climate 类别 和 月 是 月 的 instance 和 那个 地理区域 对于 实数 仪表 的千分之一 在 那个 月 周期的 average 降雨量 和 那个 实数 是 greaterThanOrEqualTo 60.0， 然后 湿热带气候区 是 那个 地理区域 地区的 climate 类别
No TPTP formula. May not be expressible in strict first order.	Geography.kif 659-669	如果 地理区域 comparative 地区 BinaryRelationExtendedToQuantities 对于 正实数 跟 另一个 地理区域 在一起 和 测量单位 是 UnitOfArea 的 instance 和 那个 地理区域 的 measure 是 实数 那个 测量单位 和 那个 另外 地理区域 的 measure 是 另一个 实数 那个 测量单位， 然后 那个 BinaryRelationExtendedToQuantities 那个 实数 那个 测量单位 and 那个 正实数 和 那个 另外 实数 那个 测量单位
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 234-249	如果 concentration 实数 测量单位, 有点 物质, 另一个 实数 那个 测量单位2 and 混合物 和 有点 物质I 是 那个 有点 物质 的 instance 和 那个 有点 物质I 是 那个 混合物 的 part 和 那个 有点 物质I 的 measure 是 第三 实数 那个 测量单位3 和 那个 有点 物质I 是 那个 混合物 的 part 和 那个 有点 物质I2 不 是 那个 有点 物质 的 instance 和 那个 有点 物质I 不 equal 那个 有点 物质IE2 和 那个 有点 物质I2 是 那个 混合物 的 part 和 那个 混合物 的 measure 是 那个 另外 实数 那个 测量单位2， 然后 approximateValue 那个 实数 and 那个 第三 实数
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 783-788	如果 金融账户 对于 %3 的 current 帐户存款 和 实数 是 lessThan 0 和 另一个 实数 equal (0 和 那个 实数)， 然后 那个 金融账户 是 对于 日 的 overdraft 那个 另外 实数 美国美元
No TPTP formula. May not be expressible in strict first order.	Cars.kif 809-825	如果 dampingRatio 物理系统 and 实数 和 那个 实数 是 greaterThan 0 和 时距 是 震 的 instance 和 那个 物理系统 是 那个 时距 的 patient 和 实体 是 UnitOfLength 的 instance 和 physicalAmplitude 那个 时距 and 另一个 实数 那个 实体 在 那个 时距1 holdsDuring 和 physicalAmplitude 那个 时距 and 第三 实数 那个 实体 在 那个 时距2 holdsDuring 和 那个 时距1 在 那个 时距 时段内发生 和 那个 时距2 在 那个 时距 时段内发生 和 那个 时距1 比那个 时距2发生的earlier， 然后 那个 另外 实数 是 greaterThan 那个 第三 实数
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