Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 5204-5205
(
domain
SuccessorFn
1
Integer
)
Merge.kif 5201-5201
(
instance
SuccessorFn
TotalValuedRelation
)
Merge.kif 5200-5200
(
instance
SuccessorFn
UnaryFunction
)
Merge.kif 5199-5199
(
range
SuccessorFn
Integer
)
Merge.kif 5202-5202
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
(
termFormat
ChineseLanguage
SuccessorFn
"后继数函数")
chinese_format.kif 735-735
(
termFormat
ChineseLanguage
SuccessorFn
"接班人")
domainEnglishFormat.kif 55876-55876
(
termFormat
ChineseTraditionalLanguage
SuccessorFn
"接班人")
domainEnglishFormat.kif 55875-55875
(
termFormat
EnglishLanguage
SuccessorFn
"successor")
domainEnglishFormat.kif 55874-55874
antecedent
(=>
(
equal
(
SuccessorFn
?INT1)
(
SuccessorFn
?INT2))
(
equal
?INT1 ?INT2))
Merge.kif 5207-5209
consequent
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
PredecessorFn
(
SuccessorFn
?INT))))
Merge.kif 5228-5230
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
SuccessorFn
(
PredecessorFn
?INT))))
Merge.kif 5224-5226
(=>
(
instance
?INT
Integer
)
(
lessThan
?INT
(
SuccessorFn
?INT)))
Merge.kif 5211-5213
statement
(
forall
(?NUMBER)
(
equal
(
SuccessorFn
?NUMBER)
(
AdditionFn
?NUMBER 1)))
Merge.kif 4624-4625
(
forall
(@ROW ?ITEM)
(
equal
(
ListLengthFn
(
ListFn
@ROW ?ITEM))
(
SuccessorFn
(
ListLengthFn
(
ListFn
@ROW)))))
Merge.kif 2965-2968
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