No TPTP formula. May not be expressible in strict first order.	Merge.kif 11381-11386	如果 转移 是 转移 的 instance 和 objectTransferred 那个 转移 and 客体 和 那个 客体2 在 那个 客体 的 上， 然后 objectTransferred 那个 转移 and 那个 客体2
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4247-4257	如果 客体 是 盆地 的 instance 和 另一个 客体 是 土地面积 的 instance 和 测量单位 是 UnitOfLength 的 instance 和 那个 客体 是 实数 那个 测量单位 above 地表 和 那个 另外 客体 是 另一个 实数 那个 测量单位 above 地表 和 那个 客体 在 那个 另外 客体 的 邻， 然后 那个 另外 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4206-4216	如果 自身连接物体 是 山前 的 instance 和 多山的地形 是 另一个 自身连接物体 的 attribute 和 那个 自身连接物体 在 那个 另外 自身连接物体 的 邻 和 测量单位 是 UnitOfLength 的 instance 和 那个 自身连接物体 的 height 是 实数 那个 测量单位 和 那个 另外 自身连接物体 的 height 是 另一个 实数 那个 测量单位， 然后 那个 另外 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3999-4010	如果 客体 是 地下区域 的 instance 和 测量单位 是 UnitOfLength 的 instance 和 那个 客体 是 实数 那个 测量单位 above 地表 和 自身连接物体 是 行星地球 的 surface 和 另一个 客体 是 那个 自身连接物体 的 part 和 那个 客体 在 那个 另外 客体 的 下面 和 那个 另外 客体 是 另一个 实数 那个 测量单位 above 地表， 然后 那个 另外 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4231-4241	如果 客体 是 谷 的 instance 和 另一个 客体 是 土地面积 的 instance 和 测量单位 是 UnitOfLength 的 instance 和 那个 客体 是 实数 那个 测量单位 above 地表 和 那个 另外 客体 是 另一个 实数 那个 测量单位 above 地表 和 那个 客体 在 那个 另外 客体 的 邻， 然后 那个 另外 实数 是 greaterThan 那个 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 863-872	如果 客体 在 地区 的 外 和 另一个 客体 是 那个 地区 的 perimeter 地区 的 instance 和 那个 另外 客体 是 均匀的周边区域 的 instance 和 那个 另外 客体 的 width 是 实数 测量单位 和 那个 客体 和 那个 地区 的 distance 是 另一个 实数 那个 测量单位 和 那个 测量单位 是 测量单位 的 instance 和 (那个 另外 实数 和 那个 实数) 是 greaterThan 0.0， 然后 那个 客体 不 是 located 在 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	Geography.kif 852-861	如果 客体 在 地区 的 外 和 另一个 客体 是 那个 地区 的 perimeter 地区 的 instance 和 那个 另外 客体 是 均匀的周边区域 的 instance 和 那个 另外 客体 的 width 是 实数 测量单位 和 那个 客体 和 那个 地区 的 distance 是 另一个 实数 那个 测量单位 和 那个 测量单位 是 测量单位 的 instance 和 (那个 另外 实数 和 那个 实数) 是 lessThanOrEqualTo 0.0， 然后 那个 客体 是 located 在 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16943-16951	如果 客体 在 另一个 客体 的 位置属性 和 @ROW 是 的相反 和 那个 位置属性 是 (@ROW) 的 member 和 另一个 位置属性 是 (@ROW) 的 member 和 那个 位置属性 不 equal 那个 另外 位置属性， 然后 那个 客体 不 在 那个 另外 客体 的 那个 另外 位置属性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18135-18140	如果 客体 在 另一个 客体 的 位置属性 和 那个 位置属性 是 位置属性 的 instance 和 另一个 位置属性 是 那个 位置属性 的 opposite 方向， 然后 那个 另外 客体 在 那个 客体 的 那个 另外 位置属性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16953-16957	如果 客体 在 另一个 客体 的 右 和 第三 客体 在 那个 另外 客体 的 左， 然后 那个 客体 在 那个 第三 客体 的 右
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15188-15209	如果 类 是 身体组织 的 subclass 和 另一个 类 是 身体组织 的 subclass 和 客体 是 那个 类 的 instance 和 另一个 客体 是 那个 另外 类 的 instance 和 第三 客体 是 人类 的 instance 和 那个 客体 是 那个 第三 客体 的 part 和 那个 另外 客体 是 那个 第三 客体 的 part 和 那个 类 不 equal 那个 另外 类 和 那个 类 不 是 那个 另外 类 的 subclass 和 那个 另外 类 不 是 那个 类 的 subclass 和 那个 客体 在 那个 另外 客体 的 邻， 然后 有存在 实体 这样 那个 实体 是 ConnectiveTissue 的 instance 和 那个 实体 是在 那个 客体 和 那个 另外 客体 between 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	如果 一个在 客体 的人 can see 有点 物理 和 那个 客体 是 房间 的 instance 和 另一个 客体 是 有点 物理 的 instance 和 那个 另外 客体 在 那个 客体 的 外， 然后 有存在 实体 和 另一个 实体 这样 那个 实体 是 人类 的 instance 和 那个 实体 是 located 在 那个 客体 和 那个 另外 实体 是 看 的 instance 和 那个 另外 客体 是 那个 另外 实体 的 patient 和 那个 实体 是 那个 另外 实体 的 agent 的声明 has 可能性 的语气
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2724-2744	如果 visibility 在 地区 期间 时距 是 实数 测量单位 和 那个 测量单位 是 测量单位 的 instance 和 那个 时距 是 一天的时间 的 instance 和 过程 是 看着 的 instance 和 客体 是 客体 的 instance 和 那个 客体 是 黑色 的 color 和 施事体 是 那个 过程 的 agent 和 那个 客体 是 那个 过程 的 patient 和 那个 施事体 在 那个 客体 的 横 和 那个 过程 是 located 在 那个 地区 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 客体 是 客体 的 instance， 然后 有存在 另一个 实数 这样 那个 施事体 和 那个 客体 的 distance 是 那个 另外 实数 那个 测量单位 和 那个 实数 是 greaterThan 那个 另外 实数
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2746-2767	如果 visibility 在 地区 期间 时距 是 实数 测量单位 和 那个 测量单位 是 测量单位 的 instance 和 那个 时距 是 晚上的时间 的 instance 和 过程 是 看着 的 instance 和 客体 是 地区 的 instance 和 发光的 是 那个 客体 的 attribute 和 那个 客体 的 measure 是 1000.0 坎德拉 和 施事体 是 那个 过程 的 agent 和 那个 客体 是 那个 过程 的 patient 和 那个 施事体 在 那个 客体 的 横 和 那个 过程 是 located 在 那个 地区 和 那个 过程 出现 的 time 在 那个 时距 时段内发生 和 那个 客体 是 客体 的 instance， 然后 有存在 另一个 实数 这样 那个 施事体 和 那个 客体 的 distance 是 那个 另外 实数 那个 测量单位 和 那个 实数 是 greaterThan 那个 另外 实数
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29789-29798	如果 客体 在 另一个 客体 的 下游， 然后 有存在 转移， 第三 客体， and 和 第四 客体 这样 那个 转移 是 转移 的 instance 和 液体 是 那个 第三 客体 的 attribute 和 那个 第四 客体%n是那个 转移发生的path 和 那个 另外 客体 是 那个 转移 的源头 和 beforeOnPath 那个 另外 客体, 那个 客体, 那个 第四 客体 and 那个 转移 和 那个 转移 在 那个 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29811-29820	如果 客体 在 另一个 客体 的 顺风， 然后 有存在 转移， 第三 客体， and 和 第四 客体 这样 那个 转移 是 转移 的 instance 和 液体 是 那个 第三 客体 的 attribute 和 那个 第四 客体%n是那个 转移发生的path 和 那个 另外 客体 是 那个 转移 的源头 和 beforeOnPath 那个 另外 客体, 那个 客体, 那个 第四 客体 and 那个 转移 和 那个 转移 在 那个 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29778-29787	如果 客体 在 另一个 客体 的 上游， 然后 有存在 转移， 第三 客体， and 和 第四 客体 这样 那个 转移 是 转移 的 instance 和 液体 是 那个 第三 客体 的 attribute 和 那个 第四 客体%n是那个 转移发生的path 和 那个 客体 是 那个 转移 的源头 和 beforeOnPath 那个 客体, 那个 另外 客体, 那个 第四 客体 and 那个 转移 和 那个 转移 在 那个 另外 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29800-29809	如果 客体 在 另一个 客体 的 上风， 然后 有存在 转移， 第三 客体， and 和 第四 客体 这样 那个 转移 是 转移 的 instance 和 液体 是 那个 第三 客体 的 attribute 和 那个 第四 客体%n是那个 转移发生的path 和 那个 客体 是 那个 转移 的源头 和 beforeOnPath 那个 客体, 那个 另外 客体, 那个 第四 客体 and 那个 转移 和 那个 转移 在 那个 另外 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9114-9116	如果 客体 在 另一个 客体 的 内， 然后 那个 另外 客体 是 地区 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9110-9112	如果 客体 在 另一个 客体 的 外， 然后 那个 另外 客体 是 地区 的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17101-17104	如果 客体 在 另一个 客体 的 以上， 然后 那个 客体 和 那个 另外 客体 不 是 connected
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19236-19247	如果 客体 在 另一个 客体 的 楼下， 然后 有存在 第三 客体， 第四 客体， and 和 第五 客体 这样 那个 第三 客体 是 建设水平 的 instance 和 那个 第四 客体 是 建设水平 的 instance 和 那个 第五 客体 是 建筑物 的 instance 和 那个 第三 客体 是 那个 第五 客体 的 part 和 那个 第四 客体 是 那个 第五 客体 的 part 和 那个 客体 是 located 在 那个 第三 客体 和 那个 另外 客体 是 located 在 那个 第四 客体 和 那个 第三 客体 在 那个 第四 客体 的 下面
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17176-17178	如果 客体 在 另一个 客体 的 内， 然后 那个 客体 是 located 在 那个 另外 客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17154-17157	如果 客体 在 另一个 客体 的 近， 然后 那个 客体 和 那个 另外 客体 不 是 connected
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17159-17161	如果 客体 在 另一个 客体 的 近， 然后 那个 另外 客体 在 那个 客体 的 近
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