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
ListOrderFn
Sigma KEE - ListOrderFn
ListOrderFn
appearance as argument number 1
(
documentation
ListOrderFn
ChineseLanguage
"(
ListOrderFn
?LIST ?NUMBER) 表示在 ?LIST
List
第?NUMBER个位置的项目。例如: (
ListOrderFn
(
ListFn
Monday
Tuesday
Wednesday
) 2) 交出的值会是
Tuesday
。")
chinese_format.kif 1964-1966
(
documentation
ListOrderFn
EnglishLanguage
"(
ListOrderFn
?LIST ?NUMBER) denotes the item that is in the ?NUMBER position in the
List
?LIST. For example, (
ListOrderFn
(
ListFn
Monday
Tuesday
Wednesday
) 2) would return the value
Tuesday
.")
Merge.kif 2981-2984
(
documentation
ListOrderFn
JapaneseLanguage
"(
ListOrderFn
?LIST ?NUMBER) は、
List
?LIST の?NUMBER の位置にある項目を示す。例:(
ListFn
Monday
Tuesday
Wednesday
) 2) は、
Tuesday
の値を返す。")
japanese_format.kif 596-598
(
domain
ListOrderFn
1
List
)
Merge.kif 2977-2977
找出表列顺序的函数
的 1 数量 是
串列
的
instance
(
domain
ListOrderFn
2
PositiveInteger
)
Merge.kif 2978-2978
找出表列顺序的函数
的 2 数量 是
正整数
的
instance
(
instance
ListOrderFn
BinaryFunction
)
Merge.kif 2975-2975
找出表列顺序的函数
是
二元函数
的
instance
(
instance
ListOrderFn
PartialValuedRelation
)
Merge.kif 2976-2976
找出表列顺序的函数
是
部分值关系
的
instance
(
range
ListOrderFn
Entity
)
Merge.kif 2979-2979
找出表列顺序的函数
的
range
是
实体
的实例
appearance as argument number 2
(
format
ChineseLanguage
ListOrderFn
"%1 的第 %2 几个元素")
chinese_format.kif 263-263
(
format
EnglishLanguage
ListOrderFn
"%2th
element
of %1")
english_format.kif 268-268
(
format
FrenchLanguage
ListOrderFn
"%2th �lement de %1")
french_format.kif 150-150
(
format
ItalianLanguage
ListOrderFn
"%2th
element
o di %1")
relations-it.txt 169-169
(
format
JapaneseLanguage
ListOrderFn
"%1 の %2th
element
")
japanese_format.kif 1978-1978
(
format
PortugueseLanguage
ListOrderFn
"%2th
element
o de %1")
portuguese_format.kif 102-102
(
format
cz
ListOrderFn
"%2th
element
of %1")
relations-cz.txt 159-159
(
format
de
ListOrderFn
"%2te mitglied von %1")
relations-de.txt 338-338
(
format
hi
ListOrderFn
"%1 kaa ghaTaka sankhyaa %2")
relations-hindi.txt 207-207
(
format
ro
ListOrderFn
"%2th
element
%t{element} al lui %1")
relations-ro.kif 169-169
(
format
sv
ListOrderFn
"%2:a
element
et i %1")
relations-sv.txt 156-156
(
format
tg
ListOrderFn
"%2th
element
o ng %1")
relations-tg.txt 337-337
(
termFormat
ChineseLanguage
ListOrderFn
"找出表列顺序的函数")
chinese_format.kif 264-264
(
termFormat
ChineseLanguage
ListOrderFn
"清单顺序")
domainEnglishFormat.kif 34697-34697
(
termFormat
ChineseTraditionalLanguage
ListOrderFn
"清單順序")
domainEnglishFormat.kif 34696-34696
(
termFormat
EnglishLanguage
ListOrderFn
"list order")
domainEnglishFormat.kif 34695-34695
(
termFormat
de
ListOrderFn
"ListeOrdnungFn")
terms-de.txt 108-108
(
termFormat
tg
ListOrderFn
"tungkulin ng talaan utos1")
relations-tg.txt 338-338
antecedent
(=>
(
and
(
contraryAttribute
@ROW)
(
equal
?ATTR1
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER1))
(
equal
?ATTR2
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER2))
(
not
(
equal
?NUMBER1 ?NUMBER2))
(
property
?OBJ ?ATTR1))
(
not
(
property
?OBJ ?ATTR2)))
Merge.kif 476-484
如果 @ROW 是 的相反 和
属性
equal
(@ROW) 的第
正整数
几个元素 和
另一个 属性
equal
(@ROW) 的第
另一个 正整数
几个元素 和
那个 正整数
不
equal
那个 另外 正整数
和
另一个 实体
有
那个 属性
的
attribute
,
然后
那个 另外 实体
不 有
那个 另外 属性
的
attribute
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18446-18451
如果
defaultMaxValue
谓语
,
正整数
and
数量
和
那个 谓语
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 数量
是
greaterThan
那个 另外 实体
的声明 has
容易
的语气
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18429-18434
如果
defaultMinValue
谓语
,
正整数
and
数量
和
那个 谓语
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 另外 实体
是
greaterThan
那个 数量
的声明 has
容易
的语气
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18463-18468
如果
defaultValue
谓语
,
正整数
and
数量
和
那个 谓语
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 数量
equal
那个 另外 实体
的声明 has
容易
的语气
(=>
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))
(
equal
(
LastFn
?LIST) ?ITEM))
Merge.kif 3219-3223
如果
串列
的长度
equal
正整数
和
那个 串列
的第
那个 正整数
几个元素
equal
实体
,
然后
那个 串列
的
last
equal
那个 实体
(=>
(
and
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?QLIST))
(
equal
?QUANT
(
ListOrderFn
?QLIST ?N))
(
equal
?NUM
(
ListOrderFn
?NLIST ?N)))
(
equal
(
MeasureFn
?NUM ?UNIT) ?QUANT))
Weather.kif 1838-1845
如果
数字串列
equal
PhysicalQuantityToNumberFn
得出一个串列的数字值是
量度结果串列
和
物理量
equal
那个 量度结果串列
的第
正整数
几个元素 和
那个 正整数
UM
equal
那个 数字串列
的第
那个 正整数
几个元素,
然后
那个 正整数
UM
测量单位
equal
那个 物理量
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
equal
?X ?Y))
Media.kif 2106-2113
如果 那只能是 1
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素 和
第三 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 另外 实体
equal
那个 第三 实体
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
如果 那只能是 1
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后 不存在
第三 实体
这样
那个 第三 实体
equal
(@ARGS) 的第
那个 正整数
几个元素 和
那个 另外 实体
不
equal
那个 第三 实体
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
如果 @ROW 的
region
方向属性
是
地区
的
instance
和 (@ROW) 的第 1 几个元素
equal
实数
圆周角度
,
然后
那个 实数
是
lessThanOrEqualTo
90.0
(=>
(
and
(
instance
(
LongitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 180.0))
Geography.kif 467-474
如果 在 @ROW
方向属性
的
meridian
是
地区
的
instance
和 (@ROW) 的第 1 几个元素
equal
实数
圆周角度
,
然后
那个 实数
是
lessThanOrEqualTo
180.0
(=>
(
and
(
instance
?LIST
ConsecutiveTimeIntervalList
)
(
equal
?T1
(
ListOrderFn
?LIST ?N))
(
equal
?T2
(
ListOrderFn
?LIST
(
AdditionFn
?N 1))))
(
equal
(
BeginFn
?T2)
(
EndFn
?T1)))
Weather.kif 1935-1944
如果
串列
是
连续时间间隔表列
的
instance
和
时距
equal
那个 串列
的第
正整数
几个元素 和
另一个 时距
equal
那个 串列
的第 (
那个 正整数
和 1) 几个元素,
然后
那个 另外 时距
的开始
equal
那个 时距
的结束
(=>
(
and
(
measuringResult
?MLIST ?RLIST)
(
equal
?M
(
ListOrderFn
?MLIST ?N))
(
equal
?R
(
ListOrderFn
?RLIST ?N)))
(
result
?M ?R))
Weather.kif 1806-1811
如果
量度结果串列
是
量度串列
的(结果)
result
和
过程
equal
那个 量度串列
的第
正整数
几个元素 和
实体
equal
那个 量度结果串列
的第
那个 正整数
几个元素,
然后
那个 实体
是
那个 过程
的
result
(=>
(
and
(
processList
@ROW)
(
inList
?Process1
(
ListFn
@ROW))
(
inList
?Process2
(
ListFn
@ROW))
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number1) ?Process1)
(
equal
(
ListOrderFn
(
ListFn
@ROW) ?Number2) ?Process2)
(
lessThan
?Number1 ?Number2))
(
earlier
(
WhenFn
?Process1)
(
WhenFn
?Process2)))
QoSontology.kif 694-710
如果 @ROW
processes
的
list
和
物理
是 (@ROW) 的
member
和
另一个 物理
是 (@ROW) 的
member
和 (@ROW) 的第
正整数
几个元素
equal
那个 物理
和 (@ROW) 的第
另一个 正整数
几个元素
equal
那个 另外 物理
和
那个 正整数
是
lessThan
那个 另外 正整数
,
然后
那个 物理
出现 的
time
比
那个 另外 物理
出现 的
time
发生的
earlier
(=>
(
and
(
viewedItemList
?USER ?LIST)
(
instance
?ACCESSING1
AccessingWebPage
)
(
instance
?ACCESSING2
AccessingWebPage
)
(
agent
?ACCESSING1 ?USER)
(
agent
?ACCESSING2 ?USER)
(
instance
?INDEX1
PositiveInteger
)
(
instance
?INDEX2
PositiveInteger
)
(
equal
(
ListOrderFn
?LIST ?INDEX1) ?ACCESSING1)
(
equal
(
ListOrderFn
?LIST ?INDEX2) ?ACCESSING2)
(
greaterThan
?INDEX1 ?INDEX2))
(
earlier
(
WhenFn
?ACCESSING2)
(
WhenFn
?ACCESSING1)))
UXExperimentalTerms.kif 799-817
如果
串列
是样品清单
viewed
由
施事体
和
过程
是
AccessingWebPage
的
instance
和
另一个 过程
是
AccessingWebPage
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 施事体
是
那个 另外 过程
的
agent
和
正整数
是
正整数
的
instance
和
另一个 正整数
是
正整数
的
instance
和
那个 串列
的第
那个 正整数
几个元素
equal
那个 过程
和
那个 串列
的第
那个 另外 正整数
几个元素
equal
那个 另外 过程
和
那个 正整数
是
greaterThan
那个 另外 正整数
,
然后
那个 另外 过程
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
consequent
(<=>
(
average
?LIST1 ?AVERAGE)
(
exists
(?LIST2 ?LASTPLACE)
(
and
(
equal
(
ListLengthFn
?LIST2)
(
ListLengthFn
?LIST1))
(
equal
(
ListOrderFn
?LIST2 1)
(
ListOrderFn
?LIST1 1))
(
forall
(?ITEMFROM2)
(=>
(
inList
?ITEMFROM2 ?LIST2)
(
exists
(?POSITION ?POSITIONMINUSONE ?ITEMFROM1 ?PRIORFROM2)
(
and
(
greaterThan
?POSITION 1)
(
lessThanOrEqualTo
?POSITION
(
ListLengthFn
?LIST2))
(
equal
(
ListOrderFn
?LIST2 ?ITEMFROM2) ?POSITION)
(
inList
?ITEMFROM1 ?LIST1)
(
equal
?POSITION
(
ListOrderFn
?LIST1 ?ITEMFROM1))
(
inList
?PRIORFROM2 ?LIST2)
(
equal
?POSITIONMINUSONE
(
SubtractionFn
?POSITION 1))
(
equal
?POSITIONMINUSONE
(
ListOrderFn
?LIST2 ?PRIORFROM2))
(
equal
?ITEMFROM2
(
AdditionFn
?ITEMFROM1 ?PRIORFROM2))))))
(
equal
?LASTPLACE
(
ListLengthFn
?LIST2))
(
equal
?AVERAGE
(
DivisionFn
(
ListOrderFn
?LIST2 ?LASTPLACE) ?LASTPLACE)))))
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
那个 另外 串列
的第
那个 正整数
几个元素 和
那个 正整数
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
instance
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2998-3003
如果
关系
的
正整数
数量 是
类
的
instance
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ROW,
然后 (@ROW) 的第
那个 正整数
几个元素 是
那个 类
的
instance
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
如果
关系
的
正整数
数量 是
类
的
subclass
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ROW,
然后 (@ROW) 的第
那个 正整数
几个元素 是
那个 类
的
subclass
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?A
(
ListOrderFn
?L 1)))
Merge.kif 3252-3256
如果
实数
equal
ListSumFn
串列
和 1
equal
那个 串列
的长度,
然后
那个 实数
equal
那个 串列
的第 1 几个元素
(=>
(
and
(
equal
?LIST1 ?LIST2)
(
equal
?LIST1
(
ListFn
@ROW1))
(
equal
?LIST2
(
ListFn
@ROW2)))
(
equal
(
ListOrderFn
(
ListFn
@ROW1) ?NUMBER)
(
ListOrderFn
(
ListFn
@ROW2) ?NUMBER)))
Merge.kif 295-302
如果
串列
equal
另一个 串列
和
那个 串列
equal
(@ROW1) 和
那个 另外 串列
equal
(@ROW2),
然后 (@ROW1) 的第
正整数
几个元素
equal
(@ROW2) 的第
那个 正整数
几个元素
(=>
(
and
(
equal
?LIST3
(
ListConcatenateFn
?LIST1 ?LIST2))
(
not
(
equal
?LIST1
NullList
))
(
not
(
equal
?LIST2
NullList
))
(
lessThanOrEqualTo
?NUMBER1
(
ListLengthFn
?LIST1))
(
lessThanOrEqualTo
?NUMBER2
(
ListLengthFn
?LIST2))
(
instance
?NUMBER1
PositiveInteger
)
(
instance
?NUMBER2
PositiveInteger
))
(
and
(
equal
(
ListOrderFn
?LIST3 ?NUMBER1)
(
ListOrderFn
?LIST1 ?NUMBER1))
(
equal
(
ListOrderFn
?LIST3
(
AdditionFn
(
ListLengthFn
?LIST1) ?NUMBER2))
(
ListOrderFn
?LIST2 ?NUMBER2))))
Merge.kif 3083-3102
如果
串列
equal
List
包含
另一个 串列
和
第三 串列
和
那个 另外 串列
不
equal
空列表
和
那个 第三 串列
不
equal
空列表
和
正整数
是
lessThanOrEqualTo
那个 另外 串列
的长度 和
另一个 正整数
是
lessThanOrEqualTo
那个 第三 串列
的长度 和
那个 正整数
是
正整数
的
instance
和
那个 另外 正整数
是
正整数
的
instance
,
然后
那个 串列
的第
那个 正整数
几个元素
equal
那个 另外 串列
的第
那个 正整数
几个元素 和
那个 串列
的第 (
那个 另外 串列
的长度 和
那个 另外 正整数
) 几个元素
equal
那个 第三 串列
的第
那个 另外 正整数
几个元素
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
如果
串列
equal
SubListFn
正整数
,
整数
and
另一个 串列
和 (
那个 整数
和
那个 正整数
)
equal
1,
然后
那个 串列
equal
(
那个 另外 串列
的第
那个 正整数
几个元素)
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
greaterThan
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListConcatenateFn
(
ListFn
(
ListOrderFn
?L ?S))
(
SubListFn
(
AdditionFn
1 ?S) ?E ?L))))
Merge.kif 3190-3202
如果
串列
equal
SubListFn
正整数
,
整数
and
另一个 串列
和 (
那个 整数
和
那个 正整数
) 是
greaterThan
1,
然后
那个 串列
equal
List
包含 (
那个 另外 串列
的第
那个 正整数
几个元素) 和
SubListFn
(1 和
那个 正整数
),
那个 整数
and
那个 另外 串列
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?VA
(
MultiplicationFn
(
SubtractionFn
?M
(
ListOrderFn
?L 1))
(
SubtractionFn
?M
(
ListOrderFn
?L 1)))))
Weather.kif 1486-1497
如果
实数
equal
方差均差函数
另一个 实数
and
串列
和 1
equal
那个 串列
的长度,
然后
那个 实数
equal
(
那个 另外 实数
和
那个 串列
的第 1 几个元素) 和 (
那个 另外 实数
和
那个 串列
的第 1 几个元素)
(=>
(
and
(
equal
?VA
(
VarianceAverageFn
?M ?L))
(
greaterThan
(
ListLengthFn
?L) 1))
(
equal
?VA
(
AdditionFn
(
VarianceAverageFn
?M
(
ListOrderFn
?L 1))
(
VarianceAverageFn
?M
(
SubListFn
2
(
ListLengthFn
?L) ?L)))))
Weather.kif 1453-1465
如果
实数
equal
方差均差函数
数字
and
串列
和
那个 串列
的长度 是
greaterThan
1,
然后
那个 实数
equal
(
方差均差函数
那个 数字
and
那个 串列
的第 1 几个元素 和
方差均差函数
那个 数字
and
SubListFn
2,
那个 串列
的长度 and
那个 串列
)
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
)
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))
Media.kif 2093-2103
如果 那只能是 1
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后 不存在
第三 实体
这样
那个 第三 实体
equal
(@ARGS) 的第
那个 正整数
几个元素 和
那个 另外 实体
不
equal
那个 第三 实体
(=>
(
and
(
exactCardinality
?REL ?ARG 1)
(
instance
?REL
Predicate
))
(
exists
(?X @ARGS)
(
and
(?REL @ARGS)
(
equal
?X
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
exists
(?Y)
(
and
(
equal
?Y
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))
(
not
(
equal
?X ?Y))))))))
Media.kif 2075-2090
如果 那只能是 1
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
,
然后 有存在
实体
和 @ARGS 这样
那个 关系
@ARGS 和
那个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素 和 不存在
第三 实体
这样
那个 第三 实体
equal
(@ARGS) 的第
那个 正整数
几个元素 和
那个 实体
不
equal
那个 第三 实体
(=>
(
and
(
exactCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
equal
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2137-2150
如果 那只能是
整数
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
,
然后 有存在
类
,
实体
, and 和 @ARGS 这样
那个 类
是
集或类
的
instance
和
如果
那个 关系
@ARGS 和
那个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 实体
是
那个 类
的
instance
和
那个 类
instance
的数量
equal
那个 整数
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
如果
串列
是
串列
的
instance
和
那个 串列
不
equal
空列表
,
然后
那个 串列
的
first
equal
那个 串列
的第 1 几个元素
(=>
(
and
(
instance
?SEO
SEO
)
(
patient
?SEO ?PAGE))
(
hasPurpose
?SEO
(
exists
(?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BEFORE ?AFTER ?BM1 ?BM2)
(
and
(
instance
?SRPRESULT_BEFORE
SRPResults
)
(
instance
?SRPRESULT_AFTER
SRPResults
)
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_BEFORE ?BEFORE))
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_AFTER ?AFTER))
(
instance
?BM1
BestMatchAlgorithm
)
(
instance
?BM2
BestMatchAlgorithm
)
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?SEO)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?SEO))
(
greaterThan
?BEFORE ?AFTER)))))
UXExperimentalTerms.kif 2388-2404
如果
过程
是
SEO
的
instance
和
实体
是
那个 过程
的
patient
,
然后
那个 过程
的 目的 是 有存在
另一个 实体
_BEFORE,
那个 另外 实体
_AFTER,, ,
第三 实体
,, ,
第四 实体
,, ,
第五 实体
, and 和
第六 实体
这样
那个 另外 实体
_BEFORE 是
SRPResults
的
instance
和
那个 另外 实体
_AFTER 是
SRPResults
的
instance
和
那个 实体
equal
那个 另外 实体
_BEFORE 的第
那个 第三 实体
几个元素 和
那个 实体
equal
那个 另外 实体
_AFTER 的第
那个 第四 实体
几个元素 和
那个 第五 实体
是
BestMatchAlgorithm
的
instance
和
那个 第六 实体
是
BestMatchAlgorithm
的
instance
和
那个 第五 实体
出现 的
time
比
那个 第六 实体
出现 的
time
发生的
earlier
和
那个 过程
出现 的
time
比
那个 第六 实体
出现 的
time
发生的
earlier
和
那个 第五 实体
出现 的
time
比
那个 过程
出现 的
time
发生的
earlier
和
那个 第三 实体
是
greaterThan
那个 第四 实体
(=>
(
and
(
maxCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
lessThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2210-2223
如果 那里能有最多 %3
values
对于 1% 的 参数 2% 和
关系
是
谓语
的
instance
,
然后 有存在
类
,
实体
, and 和 @ARGS 这样
那个 类
是
集或类
的
instance
和
如果
那个 关系
@ARGS 和
那个 实体
equal
(@ARGS) 的第
正整数
几个元素,
然后
那个 实体
是
那个 类
的
instance
和
那个 类
instance
的数量 是
lessThanOrEqualTo
整数
(=>
(
and
(
minCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
greaterThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2174-2187
如果 那里至少有
整数
values
对于
关系
的参数
正整数
和
那个 关系
是
谓语
的
instance
,
然后 有存在
类
,
实体
, and 和 @ARGS 这样
那个 类
是
集或类
的
instance
和
如果
那个 关系
@ARGS 和
那个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 实体
是
那个 类
的
instance
和
那个 类
instance
的数量 是
greaterThanOrEqualTo
那个 整数
(=>
(
equal
(
LastFn
?LIST) ?ITEM)
(
exists
(?NUMBER)
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))))
Merge.kif 3212-3217
如果
串列
的
last
equal
实体
,
然后 有存在
正整数
这样
那个 串列
的长度
equal
那个 正整数
和
那个 串列
的第
那个 正整数
几个元素
equal
那个 实体
(=>
(
exactCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
equal
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2125-2134
如果 那只能是
整数
values
对于
关系
的参数
另一个 整数
,
然后 有存在
符号串
和 @ARGS 这样
那个 符号串
所描述的类别
instance
的数量
equal
那个 整数
(=>
(
exhaustiveAttribute
?ATTRCLASS @ROW)
(
not
(
exists
(?EL)
(
and
(
instance
?EL ?ATTRCLASS)
(
not
(
exists
(?ATTR ?NUMBER)
(
and
(
equal
?EL ?ATTR)
(
equal
?ATTR
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER)))))))))
Merge.kif 519-531
如果 @ROW 是所有的
另一个 有点 属性
的
attributes
,
然后 不存在
实体
这样
那个 实体
是
另一个 有点 属性
的
instance
和 不存在
另一个 实体
和
正整数
这样
那个 实体
equal
那个 另外 实体
和
那个 另外 实体
equal
(@ROW) 的第
那个 正整数
几个元素
(=>
(
inList
?ITEM ?LIST)
(
exists
(?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM)))
Merge.kif 3113-3116
如果
实体
是
串列
的
member
,
然后 有存在
正整数
这样
那个 串列
的第
那个 正整数
几个元素
equal
那个 实体
(=>
(
instance
?LIST
UniqueList
)
(
forall
(?NUMBER1 ?NUMBER2)
(=>
(
equal
(
ListOrderFn
?LIST ?NUMBER1)
(
ListOrderFn
?LIST ?NUMBER2))
(
equal
?NUMBER1 ?NUMBER2))))
Merge.kif 2910-2915
如果
串列
是
唯一串列
的
instance
,
然后 对所有
正整数
和
另一个 正整数
如果
那个 串列
的第
那个 正整数
几个元素
equal
那个 串列
的第
那个 另外 正整数
几个元素,
然后
那个 正整数
equal
那个 另外 正整数
(=>
(
maxCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
lessThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2198-2207
如果 那里能有最多 %3
values
对于 1% 的 参数 2% ,
然后 有存在
符号串
和 @ARGS 这样
那个 符号串
所描述的类别
instance
的数量 是
lessThanOrEqualTo
整数
(=>
(
minCardinality
?REL ?ARG ?COUNT)
(
exists
(?EL @ARGS)
(
greaterThanOrEqualTo
(
CardinalityFn
(
KappaFn
?EL
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG))))) ?COUNT)))
Media.kif 2161-2170
如果 那里至少有
整数
values
对于
关系
的参数
另一个 整数
,
然后 有存在
符号串
和 @ARGS 这样
那个 符号串
所描述的类别
instance
的数量 是
greaterThanOrEqualTo
那个 整数
statement
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
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