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
ListFn
Sigma KEE - ListFn
ListFn
appearance as argument number 1
(
documentation
ListFn
ChineseLanguage
"这是一个可以接受任何数量的参数,然后交出含有跟哪些参数完全 相同顺序的
Function
。")
chinese_format.kif 1962-1963
(
documentation
ListFn
EnglishLanguage
"A
Function
that takes any number of arguments and returns the
List
containing those arguments in exactly the same order.")
Merge.kif 2938-2939
(
documentation
ListFn
JapaneseLanguage
"任意の数の引数を受け取り、それらの引数を含む
List
を まったく同じ順序で返す
Function
。")
japanese_format.kif 594-595
(
domain
ListFn
1
Entity
)
Merge.kif 2934-2934
表列函数
的 1 数量 是
实体
的
instance
(
instance
ListFn
Function
)
Merge.kif 2932-2932
表列函数
是
函数
的
instance
(
instance
ListFn
VariableArityRelation
)
Merge.kif 2933-2933
表列函数
是
不定次元关系
的
instance
(
range
ListFn
List
)
Merge.kif 2936-2936
表列函数
的
range
是
串列
的实例
appearance as argument number 2
(
format
ChineseLanguage
ListFn
"(%*[,])")
chinese_format.kif 261-261
(
format
EnglishLanguage
ListFn
"(%*[,])")
english_format.kif 266-266
(
format
FrenchLanguage
ListFn
"(%*[,])")
french_format.kif 149-149
(
format
ItalianLanguage
ListFn
"(%*[,]")
relations-it.txt 167-167
(
format
JapaneseLanguage
ListFn
"(%*[,])")
japanese_format.kif 1977-1977
(
format
PortugueseLanguage
ListFn
"(%*[,])")
portuguese_format.kif 101-101
(
format
cz
ListFn
"(%*[,])")
relations-cz.txt 158-158
(
format
de
ListFn
"(%*[,])")
relations-de.txt 336-336
(
format
hi
ListFn
"(%*[,]")
relations-hindi.txt 206-206
(
format
ro
ListFn
"(%*[,])")
relations-ro.kif 168-168
(
format
sv
ListFn
"(%*[,])")
relations-sv.txt 155-155
(
format
tg
ListFn
"(%*[,]")
relations-tg.txt 333-333
(
termFormat
ChineseLanguage
ListFn
"名单")
domainEnglishFormat.kif 34685-34685
(
termFormat
ChineseLanguage
ListFn
"表列函数")
chinese_format.kif 262-262
(
termFormat
ChineseTraditionalLanguage
ListFn
"名單")
domainEnglishFormat.kif 34684-34684
(
termFormat
EnglishLanguage
ListFn
"list")
domainEnglishFormat.kif 34683-34683
(
termFormat
de
ListFn
"ListeFn")
terms-de.txt 107-107
(
termFormat
tg
ListFn
"tungkulin ng talaan")
relations-tg.txt 334-334
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
(
contraryAttribute
@ROW1)
(
identicalListItems
(
ListFn
@ROW1)
(
ListFn
@ROW2)))
(
contraryAttribute
@ROW2))
Merge.kif 470-474
如果 @ROW1 是 的相反 和 (@ROW2) 是 (@ROW1) 的
identical
清单项目,
然后 @ROW2 是 的相反
(=>
(
and
(
defaultMaxValue
?REL ?ARG ?N)
(?REL @ARGS)
(
equal
?VAL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
modalAttribute
(
greaterThan
?N ?VAL)
Likely
))
Merge.kif 18525-18530
如果
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 18508-18513
如果
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 18542-18547
如果
defaultValue
谓语
,
正整数
and
数量
和
那个 谓语
@ARGS 和
另一个 实体
equal
(@ARGS) 的第
那个 正整数
几个元素,
然后
那个 数量
equal
那个 另外 实体
的声明 has
容易
的语气
(=>
(
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
(
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
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 503-507
如果 @ROW 是所有的
另一个 有点 属性
的
attributes
和
实体
是 (@ROW) 的
member
,
然后
那个 实体
是
另一个 有点 属性
的
instance
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
Merge.kif 497-501
如果 @ROW 是所有的
另一个 有点 属性
的
attributes
和
实体
是 (@ROW) 的
member
,
然后
那个 实体
是
属性
的
instance
(=>
(
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
?REL
IntentionalRelation
)
(?REL ?AGENT @ROW)
(
inList
?OBJ
(
ListFn
@ROW)))
(
inScopeOfInterest
?AGENT ?OBJ))
Merge.kif 2677-2682
如果
实体
是
有意图的关系
的
instance
和
那个 实体
有认知的主事
and @ROW 和
第三 实体
是 (@ROW) 的
member
,
然后
那个 有认知的主事
对
那个 第三 实体
感兴趣
(=>
(
and
(
orientation
?OBJ1 ?OBJ2 ?ATTR1)
(
contraryAttribute
@ROW)
(
inList
?ATTR1
(
ListFn
@ROW))
(
inList
?ATTR2
(
ListFn
@ROW))
(
not
(
equal
?ATTR1 ?ATTR2)))
(
not
(
orientation
?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 16992-17000
如果
客体
在
另一个 客体
的
位置属性
和 @ROW 是 的相反 和
那个 位置属性
是 (@ROW) 的
member
和
另一个 位置属性
是 (@ROW) 的
member
和
那个 位置属性
不
equal
那个 另外 位置属性
,
然后
那个 客体
不 在
那个 另外 客体
的
那个 另外 位置属性
(=>
(
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
consequent
(=>
(
and
(
domain
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
instance
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 2999-3004
如果
关系
的
正整数
数量 是
类
的
instance
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ROW,
然后 (@ROW) 的第
那个 正整数
几个元素 是
那个 类
的
instance
(=>
(
and
(
domainSubclass
?REL ?NUMBER ?CLASS)
(
instance
?REL
Predicate
)
(?REL @ROW))
(
subclass
(
ListOrderFn
(
ListFn
@ROW) ?NUMBER) ?CLASS))
Merge.kif 3006-3011
如果
关系
的
正整数
数量 是
类
的
subclass
和
那个 关系
是
谓语
的
instance
和
那个 关系
@ROW,
然后 (@ROW) 的第
那个 正整数
几个元素 是
那个 类
的
subclass
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4862-4873
如果 @ROW 的最大公因数
equal
整数
和
那个 整数
不
equal
0,
然后 对所有
另一个 整数
如果
那个 另外 整数
是 (@ROW) 的
member
,
然后
那个 另外 整数
模除
那个 整数
equal
0
(=>
(
and
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?GREATER)
(
and
(
greaterThan
?GREATER ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?GREATER) 0)))))))
Merge.kif 4875-4889
如果 @ROW 的最大公因数
equal
整数
和
那个 整数
不
equal
0,
然后 不存在
另一个 整数
这样
那个 另外 整数
是
greaterThan
那个 整数
和 对所有
第三 整数
如果
那个 第三 整数
是 (@ROW) 的
member
,
然后
那个 第三 整数
模除
那个 另外 整数
equal
0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4947-4957
如果 @ROW 的最小公倍数
equal
整数
和
那个 整数
不
equal
0,
然后 对所有
另一个 整数
如果
那个 另外 整数
是 (@ROW) 的
member
,
然后
那个 整数
模除
那个 另外 整数
equal
0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
not
(
exists
(?LESS)
(
and
(
lessThan
?LESS ?NUMBER)
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?LESS ?ELEMENT) 0)))))))
Merge.kif 4959-4973
如果 @ROW 的最小公倍数
equal
整数
和
那个 整数
不
equal
0,
然后 不存在
另一个 整数
这样
那个 另外 整数
是
lessThan
那个 整数
和 对所有
第三 整数
如果
那个 第三 整数
是 (@ROW) 的
member
,
然后
那个 另外 整数
模除
那个 第三 整数
equal
0
(=>
(
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
?R
(
SubListFn
?S ?E ?L))
(
equal
(
SubtractionFn
?E ?S) 1))
(
equal
?R
(
ListFn
(
ListOrderFn
?L ?S))))
Merge.kif 3180-3189
如果
串列
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 3191-3203
如果
串列
equal
SubListFn
正整数
,
整数
and
另一个 串列
和 (
那个 整数
和
那个 正整数
) 是
greaterThan
1,
然后
那个 串列
equal
List
包含 (
那个 另外 串列
的第
那个 正整数
几个元素) 和
SubListFn
(1 和
那个 正整数
),
那个 整数
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
(
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
那个 整数
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3049-3056
如果
关系
% 有
正整数
Argument
和
那个 关系
是
谓语
的
instance
,
然后 对所有 @ROW
如果
那个 关系
@ROW,
然后 (@ROW) 的长度
equal
那个 正整数
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
如果 @ROW 是 的相反,
然后
如果
另一个 实体
是 (@ROW) 的
member
,
然后
那个 另外 实体
是
属性
的
instance
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2951-2956
如果
类
分拆成不相交的 @ROW,
然后 对所有
第三 类
如果
那个 第三 类
是 (@ROW) 的
member
,
然后
那个 第三 类
是
那个 类
的
subclass
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2958-2967
如果
类
分拆成不相交的 @ROW,
然后 对所有
第三 类
和
第四 类
如果
那个 第三 类
是 (@ROW) 的
member
和
那个 第四 类
是 (@ROW) 的
member
和
那个 第三 类
不
equal
那个 第四 类
,
然后
那个 第三 类
和 % 2 是
disjoint
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 574-578
如果 @ROW 分拆成不相交的 @ROW,
然后
如果
另一个 实体
是 (@ROW) 的
member
,
然后
那个 另外 实体
是
类
的
instance
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4855-4860
如果 @ROW 的最大公因数
equal
整数
,
然后
如果
另一个 实体
是 (@ROW) 的
member
,
然后
那个 另外 实体
是
数字
的
instance
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4940-4945
如果 @ROW 的最小公倍数
equal
整数
,
然后
如果
另一个 实体
是 (@ROW) 的
member
,
然后
那个 另外 实体
是
数字
的
instance
(=>
(
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) 的第
那个 正整数
几个元素
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
Merge.kif 509-517
如果 @ROW 是所有的
另一个 有点 属性
的
attributes
,
然后 对所有
实体
如果
那个 实体
是
另一个 有点 属性
的
instance
,
然后 有存在
另一个 实体
这样
那个 另外 实体
是 (@ROW) 的
member
和
那个 实体
equal
那个 另外 实体
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2941-2949
如果 @ROW 涵盖
另一个 类
,
然后 对所有
实体
如果
那个 实体
是
那个 另外 类
的
instance
,
然后 有存在
第三 类
这样
那个 第三 类
是 (@ROW) 的
member
和
那个 实体
是
那个 第三 类
的
instance
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 3038-3041
对所有 @ROW 和
另一个 实体
(@ROW 和
那个 另外 实体
) 的长度
equal
((@ROW) 的长度+1)
(
forall
(@ROW ?ITEM)
(
equal
(
ListOrderFn
(
ListFn
@ROW ?ITEM)
(
ListLengthFn
(
ListFn
@ROW ?ITEM))) ?ITEM))
Merge.kif 3043-3047
对所有 @ROW 和
另一个 实体
(@ROW 和
那个 另外 实体
) 的第 (@ROW 和
那个 另外 实体
) 的长度 几个元素
equal
那个 另外 实体
(
forall
(@ROW ?ITEM)
(
initialList
(
ListFn
@ROW)
(
ListFn
@ROW ?ITEM)))
Merge.kif 3316-3317
对所有 @ROW 和
另一个 实体
(@ROW) %starts (@ROW 和
那个 另外 实体
)
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