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
approximateValue
Sigma KEE - approximateValue
approximateValue
appearance as argument number 1
(
documentation
approximateValue
EnglishLanguage
"A relation that specifies two numbers are equal or nearly so.")
Mid-level-ontology.kif 29246-29247
(
domain
approximateValue
1
RealNumber
)
Mid-level-ontology.kif 29243-29243
The number 1 argument of
approximateValue
is an
instance
of
real number
(
domain
approximateValue
2
RealNumber
)
Mid-level-ontology.kif 29244-29244
The number 2 argument of
approximateValue
is an
instance
of
real number
(
instance
approximateValue
BinaryPredicate
)
Mid-level-ontology.kif 29242-29242
approximateValue
is an
instance
of
binary predicate
appearance as argument number 2
(
format
EnglishLanguage
approximateValue
"the approximate value of %1 is %n %2")
Mid-level-ontology.kif 29245-29245
antecedent
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29249-29253
If the approximate value of
a real number
is
another real number
,
then the statement
the real number
is
equal
to
the other real number
has the
modal
force
of
likely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N1 ?N2))
Unlikely
))
Mid-level-ontology.kif 29255-29261
If the approximate value of
a real number
is
another real number
,
then the statement 0.9 is
greater
than
the real number
and
the other real number
has the
modal
force
of
unlikely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N2 ?N1))
Unlikely
))
Mid-level-ontology.kif 29263-29269
If the approximate value of
a real number
is
another real number
,
then the statement 0.9 is
greater
than
the other real number
and
the real number
has the
modal
force
of
unlikely
consequent
(=>
(
and
(
instance
?IC
IgnitionCoil
)
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)
(
measure
?E1
(
MeasureFn
?N1
Volt
)))
(
approximateValue
?N1 12))
Cars.kif 3155-3165
If
an object
is an
instance
of
ignition coil
and
a process
is an
instance
of
electric transmission
and
another object
is a
resource
for
the process
and
the other object
is an
instance
of
electricity
and
an entity
is an
instance
of
electricity
and
the entity
is a
result
of
the process
and
the object
is an
instrument
for
the process
and the
measure
of
the other object
is
a real number
volt
(s),
then the approximate value of
the real number
is 12
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