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
AbsoluteValueFn
Sigma KEE - AbsoluteValueFn
AbsoluteValueFn
appearance as argument number 1
(
documentation
AbsoluteValueFn
ChineseLanguage
"(
AbsoluteValueFn
?NUMBER)的值时
RealNumber
?NUMBER 的绝对值。")
chinese_format.kif 2224-2225
(
documentation
AbsoluteValueFn
EnglishLanguage
"The value of (
AbsoluteValueFn
?NUMBER) is the absolute value of the
RealNumber
?NUMBER.")
Merge.kif 4765-4766
(
documentation
AbsoluteValueFn
JapaneseLanguage
"(
AbsoluteValueFn
?NUMBER) の値は
RealNumber
?NUMBER の絶対値である。")
japanese_format.kif 888-889
(
domain
AbsoluteValueFn
1
RealNumber
)
Merge.kif 4762-4762
O argumento numero 1 de
AbsoluteValueFn
e' uma
instancia
de
Numero Real
(
instance
AbsoluteValueFn
TotalValuedRelation
)
Merge.kif 4761-4761
AbsoluteValueFn
e' uma
instancia
de
Relacao Total
(
instance
AbsoluteValueFn
UnaryFunction
)
Merge.kif 4760-4760
AbsoluteValueFn
e' uma
instancia
de
funcao Unaria
(
lexicon
AbsoluteValueFn
LexNoun
"abs")
engineering.kif 134-134
(
lexicon
AbsoluteValueFn
LexNoun
"absolute value")
engineering.kif 135-135
(
range
AbsoluteValueFn
NonnegativeRealNumber
)
Merge.kif 4763-4763
O
contra
-dominio de
AbsoluteValueFn
e' uma instancia de
Numero Real nao-negativo
appearance as argument number 2
(
format
ChineseLanguage
AbsoluteValueFn
"%1 的绝对值")
chinese_format.kif 688-688
(
format
EnglishLanguage
AbsoluteValueFn
"the absolute value of %1")
english_format.kif 690-690
(
format
FrenchLanguage
AbsoluteValueFn
"la valeur absolue de %1")
french_format.kif 417-417
(
format
ItalianLanguage
AbsoluteValueFn
"ilvalore assoluto di%1")
relations-it.txt 18-18
(
format
JapaneseLanguage
AbsoluteValueFn
"%1 の absolute value")
japanese_format.kif 2134-2134
(
format
PortugueseLanguage
AbsoluteValueFn
"o valor absoluto de %1")
portuguese_format.kif 369-369
(
format
de
AbsoluteValueFn
"der absolutebetrag von %1")
relations-de.txt 895-895
(
format
hi
AbsoluteValueFn
"%1 kaa nirapeksha maana")
relations-hindi.txt 63-63
(
format
ro
AbsoluteValueFn
"value%t{valoarea} absolute{absolutã} a lui %1")
relations-ro.kif 439-439
(
format
sv
AbsoluteValueFn
"absolutbeloppet av %1")
relations-sv.txt 461-461
(
format
tg
AbsoluteValueFn
"ang buong kahulugan sa %1")
relations-cb.txt 52-52
(
termFormat
ChineseLanguage
AbsoluteValueFn
"绝对值")
domainEnglishFormat.kif 5154-5154
(
termFormat
ChineseLanguage
AbsoluteValueFn
"绝对值函数")
chinese_format.kif 689-689
(
termFormat
ChineseTraditionalLanguage
AbsoluteValueFn
"絕對值")
domainEnglishFormat.kif 5153-5153
(
termFormat
EnglishLanguage
AbsoluteValueFn
"absolute value")
domainEnglishFormat.kif 5152-5152
(
termFormat
tg
AbsoluteValueFn
"tungkulin ng buong kahulugan")
relations-tg.txt 53-53
antecedent
(<=>
(
and
(
equal
(
AbsoluteValueFn
?NUMBER1) ?NUMBER2)
(
instance
?NUMBER1
RealNumber
)
(
instance
?NUMBER2
RealNumber
))
(
or
(
and
(
instance
?NUMBER1
NonnegativeRealNumber
)
(
equal
?NUMBER1 ?NUMBER2))
(
and
(
instance
?NUMBER1
NegativeRealNumber
)
(
equal
?NUMBER2
(
SubtractionFn
0.0 ?NUMBER1)))))
Merge.kif 4768-4779
O
valor
absoluto
de
Numero Real
e'
igual
a
Numero Real nao-negativo
Numero Real
e' uma
instancia
de
Numero Real
Numero Real nao-negativo
e' uma
instancia
de
Numero Real
Numero Real
e' uma
instancia
de
Numero Real nao-negativo
Numero Real
e'
igual
a
Numero Real nao-negativo
Numero Real
e' uma
instancia
de
Numero Real negativo
Numero Real nao-negativo
e'
igual
a (0.0 +
Numero Real
)
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