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
SuccessorFn
Sigma KEE - SuccessorFn
SuccessorFn
appearance as argument number 1
(
documentation
SuccessorFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
Integer
和它 的后续联系起来,例如:5的后继是6。")
chinese_format.kif 2280-2281
(
documentation
SuccessorFn
EnglishLanguage
"A
UnaryFunction
that maps an
Integer
to its successor, e.g. the successor of 5 is 6.")
Merge.kif 5304-5305
(
documentation
SuccessorFn
JapaneseLanguage
"
UnaryFunction
は、
Integer
をその後身にマッ プする。例:5の後身は6である。")
japanese_format.kif 948-949
(
domain
SuccessorFn
1
Integer
)
Merge.kif 5301-5301
SuccessorFn
の数値 1 引数は
整数
の
instance
では %n
(
instance
SuccessorFn
TotalValuedRelation
)
Merge.kif 5300-5300
SuccessorFn
は
合計値関係
の
instance
では %n
(
instance
SuccessorFn
UnaryFunction
)
Merge.kif 5299-5299
SuccessorFn
は
1変数関数
の
instance
では %n
(
range
SuccessorFn
Integer
)
Merge.kif 5302-5302
SuccessorFn
の
range
は
整数
のインスタンス では %n
appearance as argument number 2
(
format
ChineseLanguage
SuccessorFn
"(%1+1)")
chinese_format.kif 734-734
(
format
EnglishLanguage
SuccessorFn
"(%1+1)")
english_format.kif 736-736
(
format
FrenchLanguage
SuccessorFn
"(%1+1)")
french_format.kif 440-440
(
format
ItalianLanguage
SuccessorFn
"(%1+1")
relations-it.txt 288-288
(
format
JapaneseLanguage
SuccessorFn
"(%1+1)")
japanese_format.kif 2157-2157
(
format
PortugueseLanguage
SuccessorFn
"(%1+1)")
portuguese_format.kif 392-392
(
format
cz
SuccessorFn
"(%1+1)")
relations-cz.txt 453-453
(
format
de
SuccessorFn
"(%1+1)")
relations-de.txt 949-949
(
format
hi
SuccessorFn
"(%1+1")
relations-hindi.txt 325-325
(
format
ro
SuccessorFn
"(%1+1)")
relations-ro.kif 462-462
(
format
sv
SuccessorFn
"(%1+1)")
relations-sv.txt 503-503
(
format
tg
SuccessorFn
"(%1+1")
relations-tg.txt 480-480
(
termFormat
ChineseLanguage
SuccessorFn
"后继数函数")
chinese_format.kif 735-735
(
termFormat
ChineseLanguage
SuccessorFn
"接班人")
domainEnglishFormat.kif 55897-55897
(
termFormat
ChineseTraditionalLanguage
SuccessorFn
"接班人")
domainEnglishFormat.kif 55896-55896
(
termFormat
EnglishLanguage
SuccessorFn
"successor")
domainEnglishFormat.kif 55895-55895
antecedent
(=>
(
equal
(
SuccessorFn
?INT1)
(
SuccessorFn
?INT2))
(
equal
?INT1 ?INT2))
Merge.kif 5307-5309
(
整数
+1) は (
整数
+1) と
equal
では %n
整数
は
整数
と
equal
では %n
consequent
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
PredecessorFn
(
SuccessorFn
?INT))))
Merge.kif 5328-5330
整数
は
整数
の
instance
では %n
整数
は ((
整数
+1)+2) と
equal
では %n
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
SuccessorFn
(
PredecessorFn
?INT))))
Merge.kif 5324-5326
整数
は
整数
の
instance
では %n
整数
は ((
整数
+2)+1) と
equal
では %n
(=>
(
instance
?INT
Integer
)
(
lessThan
?INT
(
SuccessorFn
?INT)))
Merge.kif 5311-5313
整数
は
整数
の
instance
では %n
整数
は (
整数
+1) より
less
では %n
statement
(
forall
(?NUMBER)
(
equal
(
SuccessorFn
?NUMBER)
(
AdditionFn
?NUMBER 1)))
Merge.kif 4720-4721
整数
(
整数
+1) は (
整数
+ 1) と
equal
では %n
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 3037-3040
@ROW
エンティティー
(@ROW +
エンティティー
) の
length
は ((@ROW) の
length
+1) と
equal
では %n
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