ListLengthFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ListLengthFn

ListLengthFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1967-1969
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3017-3020
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 599-601
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3014-3014	找出表列长度的函数的 1 数量是串列的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3013-3013	找出表列长度的函数是总值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3012-3012	找出表列长度的函数是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3015-3015	找出表列长度的函数的 range 是非负整数的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 265-265
No TPTP formula. May not be expressible in strict first order.	english_format.kif 270-270
No TPTP formula. May not be expressible in strict first order.	french_format.kif 151-151
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 168-168
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1979-1979
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 103-103
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 160-160
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 341-341
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 57-57
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 170-170
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 157-157
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 335-335
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34691-34691
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 266-266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34690-34690
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34689-34689
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 109-109
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 336-336

antecedent

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 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 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 1486-1497	如果实数 equal 方差均差函数另一个实数 and 串列和 1 equal 那个串列的长度，然后那个实数 equal (那个另外实数和那个串列的第 1 几个元素) 和 (那个另外实数和那个串列的第 1 几个元素)
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1453-1465	如果实数 equal 方差均差函数数字 and 串列和那个串列的长度是 greaterThan 1，然后那个实数 equal (方差均差函数那个数字 and 那个串列的第 1 几个元素和方差均差函数那个数字 and SubListFn 2, 那个串列的长度 and 那个串列)

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 357-390	年是那个年EAR year 的 instance 和地缘政治区域和那个年的 male 出生估计寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 403-436	年是整数 year 的 instance 和地缘政治区域和那个年的 female 出生预期寿命 equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 310-342	年是整数 year 的 instance 和地缘政治区域和那个年的出生预期 life equal 实数若且唯若有存在串列，另一个整数,，，符号串,，，实体,，，另一个实体， and 和第三实体这样那个串列是串列的 instance 和那个串列的长度是那个另外整数的 instance 和对所有那个串列ITEM 如果那个串列ITEM 是那个串列的 member，然后那个串列ITEM 是那个符号串的 instance 和不存在第五实体这样那个第五实体是那个符号串的 instance 和那个第五实体不是那个串列的 member 和那个另外整数 equal 那个符号串所描述的类别 instance 的数量和那个实数是那个串列的 average
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	实数是串列的 average 若且唯若有存在另一个串列和正整数这样那个另外串列的长度 equal 那个串列的长度和那个另外串列的第 1 几个元素 equal 那个串列的第 1 几个元素和对所有另一个正整数如果那个另外正整数是那个另外串列的 member，然后有存在另一个实数，那个另外实数MINUSONE,，，第三正整数， and 和第四正整数这样那个另外实数是 greaterThan 1 和那个另外实数是 lessThanOrEqualTo 那个另外串列的长度和那个另外串列的第那个另外正整数几个元素 equal 那个另外实数和那个第三正整数是那个串列的 member 和那个另外实数 equal 那个串列的第那个第三正整数几个元素和那个第四正整数是那个另外串列的 member 和那个另外实数MINUSONE equal (那个另外实数和 1) 和那个另外实数MINUSONE equal 那个另外串列的第那个第四正整数几个元素和那个另外正整数 equal (那个第三正整数和那个第四正整数) 和那个正整数 equal 那个另外串列的长度和那个实数 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 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 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 1475-1484	如果实数 equal 方差函数串列和另一个实数 equal AverageFn 那个串列，然后那个实数 equal 方差均差函数那个另外实数 and 那个串列和那个串列的长度
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1453-1465	如果实数 equal 方差均差函数数字 and 串列和那个串列的长度是 greaterThan 1，然后那个实数 equal (方差均差函数那个数字 and 那个串列的第 1 几个元素和方差均差函数那个数字 and SubListFn 2, 那个串列的长度 and 那个串列)
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3721-3739	如果 SearchResultsPage 是 SearchResultsPage 的 instance 和串列是 SRPResults 的 instance 和那个串列是那个 SearchResultsPage 的 component，然后符号串所描述的类别 instance 的数量和那个串列的长度 equal qualifying clicks 在那个 SearchResultsPage
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3048-3055	如果关系 % 有正整数 Argument 和那个关系是谓语的 instance，然后对所有 @ROW 如果那个关系 @ROW，然后 (@ROW) 的长度 equal 那个正整数
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3212-3217	如果串列的 last equal 实体，然后有存在正整数这样那个串列的长度 equal 那个正整数和那个串列的第那个正整数几个元素 equal 那个实体
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2223-2240	如果函数量 equal 地理区域地区在时距时段的 Mean10MinutesWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了10 分钟那么久的时间和 120 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2328-2345	如果函数量 equal 地理区域地区在时距时段的 Mean1MinuteWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了1 分钟那么久的时间和 12 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2293-2310	如果函数量 equal 地理区域地区在时距时段的 Mean2MinutesWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了2 分钟那么久的时间和 24 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2258-2275	如果函数量 equal 地理区域地区在时距时段的 Mean3MinutesWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 5 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了2 分钟那么久的时间和 36 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1904-1921	如果函数量 equal 地理区域地区在时距时段的 Mean3SecondWindSpeedFn，然后有存在另一个实体，第三实体,，，第四实体， and 和第五实体这样那个另外实体是地面风速量度串列的 instance 和那个另外实体在那个地理区域（发生） eventLocated 和（量度） Measuring 串列那个另外实体在 0.25 第二期的时间间隔发生和（量度）Measuring 串列 list 那个另外实体持续了3 第二期那么久的时间和 12 equal 那个另外实体的长度和那个第三实体是那个另外实体的（结果） result 和那个第四实体 equal PhysicalQuantityToNumberFn 得出一个串列的数字值是那个第三实体和那个函数量 equal AverageFn 那个第四实体那个第五实体在那个时距 holdsDuring

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 3037-3040	对所有 @ROW 和另一个实体 (@ROW 和那个另外实体) 的长度 equal ((@ROW) 的长度+1)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3042-3046	对所有 @ROW 和另一个实体 (@ROW 和那个另外实体) 的第 (@ROW 和那个另外实体) 的长度几个元素 equal 那个另外实体

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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