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
PredecessorFn
Sigma KEE - PredecessorFn
PredecessorFn
appearance as argument number 1
(
documentation
PredecessorFn
ChineseLanguage
"这是一个
UnaryFunction
,它把一个
Integer
和它 的前驱联系起来,例如:5的前驱是4。")
chinese_format.kif 2282-2283
(
documentation
PredecessorFn
EnglishLanguage
"A
UnaryFunction
that maps an
Integer
to its predecessor, e.g. the predecessor of 5 is 4.")
Merge.kif 5338-5339
(
documentation
PredecessorFn
JapaneseLanguage
"
UnaryFunction
は、
Integer
をその前身に マップする。 例:5の前身は4である。")
japanese_format.kif 950-951
(
domain
PredecessorFn
1
Integer
)
Merge.kif 5335-5335
前继数函数
的 1 数量 是
整数
的
instance
(
instance
PredecessorFn
TotalValuedRelation
)
Merge.kif 5334-5334
前继数函数
是
总值关系
的
instance
(
instance
PredecessorFn
UnaryFunction
)
Merge.kif 5333-5333
前继数函数
是
一元函数
的
instance
(
range
PredecessorFn
Integer
)
Merge.kif 5336-5336
前继数函数
的
range
是
整数
的实例
appearance as argument number 2
(
format
ChineseLanguage
PredecessorFn
"(%1+2)")
chinese_format.kif 736-736
(
format
EnglishLanguage
PredecessorFn
"(%1+2)")
english_format.kif 738-738
(
format
FrenchLanguage
PredecessorFn
"(%1+2)")
french_format.kif 441-441
(
format
ItalianLanguage
PredecessorFn
"(%1+2")
relations-it.txt 227-227
(
format
JapaneseLanguage
PredecessorFn
"(%1+2)")
japanese_format.kif 2158-2158
(
format
PortugueseLanguage
PredecessorFn
"(%1+2)")
portuguese_format.kif 393-393
(
format
cz
PredecessorFn
"(%1+2)")
relations-cz.txt 454-454
(
format
de
PredecessorFn
"(%1+2)")
relations-de.txt 951-951
(
format
hi
PredecessorFn
"(%1+2")
relations-hindi.txt 265-265
(
format
ro
PredecessorFn
"(%1-1)")
relations-ro.kif 463-463
(
format
sv
PredecessorFn
"(%1+2)")
relations-sv.txt 504-504
(
format
tg
PredecessorFn
"(%1+2")
relations-tg.txt 419-419
(
termFormat
ChineseLanguage
PredecessorFn
"前任")
domainEnglishFormat.kif 47158-47158
(
termFormat
ChineseLanguage
PredecessorFn
"前继数函数")
chinese_format.kif 737-737
(
termFormat
ChineseTraditionalLanguage
PredecessorFn
"前任")
domainEnglishFormat.kif 47157-47157
(
termFormat
EnglishLanguage
PredecessorFn
"predecessor")
domainEnglishFormat.kif 47156-47156
antecedent
(=>
(
equal
(
PredecessorFn
?INT1)
(
PredecessorFn
?INT2))
(
equal
?INT1 ?INT2))
Merge.kif 5341-5343
如果 (
整数
+2)
equal
(
另一个 整数
+2),
然后
那个 整数
equal
那个 另外 整数
consequent
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
PredecessorFn
(
SuccessorFn
?INT))))
Merge.kif 5329-5331
如果
整数
是
整数
的
instance
,
然后
那个 整数
equal
((
那个 整数
+1)+2)
(=>
(
instance
?INT
Integer
)
(
equal
?INT
(
SuccessorFn
(
PredecessorFn
?INT))))
Merge.kif 5325-5327
如果
整数
是
整数
的
instance
,
然后
那个 整数
equal
((
那个 整数
+2)+1)
(=>
(
instance
?INT
Integer
)
(
greaterThan
?INT
(
PredecessorFn
?INT)))
Merge.kif 5345-5347
如果
整数
是
整数
的
instance
,
然后
那个 整数
是
greaterThan
(
那个 整数
+2)
statement
(
forall
(?NUMBER)
(
equal
(
PredecessorFn
?NUMBER)
(
SubtractionFn
?NUMBER 1)))
Merge.kif 4737-4738
对所有
整数
(
那个 整数
+2)
equal
(
那个 整数
和 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