Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ListLengthFn
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 simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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