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
Thanking
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 5193-5194
(
documentation
SignumFn
JapaneseLanguage
"(SignumFn ?NUMBER) は、?NUMBERの符号を示し、−１、 １、または０のいずれかの値を示す。")
japanese_format.kif 937-938
(
domain
SignumFn
1
RealNumber
)
Merge.kif 5190-5190
O argumento numero 1 de
SignumFn
e' uma
instancia
de
Numero Real
(
instance
SignumFn
TotalValuedRelation
)
Merge.kif 5189-5189
SignumFn
e' uma
instancia
de
Relacao Total
(
instance
SignumFn
UnaryFunction
)
Merge.kif 5188-5188
SignumFn
e' uma
instancia
de
funcao Unaria
(
range
SignumFn
Integer
)
Merge.kif 5191-5191
O
contra
-dominio de
SignumFn
e' uma instancia de
Numero Inteiro
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 53044-53044
(
termFormat
ChineseTraditionalLanguage
SignumFn
"正負號")
domainEnglishFormat.kif 53043-53043
(
termFormat
EnglishLanguage
SignumFn
"signum")
domainEnglishFormat.kif 53042-53042
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 5131-5143
Numero Inteiro
mod
Numero Inteiro
e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
e'
igual
a 0
Numero Inteiro
e'
igual
a 0
o
sinal
de
Numero Inteiro
e'
igual
a o
sinal
de
Numero Inteiro
(=>
(
instance
?NUMBER
NegativeRealNumber
)
(
equal
(
SignumFn
?NUMBER) -1))
Merge.kif 5206-5208
Numero Real
e' uma
instancia
de
Numero Real negativo
o
sinal
de
Numero Real
e'
igual
a -1
(=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
or
(
equal
(
SignumFn
?NUMBER) 1)
(
equal
(
SignumFn
?NUMBER) 0)))
Merge.kif 5196-5200
Numero Real
e' uma
instancia
de
Numero Real nao-negativo
o
sinal
de
Numero Real
e'
igual
a 1 o
sinal
de
Numero Real
e'
igual
a 0
(=>
(
instance
?NUMBER
PositiveRealNumber
)
(
equal
(
SignumFn
?NUMBER) 1))
Merge.kif 5202-5204
Numero Real
e' uma
instancia
de
Numero Real positivo
o
sinal
de
Numero Real
e'
igual
a 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
Thanking