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 2937-2938
(
documentation
ListFn
JapaneseLanguage
"任意の数の引数を受け取り、それらの引数を含む
List
を まったく同じ順序で返す
Function
。")
japanese_format.kif 594-595
(
domain
ListFn
1
Entity
)
Merge.kif 2933-2933
域
名單
, 1 and
Entity
(
instance
ListFn
Function
)
Merge.kif 2931-2931
例
名單
and
Function
(
instance
ListFn
VariableArityRelation
)
Merge.kif 2932-2932
例
名單
and
VariableArityRelation
(
range
ListFn
List
)
Merge.kif 2935-2935
範圍
名單
and
List
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
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
Attribute
and
清單順序
名單
@ROW and
PositiveInteger
等於
PositiveInteger
and
PositiveInteger
屬性
Entity
and
Attribute
屬性
Entity
and
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 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
?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
(
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
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR ?CLASS))
Merge.kif 503-507
@ROW 是所有的
Attribute
的
attributes
在列表中
Entity
and
名單
@ROW
例
Entity
and
Attribute
(=>
(
and
(
exhaustiveAttribute
?CLASS @ROW)
(
inList
?ATTR
(
ListFn
@ROW)))
(
instance
?ATTR
Attribute
))
Merge.kif 497-501
@ROW 是所有的
Attribute
的
attributes
在列表中
Entity
and
名單
@ROW
例
Entity
and
Attribute
(=>
(
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
?REL
IntentionalRelation
)
(?REL ?AGENT @ROW)
(
inList
?OBJ
(
ListFn
@ROW)))
(
inScopeOfInterest
?AGENT ?OBJ))
Merge.kif 2677-2682
例
Entity
and
有意圖的關係
Entity
CognitiveAgent
and @ROW
在列表中
Entity
and
名單
@ROW
在感興趣的範圍內
CognitiveAgent
and
Entity
(=>
(
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 16943-16951
方位
Object
,
Object
and
PositionalAttribute
相反的屬性
@ROW
在列表中
PositionalAttribute
and
名單
@ROW
在列表中
PositionalAttribute
and
名單
@ROW
等於
PositionalAttribute
and
PositionalAttribute
方位
Object
,
Object
and
PositionalAttribute
(=>
(
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
consequent
(=>
(
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
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?ELEMENT ?NUMBER) 0))))
Merge.kif 4861-4872
等於
最大公約數
@ROW and
Integer
等於
Integer
and 0
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 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 4874-4888
等於
最大公約數
@ROW and
Integer
等於
Integer
and 0
Integer
比較多
Integer
and
Integer
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 0
(=>
(
and
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(
not
(
equal
?NUMBER 0)))
(
forall
(?ELEMENT)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
equal
(
RemainderFn
?NUMBER ?ELEMENT) 0))))
Merge.kif 4946-4956
等於
最不常見的倍數
@ROW and
Integer
等於
Integer
and 0
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 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 4958-4972
等於
最不常見的倍數
@ROW and
Integer
等於
Integer
and 0
Integer
少於
Integer
and
Integer
Integer
在列表中
Integer
and
名單
@ROW
等於
剩餘
Integer
and
Integer
and 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
等於
List
and
List
等於
List
and
名單
@ROW1
等於
List
and
名單
@ROW2
等於
清單順序
名單
@ROW1 and
PositiveInteger
and
清單順序
名單
@ROW2 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
(
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
(
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
(=>
(
and
(
valence
?REL ?NUMBER)
(
instance
?REL
Predicate
))
(
forall
(@ROW)
(=>
(?REL @ROW)
(
equal
(
ListLengthFn
(
ListFn
@ROW)) ?NUMBER))))
Merge.kif 3048-3055
價
Relation
and
PositiveInteger
例
Relation
and
Predicate
@ROW
Relation
@ROW
等於
列表長度
名單
@ROW and
PositiveInteger
(=>
(
contraryAttribute
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Attribute
)))
Merge.kif 464-468
相反的屬性
@ROW
在列表中
Entity
and
名單
@ROW
例
Entity
and
Attribute
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM)
(=>
(
inList
?ITEM
(
ListFn
@ROW))
(
subclass
?ITEM ?CLASS))))
Merge.kif 2950-2955
不相交分解
Class
and @ROW
Class
在列表中
Class
and
名單
@ROW
子類
Class
and
Class
(=>
(
disjointDecomposition
?CLASS @ROW)
(
forall
(?ITEM1 ?ITEM2)
(=>
(
and
(
inList
?ITEM1
(
ListFn
@ROW))
(
inList
?ITEM2
(
ListFn
@ROW))
(
not
(
equal
?ITEM1 ?ITEM2)))
(
disjoint
?ITEM1 ?ITEM2))))
Merge.kif 2957-2966
不相交分解
Class
and @ROW
Class
Class
在列表中
Class
and
名單
@ROW
在列表中
Class
and
名單
@ROW
等於
Class
and
Class
不相交的
Class
and
Class
(=>
(
disjointDecomposition
@ROW)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Class
)))
Merge.kif 574-578
不相交分解
@ROW
在列表中
Entity
and
名單
@ROW
例
Entity
and
Class
(=>
(
equal
(
GreatestCommonDivisorFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4854-4859
等於
最大公約數
@ROW and
Integer
在列表中
Entity
and
名單
@ROW
例
Entity
and
Number
(=>
(
equal
(
LeastCommonMultipleFn
@ROW) ?NUMBER)
(=>
(
inList
?ELEMENT
(
ListFn
@ROW))
(
instance
?ELEMENT
Number
)))
Merge.kif 4939-4944
等於
最不常見的倍數
@ROW and
Integer
在列表中
Entity
and
名單
@ROW
例
Entity
and
Number
(=>
(
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
(=>
(
exhaustiveAttribute
?CLASS @ROW)
(
forall
(?ATTR1)
(=>
(
instance
?ATTR1 ?CLASS)
(
exists
(?ATTR2)
(
and
(
inList
?ATTR2
(
ListFn
@ROW))
(
equal
?ATTR1 ?ATTR2))))))
Merge.kif 509-517
@ROW 是所有的
Attribute
的
attributes
Entity
例
Entity
and
Attribute
Entity
在列表中
Entity
and
名單
@ROW
等於
Entity
and
Entity
(=>
(
exhaustiveDecomposition
?CLASS @ROW)
(
forall
(?OBJ)
(=>
(
instance
?OBJ ?CLASS)
(
exists
(?ITEM)
(
and
(
inList
?ITEM
(
ListFn
@ROW))
(
instance
?OBJ ?ITEM))))))
Merge.kif 2940-2948
徹底分解
Class
and @ROW
Entity
例
Entity
and
Class
Class
在列表中
Class
and
名單
@ROW
例
Entity
and
Class
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 3037-3040
@ROW
Entity
等於
列表長度
名單
@ROW and
entity
and
接班人
列表長度
名單
@ROW
(
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
(
forall
(@ROW ?ITEM)
(
initialList
(
ListFn
@ROW)
(
ListFn
@ROW ?ITEM)))
Merge.kif 3315-3316
@ROW
Entity
初始清單
名單
@ROW and
名單
@ROW 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