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 5193-5194
(
documentation
SignumFn
JapaneseLanguage
"(SignumFn ?NUMBER) は、?NUMBERの符号を示し、−1、 1、または0のいずれかの値を示す。")
japanese_format.kif 937-938
(
domain
SignumFn
1
RealNumber
)
Merge.kif 5190-5190
Il numero 1 argomenti di
SignumFn
è un
istanza
di
NumeroReale
(
instance
SignumFn
TotalValuedRelation
)
Merge.kif 5189-5189
SignumFn
è un'
istanza
di
RelazioneAValoreTotale
(
instance
SignumFn
UnaryFunction
)
Merge.kif 5188-5188
SignumFn
è un'
istanza
di
FunzioneUnaria
(
range
SignumFn
Integer
)
Merge.kif 5191-5191
rango
di
SignumFn
è un'istanza di
NumeroIntero
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
NumeroIntero
mod
NumeroIntero
is
uguale
a
NumeroIntero
NumeroIntero
is
uguale
a 0
NumeroIntero
is
uguale
a 0
NumeroIntero
is
uguale
a 0
il
segno
di
NumeroIntero
is
uguale
a il
segno
di
NumeroIntero
(=>
(
instance
?NUMBER
NegativeRealNumber
)
(
equal
(
SignumFn
?NUMBER) -1))
Merge.kif 5206-5208
NumeroReale
è un'
istanza
di
NumeroRealeNegativo
il
segno
di
NumeroReale
is
uguale
a -1
(=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
or
(
equal
(
SignumFn
?NUMBER) 1)
(
equal
(
SignumFn
?NUMBER) 0)))
Merge.kif 5196-5200
NumeroReale
è un'
istanza
di
NumeroRealeNonNegativo
il
segno
di
NumeroReale
is
uguale
a 1 il
segno
di
NumeroReale
is
uguale
a 0
(=>
(
instance
?NUMBER
PositiveRealNumber
)
(
equal
(
SignumFn
?NUMBER) 1))
Merge.kif 5202-5204
NumeroReale
è un'
istanza
di
NumeroRealePositivo
il
segno
di
NumeroReale
is
uguale
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