Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 4669-4670
(
domain
AbsoluteValueFn
1
RealNumber
)
Merge.kif 4666-4666
(
instance
AbsoluteValueFn
TotalValuedRelation
)
Merge.kif 4665-4665
(
instance
AbsoluteValueFn
UnaryFunction
)
Merge.kif 4664-4664
(
lexicon
AbsoluteValueFn
LexNoun
"abs")
engineering.kif 133-133
(
lexicon
AbsoluteValueFn
LexNoun
"absolute value")
engineering.kif 134-134
(
range
AbsoluteValueFn
NonnegativeRealNumber
)
Merge.kif 4667-4667
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
(
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
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 4672-4683
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