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
Le nombre 1 argument de
SuccessorFn
est une
instance
de
nombre entier
(
instance
SuccessorFn
TotalValuedRelation
)
Merge.kif 5300-5300
SuccessorFn
est une
instance
de
relation total
(
instance
SuccessorFn
UnaryFunction
)
Merge.kif 5299-5299
SuccessorFn
est une
instance
de
function unaire
(
range
SuccessorFn
Integer
)
Merge.kif 5302-5302
Le
domaine
de
SuccessorFn
est une instance de
nombre entier
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
(
Nombre entier
+1) est
nombre entier
+1)
nombre entier
est
nombre entier
consequent
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
PredecessorFn
(
SuccessorFn
?INT))))
Merge.kif 5328-5330
Nombre entier
est une
instance
de
nombre entier
nombre entier
est
nombre entier
+1)+2)
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
SuccessorFn
(
PredecessorFn
?INT))))
Merge.kif 5324-5326
Nombre entier
est une
instance
de
nombre entier
nombre entier
est
nombre entier
+2)+1)
(=>
(
instance
?INT
Integer
)
(
lessThan
?INT
(
SuccessorFn
?INT)))
Merge.kif 5311-5313
Nombre entier
est une
instance
de
nombre entier
nombre entier
est
moins
que (
nombre entier
+1)
statement
(
forall
(?NUMBER)
(
equal
(
SuccessorFn
?NUMBER)
(
AdditionFn
?NUMBER 1)))
Merge.kif 4720-4721
Nombre entier
(
nombre entier
+1) est
nombre entier
+ 1)
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 3037-3040
@ROW
Entit�
longueur
de (@ROW +
entit�
) est
longueur
de (@ROW)+1)
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