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
SignumFn
Sigma KEE - SignumFn
SignumFn
appearance as argument number 1
(
documentation
SignumFn
ChineseLanguage
"(SignumFn ?NUMBER) 得出 ?NUMBER 的正负符号,这将会是 以下其中的一个值: -1, 1 或 0。")
chinese_format.kif 2271-2272
(
documentation
SignumFn
EnglishLanguage
"(SignumFn ?NUMBER) denotes the sign of ?NUMBER. This is one of the following values: -1, 1, or 0.")
Merge.kif 5192-5193
(
documentation
SignumFn
JapaneseLanguage
"(SignumFn ?NUMBER) は、?NUMBERの符号を示し、−1、 1、または0のいずれかの値を示す。")
japanese_format.kif 937-938
(
domain
SignumFn
1
RealNumber
)
Merge.kif 5189-5189
Le nombre 1 argument de
SignumFn
est une
instance
de
nombre r�el
(
instance
SignumFn
TotalValuedRelation
)
Merge.kif 5188-5188
SignumFn
est une
instance
de
relation total
(
instance
SignumFn
UnaryFunction
)
Merge.kif 5187-5187
SignumFn
est une
instance
de
function unaire
(
range
SignumFn
Integer
)
Merge.kif 5190-5190
Le
domaine
de
SignumFn
est une instance de
nombre entier
appearance as argument number 2
(
format
ChineseLanguage
SignumFn
"%1 的正或负值")
chinese_format.kif 726-726
(
format
EnglishLanguage
SignumFn
"the sign of %1")
english_format.kif 728-728
(
format
FrenchLanguage
SignumFn
"le signe de %1")
french_format.kif 436-436
(
format
ItalianLanguage
SignumFn
"il segno di %1")
relations-it.txt 263-263
(
format
JapaneseLanguage
SignumFn
"%1 の sign")
japanese_format.kif 2153-2153
(
format
PortugueseLanguage
SignumFn
"o sinal de %1")
portuguese_format.kif 388-388
(
format
de
SignumFn
"das zeichen von %1")
relations-de.txt 939-939
(
format
hi
SignumFn
"%1 kaa chihna")
relations-hindi.txt 300-300
(
format
ro
SignumFn
"sign%t{semnul} lui %1")
relations-ro.kif 458-458
(
format
sv
SignumFn
"tecknet på %1")
relations-sv.txt 498-498
(
format
tg
SignumFn
"ang senyas ng %1")
relations-tg.txt 455-455
(
termFormat
ChineseLanguage
SignumFn
"正或负值函数")
chinese_format.kif 727-727
(
termFormat
ChineseLanguage
SignumFn
"正负号")
domainEnglishFormat.kif 53042-53042
(
termFormat
ChineseTraditionalLanguage
SignumFn
"正負號")
domainEnglishFormat.kif 53041-53041
(
termFormat
EnglishLanguage
SignumFn
"signum")
domainEnglishFormat.kif 53040-53040
consequent
(=>
(
and
(
equal
(
RemainderFn
?NUMBER1 ?NUMBER2) ?NUMBER)
(
not
(
equal
?NUMBER 0))
(
not
(
equal
?NUMBER1 0))
(
not
(
equal
?NUMBER2 0)))
(
equal
(
SignumFn
?NUMBER2)
(
SignumFn
?NUMBER)))
Merge.kif 5130-5142
Nombre entier
reste
nombre entier
est
nombre entier
nombre entier
est
nombre entier
est
nombre entier
est
signe
de
nombre entier
est
signe
de
nombre entier
(=>
(
instance
?NUMBER
NegativeRealNumber
)
(
equal
(
SignumFn
?NUMBER) -1))
Merge.kif 5205-5207
Nombre r�el
est une
instance
de
nombre r�el n�gatif
le
signe
de
nombre r�el
est &%�gal � -1
(=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
or
(
equal
(
SignumFn
?NUMBER) 1)
(
equal
(
SignumFn
?NUMBER) 0)))
Merge.kif 5195-5199
Nombre r�el
est une
instance
de
nombre r�el non n�gatif
le
signe
de
nombre r�el
est
signe
de
nombre r�el
est &%�gal � 0
(=>
(
instance
?NUMBER
PositiveRealNumber
)
(
equal
(
SignumFn
?NUMBER) 1))
Merge.kif 5201-5203
Nombre r�el
est une
instance
de
nombre r�el positif
le
signe
de
nombre r�el
est &%�gal � 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