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
ListConcatenateFn
Sigma KEE - ListConcatenateFn
ListConcatenateFn
appearance as argument number 1
(
documentation
ListConcatenateFn
ChineseLanguage
"这个
Function
把由两个参数所设定的
List
串联起来。例如:(
ListConcatenateFn
(
ListFn
Monday
Tuesday
) (
ListFn
Wednesday
Thursday
)) 会成了 (
ListFn
Monday
Tuesday
Wednesday
Thursday
)。")
chinese_format.kif 1970-1972
(
documentation
ListConcatenateFn
EnglishLanguage
"A
Function
that returns the concatenation of the two
List
s that are given as arguments. For example, the value of (
ListConcatenateFn
(
ListFn
Monday
Tuesday
) (
ListFn
Wednesday
Thursday
)) would be (
ListFn
Monday
Tuesday
Wednesday
Thursday
).")
Merge.kif 3077-3080
(
documentation
ListConcatenateFn
JapaneseLanguage
"
Function
は、引数として指定された2つの
List
の連結を返す 例:(
ListConcatenateFn
(
ListFn
Monday
Tuesday
) (
ListFn
Wednesday
Thursday
)) の値は (
ListFn
Monday
Tuesday
Wednesday
Thursday
) となる。")
japanese_format.kif 602-604
(
domain
ListConcatenateFn
1
List
)
Merge.kif 3073-3073
(
domain
ListConcatenateFn
2
List
)
Merge.kif 3074-3074
(
instance
ListConcatenateFn
BinaryFunction
)
Merge.kif 3071-3071
(
instance
ListConcatenateFn
TotalValuedRelation
)
Merge.kif 3072-3072
(
range
ListConcatenateFn
List
)
Merge.kif 3075-3075
appearance as argument number 2
(
format
ChineseLanguage
ListConcatenateFn
"
List
包含 %1 和 %2")
chinese_format.kif 267-267
(
format
EnglishLanguage
ListConcatenateFn
"the list composed of %1 and %2")
english_format.kif 272-272
(
format
FrenchLanguage
ListConcatenateFn
"la liste compos�e de %1 et %2")
french_format.kif 152-152
(
format
ItalianLanguage
ListConcatenateFn
"la lista composta di %1 e %2")
relations-it.txt 166-166
(
format
JapaneseLanguage
ListConcatenateFn
"%1 と %2 で構成される list")
japanese_format.kif 1980-1980
(
format
PortugueseLanguage
ListConcatenateFn
"a lista composta de %1 e %2")
portuguese_format.kif 104-104
(
format
de
ListConcatenateFn
"die Liste bestanden aus %1 und %2")
relations-de.txt 344-344
(
format
hi
ListConcatenateFn
"suuchii me %1 aura %2 sanshrinkhalita hai")
relations-hindi.txt 205-205
(
format
ro
ListConcatenateFn
"list%t{lista} formatã din %1 ºi %2")
relations-ro.kif 171-171
(
format
sv
ListConcatenateFn
"listan sammansatt av %1 och %2")
relations-sv.txt 158-158
(
format
tg
ListConcatenateFn
"ang paglisto ng %1 at %2")
relations-tg.txt 331-331
(
termFormat
ChineseLanguage
ListConcatenateFn
"列表连接")
domainEnglishFormat.kif 34667-34667
(
termFormat
ChineseLanguage
ListConcatenateFn
"连接表列函数")
chinese_format.kif 268-268
(
termFormat
ChineseTraditionalLanguage
ListConcatenateFn
"列表連接")
domainEnglishFormat.kif 34666-34666
(
termFormat
EnglishLanguage
ListConcatenateFn
"list concatenate")
domainEnglishFormat.kif 34665-34665
(
termFormat
de
ListConcatenateFn
"ListeVerkettenFn")
terms-de.txt 110-110
(
termFormat
tg
ListConcatenateFn
"tungkulin ng talaan pagkabitin")
relations-tg.txt 332-332
antecedent
(=>
(
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 3084-3103
consequent
(=>
(
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
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