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 5305-5306
(
documentation
SuccessorFn
JapaneseLanguage
"
UnaryFunction
は、
Integer
をその後身にマッ プする。例:5の後身は6である。")
japanese_format.kif 948-949
(
domain
SuccessorFn
1
Integer
)
Merge.kif 5302-5302
(
instance
SuccessorFn
TotalValuedRelation
)
Merge.kif 5301-5301
(
instance
SuccessorFn
UnaryFunction
)
Merge.kif 5300-5300
(
range
SuccessorFn
Integer
)
Merge.kif 5303-5303
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 55899-55899
(
termFormat
ChineseTraditionalLanguage
SuccessorFn
"接班人")
domainEnglishFormat.kif 55898-55898
(
termFormat
EnglishLanguage
SuccessorFn
"successor")
domainEnglishFormat.kif 55897-55897
antecedent
(=>
(
equal
(
SuccessorFn
?INT1)
(
SuccessorFn
?INT2))
(
equal
?INT1 ?INT2))
Merge.kif 5308-5310
consequent
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
PredecessorFn
(
SuccessorFn
?INT))))
Merge.kif 5329-5331
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
SuccessorFn
(
PredecessorFn
?INT))))
Merge.kif 5325-5327
(=>
(
instance
?INT
Integer
)
(
lessThan
?INT
(
SuccessorFn
?INT)))
Merge.kif 5312-5314
statement
(
forall
(?NUMBER)
(
equal
(
SuccessorFn
?NUMBER)
(
AdditionFn
?NUMBER 1)))
Merge.kif 4721-4722
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 3038-3041
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