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
The number 1 argument of
signum
is an
instance
of
real number
(
instance
SignumFn
TotalValuedRelation
)
Merge.kif 5188-5188
Signum
is an
instance
of
total valued relation
(
instance
SignumFn
UnaryFunction
)
Merge.kif 5187-5187
Signum
is an
instance
of
unary function
(
range
SignumFn
Integer
)
Merge.kif 5190-5190
The
range
of
signum
is an instance of
integer
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
If
an integer
mod
another integer
is
equal
to
a third integer
and
the third integer
is not
equal
to 0 and
the integer
is not
equal
to 0 and
the other integer
is not
equal
to 0,
then the
sign
of
the other integer
is
equal
to the
sign
of
the third integer
(=>
(
instance
?NUMBER
NegativeRealNumber
)
(
equal
(
SignumFn
?NUMBER) -1))
Merge.kif 5205-5207
If
a real number
is an
instance
of
negative real number
,
then the
sign
of
the real number
is
equal
to -1
(=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
or
(
equal
(
SignumFn
?NUMBER) 1)
(
equal
(
SignumFn
?NUMBER) 0)))
Merge.kif 5195-5199
If
a real number
is an
instance
of
nonnegative real number
,
then the
sign
of
the real number
is
equal
to 1 or the
sign
of
the real number
is
equal
to 0
(=>
(
instance
?NUMBER
PositiveRealNumber
)
(
equal
(
SignumFn
?NUMBER) 1))
Merge.kif 5201-5203
If
a real number
is an
instance
of
positive real number
,
then the
sign
of
the real number
is
equal
to 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