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
IPAddress
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 and
List
(
domain
ListOrderFn
2
PositiveInteger
)
Merge.kif 2978-2978
域
清單順序
, 2 and
PositiveInteger
(
instance
ListOrderFn
BinaryFunction
)
Merge.kif 2975-2975
例
清單順序
and
BinaryFunction
(
instance
ListOrderFn
PartialValuedRelation
)
Merge.kif 2976-2976
例
清單順序
and
PartialValuedRelation
(
range
ListOrderFn
Entity
)
Merge.kif 2979-2979
範圍
清單順序
and
Entity
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
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
PositiveInteger
and
PositiveInteger
屬性
Entity
and
Attribute
屬性
Entity
and
Attribute
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18468-18473
defaultMaxValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
模態屬性
比較多
Quantity
and
Entity
and
容易
(=>
(
and
(
defaultMinValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?VAL ?N)
Likely
))
Merge.kif 18451-18456
defaultMinValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
模態屬性
比較多
Entity
and
Quantity
and
容易
(=>
(
and
(
defaultValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
equal
?N ?VAL)
Likely
))
Merge.kif 18485-18490
defaultValue
Predicate
,
PositiveInteger
and
Quantity
Predicate
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
模態屬性
等於
Quantity
and
Entity
and
容易
(=>
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))
(
equal
(
LastFn
?LIST) ?ITEM))
Merge.kif 3219-3223
等於
列表長度
List
and
PositiveInteger
等於
清單順序
List
and
PositiveInteger
and
Entity
等於
List
的
last
and
Entity
(=>
(
and
(
equal
?NLIST
(
PhysicalQuantityToNumberFn
?QLIST))
(
equal
?QUANT
(
ListOrderFn
?QLIST ?N))
(
equal
?NUM
(
ListOrderFn
?NLIST ?N)))
(
equal
(
MeasureFn
?NUM ?UNIT) ?QUANT))
Weather.kif 1834-1841
等於
NumberList
and
PhysicalQuantityToNumberFn
MeasuringResultList
等於
PhysicalQuantity
and
清單順序
MeasuringResultList
and
PositiveInteger
等於
PositiveInteger
UM and
清單順序
NumberList
and
PositiveInteger
等於
測量
PositiveInteger
UM and
UnitOfMeasure
and
PhysicalQuantity
(=>
(
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
對於
Relation
的參數
PositiveInteger
例
Relation
and
Predicate
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
等於
Entity
and
Entity
(=>
(
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
對於
Relation
的參數
PositiveInteger
例
Relation
and
Predicate
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
Entity
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
等於
Entity
and
Entity
(=>
(
and
(
instance
(
LatitudeFn
?DIRECTION @ROW)
Region
)
(
equal
(
ListOrderFn
(
ListFn
@ROW) 1)
(
MeasureFn
?NUM
AngularDegree
)))
(
lessThanOrEqualTo
?NUM 90.0))
Geography.kif 427-431
例
@ROW 的
region
DirectionalAttribute
and
Region
等於
清單順序
名單
@ROW and 1 and
測量
RealNumber
and
圓周角度
小於或等於
RealNumber
and 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
DirectionalAttribute
的
meridian
and
Region
等於
清單順序
名單
@ROW and 1 and
測量
RealNumber
and
圓周角度
小於或等於
RealNumber
and 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 1931-1940
例
List
and
ConsecutiveTimeIntervalList
等於
TimeInterval
and
清單順序
List
and
PositiveInteger
等於
TimeInterval
and
清單順序
List
and
加成
PositiveInteger
and 1
等於
開始
TimeInterval
and
結束
TimeInterval
(=>
(
and
(
measuringResult
?MLIST ?RLIST)
(
equal
?M
(
ListOrderFn
?MLIST ?N))
(
equal
?R
(
ListOrderFn
?RLIST ?N)))
(
result
?M ?R))
Weather.kif 1802-1807
measuringResult
MeasuringList
and
MeasuringResultList
等於
Process
and
清單順序
MeasuringList
and
PositiveInteger
等於
Entity
and
清單順序
MeasuringResultList
and
PositiveInteger
結果
Process
and
Entity
(=>
(
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
在列表中
Physical
and
名單
@ROW
在列表中
Physical
and
名單
@ROW
等於
清單順序
名單
@ROW and
PositiveInteger
and
Physical
等於
清單順序
名單
@ROW and
PositiveInteger
and
Physical
少於
PositiveInteger
and
PositiveInteger
早期
何時
Physical
and
何時
Physical
(=>
(
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
List
是樣品清單
viewed
由
AutonomousAgent
例
Process
and
AccessingWebPage
例
Process
and
AccessingWebPage
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
例
PositiveInteger
and
PositiveInteger
例
PositiveInteger
and
PositiveInteger
等於
清單順序
List
and
PositiveInteger
and
Process
等於
清單順序
List
and
PositiveInteger
and
Process
比較多
PositiveInteger
and
PositiveInteger
早期
何時
Process
and
何時
Process
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
RealNumber
是
List
的
average
List
PositiveInteger
等於
列表長度
List
and
列表長度
List
等於
清單順序
List
and 1 and
清單順序
List
and 1
PositiveInteger
在列表中
PositiveInteger
and
List
RealNumber
RealNumber
MINUSONE,
PositiveInteger
and
PositiveInteger
比較多
RealNumber
and 1
小於或等於
RealNumber
and
列表長度
List
等於
清單順序
List
and
PositiveInteger
and
RealNumber
在列表中
PositiveInteger
and
List
等於
RealNumber
and
清單順序
List
and
PositiveInteger
在列表中
PositiveInteger
and
List
等於
RealNumber
MINUSONE and
減法
RealNumber
and 1
等於
RealNumber
MINUSONE and
清單順序
List
and
PositiveInteger
等於
PositiveInteger
and
加成
PositiveInteger
and
PositiveInteger
等於
PositiveInteger
and
列表長度
List
等於
RealNumber
and
部
清單順序
List
and
PositiveInteger
and
PositiveInteger
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
instance
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2998-3003
域
Relation
,
PositiveInteger
and
Class
例
Relation
and
Predicate
Relation
@ROW
例
清單順序
名單
@ROW and
PositiveInteger
and
Class
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3005-3010
域子類
Relation
,
PositiveInteger
and
Class
例
Relation
and
Predicate
Relation
@ROW
子類
清單順序
名單
@ROW and
PositiveInteger
and
Class
(=>
(
and
(
equal
?A
(
ListSumFn
?L))
(
equal
1
(
ListLengthFn
?L)))
(
equal
?A
(
ListOrderFn
?L 1)))
Merge.kif 3252-3256
等於
RealNumber
and
ListSumFn
List
等於
1 and
列表長度
List
等於
RealNumber
and
清單順序
List
and 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
等於
List
and
List
等於
List
and
名單
@ROW1
等於
List
and
名單
@ROW2
等於
清單順序
名單
@ROW1 and
PositiveInteger
and
清單順序
名單
@ROW2 and
PositiveInteger
(=>
(
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
等於
List
and
列表連接
List
and
List
等於
List
and
空列表
等於
List
and
空列表
小於或等於
PositiveInteger
and
列表長度
List
小於或等於
PositiveInteger
and
列表長度
List
例
PositiveInteger
and
PositiveInteger
例
PositiveInteger
and
PositiveInteger
等於
清單順序
List
and
PositiveInteger
and
清單順序
List
and
PositiveInteger
等於
清單順序
List
and
加成
列表長度
List
and
PositiveInteger
and
清單順序
List
and
PositiveInteger
(=>
(
and
(
equal
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3179-3188
等於
List
and
SubListFn
PositiveInteger
,
Integer
and
List
等於
減法
Integer
and
PositiveInteger
and 1
等於
List
and
名單
清單順序
List
and
PositiveInteger
(=>
(
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
等於
List
and
SubListFn
PositiveInteger
,
Integer
and
List
比較多
減法
Integer
and
PositiveInteger
and 1
等於
List
and
列表連接
名單
清單順序
List
and
PositiveInteger
and
SubListFn
加成
1 and
PositiveInteger
,
Integer
and
List
(=>
(
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 1482-1493
等於
RealNumber
and
VarianceAverageFn
RealNumber
and
List
等於
1 and
列表長度
List
等於
RealNumber
and
乘法
減法
RealNumber
and
清單順序
List
and 1 and
減法
RealNumber
and
清單順序
List
and 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 1449-1461
等於
RealNumber
and
VarianceAverageFn
Number
and
List
比較多
列表長度
List
and 1
等於
RealNumber
and
加成
VarianceAverageFn
Number
and
清單順序
List
and 1 and
VarianceAverageFn
Number
and
SubListFn
2,
列表長度
List
and
List
(=>
(
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
對於
Relation
的參數
PositiveInteger
例
Relation
and
Predicate
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
Entity
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
等於
Entity
and
Entity
(=>
(
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
對於
Relation
的參數
PositiveInteger
例
Relation
and
Predicate
Entity
@ARGS
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
Entity
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
等於
Entity
and
Entity
(=>
(
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
那只能是
Integer
values
對於
Relation
的參數
PositiveInteger
例
Relation
and
Predicate
Class
Entity
and @ARGS
例
Class
and
SetOrClass
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
例
Entity
and
Class
等於
基數
Class
and
Integer
(=>
(
and
(
instance
?LIST
List
)
(
not
(
equal
?LIST
NullList
)))
(
equal
(
FirstFn
?LIST)
(
ListOrderFn
?LIST 1)))
Merge.kif 3232-3237
例
List
and
List
等於
List
and
空列表
等於
List
的
first
and
清單順序
List
and 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
例
Process
and
SEO
患者
Process
and
Entity
有目的
Process
and
entity
_BEFORE
entity
_AFTER,
entity
,
entity
,
entity
and
entity
例
entity
_BEFORE and
SRPResults
例
entity
_AFTER and
SRPResults
等於
Entity
and
清單順序
entity
_BEFORE and
entity
等於
Entity
and
清單順序
entity
_AFTER and
entity
例
entity
and
BestMatchAlgorithm
例
entity
and
BestMatchAlgorithm
早期
何時
entity
and
何時
entity
早期
何時
Process
and
何時
entity
早期
何時
entity
and
何時
Process
比較多
entity
and
entity
(=>
(
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%
例
Relation
and
Predicate
Class
Entity
and @ARGS
例
Class
and
SetOrClass
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
例
Entity
and
Class
小於或等於
基數
Class
and
Integer
(=>
(
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
那裡至少有
Integer
values
對於
Relation
的參數
PositiveInteger
例
Relation
and
Predicate
Class
Entity
and @ARGS
例
Class
and
SetOrClass
Relation
@ARGS
等於
Entity
and
清單順序
名單
@ARGS and
PositiveInteger
例
Entity
and
Class
大於或等於
基數
Class
and
Integer
(=>
(
equal
(
LastFn
?LIST) ?ITEM)
(
exists
(?NUMBER)
(
and
(
equal
(
ListLengthFn
?LIST) ?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM))))
Merge.kif 3212-3217
等於
List
的
last
and
Entity
PositiveInteger
等於
列表長度
List
and
PositiveInteger
等於
清單順序
List
and
PositiveInteger
and
Entity
(=>
(
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
那只能是
Integer
values
對於
Relation
的參數
Integer
SymbolicString
@ARGS
等於
基數
卡帕
SymbolicString
and
Relation
@ARGS
等於
SymbolicString
and
清單順序
名單
@ARGS and
Integer
and
Integer
(=>
(
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 是所有的
Attribute
的
attributes
Entity
例
Entity
and
Attribute
Entity
PositiveInteger
等於
Entity
and
Entity
等於
Entity
and
清單順序
名單
@ROW and
PositiveInteger
(=>
(
inList
?ITEM ?LIST)
(
exists
(?NUMBER)
(
equal
(
ListOrderFn
?LIST ?NUMBER) ?ITEM)))
Merge.kif 3113-3116
在列表中
Entity
and
List
PositiveInteger
等於
清單順序
List
and
PositiveInteger
and
Entity
(=>
(
instance
?LIST
UniqueList
)
(
forall
(?NUMBER1 ?NUMBER2)
(=>
(
equal
(
ListOrderFn
?LIST ?NUMBER1)
(
ListOrderFn
?LIST ?NUMBER2))
(
equal
?NUMBER1 ?NUMBER2))))
Merge.kif 2910-2915
例
List
and
UniqueList
PositiveInteger
PositiveInteger
等於
清單順序
List
and
PositiveInteger
and
清單順序
List
and
PositiveInteger
等於
PositiveInteger
and
PositiveInteger
(=>
(
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%
SymbolicString
@ARGS
小於或等於
基數
卡帕
SymbolicString
and
Relation
@ARGS
等於
SymbolicString
and
清單順序
名單
@ARGS and
Integer
and
Integer
(=>
(
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
那裡至少有
Integer
values
對於
Relation
的參數
Integer
SymbolicString
@ARGS
大於或等於
基數
卡帕
SymbolicString
and
Relation
@ARGS
等於
SymbolicString
and
清單順序
名單
@ARGS and
Integer
and
Integer
statement
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
Merge.kif 3042-3046
@ROW
Entity
等於
清單順序
名單
@ROW and
Entity
and
列表長度
名單
@ROW and
Entity
and
Entity
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