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
(
instance
SignumFn
TotalValuedRelation
)
Merge.kif 5188-5188
(
instance
SignumFn
UnaryFunction
)
Merge.kif 5187-5187
(
range
SignumFn
Integer
)
Merge.kif 5190-5190
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
(=>
(
instance
?NUMBER
NegativeRealNumber
)
(
equal
(
SignumFn
?NUMBER) -1))
Merge.kif 5205-5207
(=>
(
instance
?NUMBER
NonnegativeRealNumber
)
(
or
(
equal
(
SignumFn
?NUMBER) 1)
(
equal
(
SignumFn
?NUMBER) 0)))
Merge.kif 5195-5199
(=>
(
instance
?NUMBER
PositiveRealNumber
)
(
equal
(
SignumFn
?NUMBER) 1))
Merge.kif 5201-5203
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