No TPTP formula. May not be expressible in strict first order.	Merge.kif 18463-18468	如果 defaultValue 谓语, 正整数 and 数量 和 那个 谓语 @ARGS 和 另一个 实体 equal (@ARGS) 的第 那个 正整数 几个元素， 然后 那个 数量 equal 那个 另外 实体 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2806-2819	如果 公交专用道 的 distance 是 恒量 和 运输系统 是 那个 公交专用道 在系统里的 path 和 地区 是 那个 公交专用道 的 start 和 另一个 地区 是 那个 公交专用道 的 end 和 那个 运输系统 的 abstract counterpart 是 图路径 ， 然后 有存在 图， 图节点， and 和 另一个 图节点 这样 那个 图 是 那个 图路径 的 subGraph 和 那个 图节点 equal 那个 图路径 的开端 和 那个 另外 图节点 equal 那个 图路径 的末端 和 那个 地区 的 abstract counterpart 是 那个 图节点 和 那个 另外 地区 的 abstract counterpart 是 那个 另外 图节点
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	如果 客体 是 机构 的财产 的 element 和 AnnexRoom 是 那个 客体 的 attribute 和 那个 客体 是 HotelRoom 的 instance， 然后 有存在 另一个 客体， 第三 客体， and 和 另一个 机构 这样 那个 另外 机构 是 那个 机构 Organization 的一部分 和 那个 另外 机构 是 HotelFrontDesk 的 instance 和 那个 另外 机构 是 located 在 那个 另外 客体 和 那个 另外 客体 是 那个 机构 的财产 的 element 和 那个 第三 客体 是 那个 机构 的财产 的 element 和 那个 客体 是 那个 第三 客体 的 part 和 那个 另外 客体 不 equal 那个 第三 客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4966-4971	如果 圆 圈 的 center equal 几何点 和 那个 几何点2 是 那个 圈 的顶点 和 那个 几何点2 是 对于 长度测量 的 geometric 距离 那个 几何点 ， 然后 那个 圈 的 radius equal 那个 长度测量
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4861-4872	如果 @ROW 的最大公因数 equal 整数 和 那个 整数 不 equal 0， 然后 对所有 另一个 整数 如果 那个 另外 整数 是 (@ROW) 的 member， 然后 那个 另外 整数 模除 那个 整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4874-4888	如果 @ROW 的最大公因数 equal 整数 和 那个 整数 不 equal 0， 然后 不存在 另一个 整数 这样 那个 另外 整数 是 greaterThan 那个 整数 和 对所有 第三 整数 如果 那个 第三 整数 是 (@ROW) 的 member， 然后 那个 第三 整数 模除 那个 另外 整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4946-4956	如果 @ROW 的最小公倍数 equal 整数 和 那个 整数 不 equal 0， 然后 对所有 另一个 整数 如果 那个 另外 整数 是 (@ROW) 的 member， 然后 那个 整数 模除 那个 另外 整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4958-4972	如果 @ROW 的最小公倍数 equal 整数 和 那个 整数 不 equal 0， 然后 不存在 另一个 整数 这样 那个 另外 整数 是 lessThan 那个 整数 和 对所有 第三 整数 如果 那个 第三 整数 是 (@ROW) 的 member， 然后 那个 另外 整数 模除 那个 第三 整数 equal 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3219-3223	如果 串列 的长度 equal 正整数 和 那个 串列 的第 那个 正整数 几个元素 equal 实体， 然后 那个 串列 的 last equal 那个 实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5993-6006	如果 图路径 的值 equal 实数 和 图弧 是 那个 图路径 的 part 和 另一个 图弧 是 那个 图路径 的 part 和 那个 图弧 的值 是 另一个 实数 和 那个 另外 图弧 的值 是 第三 实数 和 对所有 图元素 如果 那个 图元素 是 那个 图路径 的 part， 然后 那个 图元素 equal 那个 图弧 或 那个 图元素 equal 那个 另外 图弧 ， 然后 那个 图路径 的值 equal (那个 另外 实数 和 那个 第三 实数)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5979-5991	如果 图路径 的值 equal 实数 和 另一个 图路径 是 那个 图路径 的 subGraph 和 图弧 是 那个 图路径 的 part 和 那个 图弧 的值 是 另一个 实数 和 对所有 图元素 如果 那个 图元素 是 那个 图路径 的 part， 然后 那个 图元素 是 那个 另外 图路径 的 part 或 那个 图元素 equal 那个 图弧 ， 然后 那个 实数 equal (那个 另外 图路径 的值 和 那个 另外 实数)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5130-5142	如果 整数 模除 另一个 整数 equal 第三 整数 和 那个 第三 整数 不 equal 0 和 那个 整数 不 equal 0 和 那个 另外 整数 不 equal 0， 然后 那个 另外 整数 的正或负值 equal 那个 第三 整数 的正或负值
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5104-5115	如果 整数 模除 另一个 整数 equal 第三 整数 和 那个 另外 整数 不 equal 0， 然后 (取 那个 整数 和 那个 另外 整数 的底整数 和 那个 另外 整数 和 那个 第三 整数) equal 那个 整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3277-3284	如果 实数 equal AverageFn 串列 和 那个 串列 的长度 是 greaterThan 0， 然后 那个 实数 equal ListSumFn 那个 串列 和 那个 串列 的长度
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3252-3256	如果 实数 equal ListSumFn 串列 和 1 equal 那个 串列 的长度， 然后 那个 实数 equal 那个 串列 的第 1 几个元素
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3258-3268	如果 实数 equal ListSumFn 串列 和 那个 串列 的长度 是 greaterThan 1， 然后 那个 实数 equal (那个 串列 的 first 和 ListSumFn SubListFn 2, 那个 串列 的长度 and 那个 串列)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 295-302	如果 串列 equal 另一个 串列 和 那个 串列 equal (@ROW1) 和 那个 另外 串列 equal (@ROW2)， 然后 (@ROW1) 的第 正整数 几个元素 equal (@ROW2) 的第 那个 正整数 几个元素
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3083-3102	如果 串列 equal List包含 另一个 串列 和 第三 串列 和 那个 另外 串列 不 equal 空列表 和 那个 第三 串列 不 equal 空列表 和 正整数 是 lessThanOrEqualTo 那个 另外 串列 的长度 和 另一个 正整数 是 lessThanOrEqualTo 那个 第三 串列 的长度 和 那个 正整数 是 正整数 的 instance 和 那个 另外 正整数 是 正整数 的 instance， 然后 那个 串列 的第 那个 正整数 几个元素 equal 那个 另外 串列 的第 那个 正整数 几个元素 和 那个 串列 的第 (那个 另外 串列 的长度 和 那个 另外 正整数) 几个元素 equal 那个 第三 串列 的第 那个 另外 正整数 几个元素
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1838-1845	如果 数字串列 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是 量度结果串列 和 物理量 equal 那个 量度结果串列 的第 正整数 几个元素 和 那个 正整数UM equal 那个 数字串列 的第 那个 正整数 几个元素， 然后 那个 正整数UM 测量单位 equal 那个 物理量
No TPTP formula. May not be expressible in strict first order.	Media.kif 3068-3089	如果 符号串 equal ReverseFn 另一个 符号串 和 非负整数 equal 那个 另外 符号串 的 length 和 那个 非负整数 是 greaterThan 1 和 另一个 非负整数 是 greaterThan 0 和 那个 另外 非负整数 是 lessThan 那个 非负整数 和 整数 equal 取(那个 非负整数 和 1) 和 2 的顶整数 和 那个 另外 非负整数EW equal ((那个 整数 和 那个 另外 非负整数) 和 那个 整数) 和 第三 符号串 equal 那个 另外 符号串 的 sub-string 从 那个 另外 非负整数 对于 (1 和 那个 另外 非负整数) ， 然后 那个 第三 符号串 equal 那个 符号串 的 sub-string 从 那个 另外 非负整数EW 对于 (1 和 那个 另外 非负整数EW)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3170-3177	如果 串列 equal SubListFn 整数, 另一个 整数 and 另一个 串列 和 (那个 另外 整数 和 那个 整数) equal 0， 然后 那个 串列 equal 空列表
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3179-3188	如果 串列 equal SubListFn 正整数, 整数 and 另一个 串列 和 (那个 整数 和 那个 正整数) equal 1， 然后 那个 串列 equal (那个 另外 串列 的第 那个 正整数 几个元素)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3190-3202	如果 串列 equal SubListFn 正整数, 整数 and 另一个 串列 和 (那个 整数 和 那个 正整数) 是 greaterThan 1， 然后 那个 串列 equal List包含 (那个 另外 串列 的第 那个 正整数 几个元素) 和 SubListFn (1 和 那个 正整数), 那个 整数 and 那个 另外 串列
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2005-2017	如果 串列 equal 在 时距 时间结束以前， 发生在区域 地理区域 的 Mean3SecondWindSpeedListFn (平均3秒风速表列) 和 函数量 是 那个 串列 的 member， 然后 有存在 那个 时距LIST 和 另一个 时距 这样 那个 时距LIST equal 那个 时距 的 3 第二期 ConsecutiveTimeIntervalList 是在 TimeIntervalListFn(时间间隔表列函数) 和 那个 另外 时距 是 那个 时距LIST 的 member 和 那个 函数量 equal 那个 地理区域地区在那个 另外 时距时段的 Mean3SecondWindSpeedFn
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1475-1484	如果 实数 equal 方差函数 串列 和 另一个 实数 equal AverageFn 那个 串列， 然后 那个 实数 equal 方差均差函数 那个 另外 实数 and 那个 串列 和 那个 串列 的长度
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