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 4736-4737
(
domain
AbsoluteValueFn
1
RealNumber
)
Merge.kif 4733-4733
domain
AbsoluteValueFn
, 1 and
RealNumber
(
instance
AbsoluteValueFn
TotalValuedRelation
)
Merge.kif 4732-4732
instance
AbsoluteValueFn
and
TotalValuedRelation
(
instance
AbsoluteValueFn
UnaryFunction
)
Merge.kif 4731-4731
instance
AbsoluteValueFn
and
UnaryFunction
(
lexicon
AbsoluteValueFn
LexNoun
"abs")
engineering.kif 133-133
(
lexicon
AbsoluteValueFn
LexNoun
"absolute value")
engineering.kif 134-134
(
range
AbsoluteValueFn
NonnegativeRealNumber
)
Merge.kif 4734-4734
range
AbsoluteValueFn
and
NonnegativeRealNumber
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 5158-5158
(
termFormat
ChineseLanguage
AbsoluteValueFn
"绝对值函数")
chinese_format.kif 689-689
(
termFormat
ChineseTraditionalLanguage
AbsoluteValueFn
"絕對值")
domainEnglishFormat.kif 5157-5157
(
termFormat
EnglishLanguage
AbsoluteValueFn
"absolute value")
domainEnglishFormat.kif 5156-5156
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 4739-4750
equal
AbsoluteValueFn
RealNumber
and
NonnegativeRealNumber
instance
RealNumber
and
RealNumber
instance
NonnegativeRealNumber
and
RealNumber
instance
RealNumber
and
NonnegativeRealNumber
equal
RealNumber
and
NonnegativeRealNumber
instance
RealNumber
and
NegativeRealNumber
equal
NonnegativeRealNumber
and
SubtractionFn
0.0 and
RealNumber
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