Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 4793-4794
(
documentation
AbsoluteValueFn
JapaneseLanguage
"(
AbsoluteValueFn
?NUMBER) の値は
RealNumber
?NUMBER の絶対値である。")
japanese_format.kif 888-889
(
domain
AbsoluteValueFn
1
RealNumber
)
Merge.kif 4790-4790
绝对值函数
的 1 数量 是
实数
的
instance
(
instance
AbsoluteValueFn
TotalValuedRelation
)
Merge.kif 4789-4789
绝对值函数
是
总值关系
的
instance
(
instance
AbsoluteValueFn
UnaryFunction
)
Merge.kif 4788-4788
绝对值函数
是
一元函数
的
instance
(
lexicon
AbsoluteValueFn
LexNoun
"abs")
engineering.kif 133-133
绝对值函数
是
一元函数
的
instance
(
lexicon
AbsoluteValueFn
LexNoun
"absolute value")
engineering.kif 134-134
绝对值函数
是
一元函数
的
instance
(
range
AbsoluteValueFn
NonnegativeRealNumber
)
Merge.kif 4791-4791
绝对值函数
的
range
是
非负实数
的实例
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 5163-5163
(
termFormat
ChineseLanguage
AbsoluteValueFn
"绝对值函数")
chinese_format.kif 689-689
(
termFormat
ChineseTraditionalLanguage
AbsoluteValueFn
"絕對值")
domainEnglishFormat.kif 5162-5162
(
termFormat
EnglishLanguage
AbsoluteValueFn
"absolute value")
domainEnglishFormat.kif 5161-5161
(
termFormat
de
AbsoluteValueFn
"AbsolutbetragFn")
terms-de.txt 266-266
(
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 4796-4807
equal
实数
的绝对值 and
非负实数
和
那个 实数
是
实数
的
instance
和
那个 非负实数
是
实数
的
instance
若且唯若
那个 实数
是
非负实数
的
instance
和
equal
那个 实数
and
那个 非负实数
或
那个 实数
是
负实数
的
instance
和
equal
那个 非负实数
and (0.0 和
那个 实数
)
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