Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
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
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 31732-31733
(
domain
approximateValue
1
RealNumber
)
Mid-level-ontology.kif 31729-31729
The number 1 argument of
approximate value
is an
instance
of
real number
(
domain
approximateValue
2
RealNumber
)
Mid-level-ontology.kif 31730-31730
The number 2 argument of
approximate value
is an
instance
of
real number
(
instance
approximateValue
BinaryPredicate
)
Mid-level-ontology.kif 31728-31728
approximate value
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 31731-31731
(
termFormat
EnglishLanguage
approximateValue
"approximate value")
domainEnglishFormat.kif 65773-65773
antecedent
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 31735-31739
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 31741-31747
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 31749-31755
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
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
If the
concentration
of
a kind of substance
in
a mixture
is
a real number
an unit of measure
(s) per
another real number
the unit of measure
2(s) and
a kind of substance
I is an
instance
of
the kind of substance
and
the kind of substance
I is a
part
of
the mixture
and the
measure
of
the kind of substance
I is
a third real number
the unit of measure
3(s) and
the kind of substance
I is a
part
of
the mixture
and
the kind of substance
I2 is not an
instance
of
the kind of substance
and
the kind of substance
I is not
equal
to
the kind of substance
IE2 and
the kind of substance
I2 is a
part
of
the mixture
and the
measure
of
the mixture
is
the other real number
the unit of measure
2(s),
then the approximate value of
the real number
is
the third real number
(=>
(
and
(
instance
?A
Americano
)
(
part
?E ?A)
(
part
?W ?A)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
measure
?W
(
MeasureFn
90.0
CelsiusDegree
))
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)))
Food.kif 1322-1333
If
an object
is an
instance
of
americano
and
a substance
is a
part
of
the object
and
another substance
is a
part
of
the object
and
the substance
is an
instance
of
espresso
and
the other substance
is an
instance
of
potable water
and the
measure
of
the other substance
is 90.0
celsius degree
(s) and A
Mixture
containing
a real number
unit
liter
of
the substance
and
another real number
unit
liter
of
the other substance
,
then the approximate value of
the real number
is 0.03 and the approximate value of
the other real number
is 0.15
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
DeoxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
CarbonDioxide
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 4))
Medicine.kif 5786-5793
If
a mixture
is an
instance
of
blood
and
deoxygenated blood
is an
attribute
of
the mixture
and the
concentration
of
carbon dioxide
in
the mixture
is
a real number
Milliliter
(s) per 100
Milliliter
(s),
then the approximate value of
the real number
is 4
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
DeoxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 14))
Medicine.kif 5777-5784
If
a mixture
is an
instance
of
blood
and
deoxygenated blood
is an
attribute
of
the mixture
and the
concentration
of
oxygen
in
the mixture
is
a real number
Milliliter
(s) per 100
Milliliter
(s),
then the approximate value of
the real number
is 14
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
CarbonDioxide
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 5))
Medicine.kif 5763-5770
If
a mixture
is an
instance
of
blood
and
oxygenated blood
is an
attribute
of
the mixture
and the
concentration
of
carbon dioxide
in
the mixture
is
a real number
Milliliter
(s) per 100
Milliliter
(s),
then the approximate value of
the real number
is 5
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 20))
Medicine.kif 5754-5761
If
a mixture
is an
instance
of
blood
and
oxygenated blood
is an
attribute
of
the mixture
and the
concentration
of
oxygen
in
the mixture
is
a real number
Milliliter
(s) per 100
Milliliter
(s),
then the approximate value of
the real number
is 20
(=>
(
and
(
instance
?B
Blood
)
(
instance
?SL
RingersLactate
)
(
tonicity
?SL ?B
(
MeasureFn
?N
Pascal
)))
(
approximateValue
?N 0.0))
Medicine.kif 5862-5867
If
an object
is an
instance
of
blood
and
another object
is an
instance
of
Hartmann's solution
and the
tonicity
of
the other object
with respect to
the object
is
a real number
pascal
(s),
then the approximate value of
the real number
is 0.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
AmericanRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 210))
Food.kif 547-552
If
a food
is an
instance
of
coffee bean
and
American roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
If
a food
is an
instance
of
coffee bean
and
cinnamon roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
If
a food
is an
instance
of
coffee bean
and
city roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
If
a food
is an
instance
of
coffee bean
and
French roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
If
a food
is an
instance
of
coffee bean
and
full city roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
If
a food
is an
instance
of
coffee bean
and
Italian roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
If
a food
is an
instance
of
coffee bean
and
New England roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
If
a food
is an
instance
of
coffee bean
and
Vienna roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 230
(=>
(
and
(
instance
?C
Cappuccino
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
approximateValue
?L 20.0)))
Food.kif 1286-1302
If
an object
is an
instance
of
cappuccino
and
a substance
is a
part
of
the object
and
another substance
is a
part
of
the object
and
the substance
is an
instance
of
espresso
and
the other substance
is an
instance
of
milk foam
and A
Mixture
containing
a real number
unit
liter
of
the substance
and
another real number
unit
liter
of
the other substance
and
a self connected object
is a
part
of
the other substance
and
the self connected object
is an
instance
of
bubble
and the
top
of
the other substance
is
the self connected object
and the
measure
of
the self connected object
is
a third real number
millimeter
(s),
then the approximate value of
the real number
is 0.03 and the approximate value of
the other real number
is 0.15 and the approximate value of
the third real number
is 20.0
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3233-3254
If
a process
is an
instance
of
curdling milk
and
a physical
is an
instance
of
milk
and
the physical
is a
patient
of
the process
,
then there exist
a real number
,
another process
,, ,
an entity
and
another entity
such that the
measure
of
the physical
is
the real number
PH value
(s) and
the other process
is an
instance
of
decreasing
and
the other process
is a
subprocess
of
the process
and
the real number
is a
patient
of
the other process
and
the real number
is
equal
to
the entity
holds
during
the
beginning
of the
time
of existence of
the other process
and
the real number
is
equal
to
the other entity
holds
during
the
end
of the
time
of existence of
the other process
(=>
(
and
(
instance
?C
FlatWhite
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
part
?B ?E)
(
top
?B ?M)
(
instance
?B
Bubble
)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.15)
(
greaterThanOrEqualTo
?L 1.0)
(
lessThanOrEqualTo
?L 20.0)))
Food.kif 1368-1386
If
an object
is an
instance
of
flat white
and
a substance
is a
part
of
the object
and
another substance
is a
part
of
the object
and
the substance
is an
instance
of
espresso
and
the other substance
is an
instance
of
milk foam
and A
Mixture
containing
a real number
unit
liter
of
the substance
and
another real number
unit
liter
of
the other substance
and
a self connected object
is a
part
of
the other substance
and
the self connected object
is a
part
of
the substance
and the
top
of
the other substance
is
the self connected object
and
the self connected object
is an
instance
of
bubble
and the
measure
of
the self connected object
is
a third real number
millimeter
(s),
then the approximate value of
the real number
is 0.03 and the approximate value of
the other real number
is 0.15 and
the third real number
is
greater
than or equal to 1.0 and
the third real number
is
less
than or equal to 20.0
(=>
(
and
(
instance
?C
Latte
)
(
part
?E ?C)
(
part
?M ?C)
(
instance
?E
Espresso
)
(
instance
?M
MilkFoam
)
(
mixtureRatio
?E ?M ?V1 ?V2
Liter
)
(
part
?B ?M)
(
instance
?B
Bubble
)
(
top
?B ?M)
(
measure
?B
(
MeasureFn
?L
Millimeter
)))
(
and
(
approximateValue
?V1 0.03)
(
approximateValue
?V2 0.21)
(
approximateValue
?L 12.0)))
Food.kif 1400-1416
If
an object
is an
instance
of
latte
and
a substance
is a
part
of
the object
and
another substance
is a
part
of
the object
and
the substance
is an
instance
of
espresso
and
the other substance
is an
instance
of
milk foam
and A
Mixture
containing
a real number
unit
liter
of
the substance
and
another real number
unit
liter
of
the other substance
and
a self connected object
is a
part
of
the other substance
and
the self connected object
is an
instance
of
bubble
and the
top
of
the other substance
is
the self connected object
and the
measure
of
the self connected object
is
a third real number
millimeter
(s),
then the approximate value of
the real number
is 0.03 and the approximate value of
the other real number
is 0.21 and the approximate value of
the third real number
is 12.0
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
diameter
?ET
(
MeasureFn
?N
Millimeter
)))
(
approximateValue
?N 0.7))
Anatomy.kif 1611-1618
If
a circle
is an
instance
of
auditory canal
and
the circle
is a
part
of
an object
and
healthy
is an
attribute
of
the object
and the
diameter
of
the circle
is
a real number
millimeter
(s),
then the approximate value of
the real number
is 0.7
(=>
(
and
(
instance
?ET
AuditoryCanal
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 2.5))
Anatomy.kif 1602-1609
If
an object
is an
instance
of
auditory canal
and
the object
is a
part
of
another object
and
healthy
is an
attribute
of
the other object
and the
length
of
the object
is
a real number
centimeter
(s),
then the approximate value of
the real number
is 2.5
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
diameter
?ET
(
MeasureFn
?N
Millimeter
)))
(
approximateValue
?N 3.0))
Anatomy.kif 1561-1568
If
a circle
is an
instance
of
Eustachian tube
and
the circle
is a
part
of
an object
and
healthy
is an
attribute
of
the object
and the
diameter
of
the circle
is
a real number
millimeter
(s),
then the approximate value of
the real number
is 3.0
(=>
(
and
(
instance
?ET
EustachianTube
)
(
part
?ET ?H)
(
attribute
?H
Healthy
)
(
length
?ET
(
MeasureFn
?N
Centimeter
)))
(
approximateValue
?N 35.0))
Anatomy.kif 1552-1559
If
an object
is an
instance
of
Eustachian tube
and
the object
is a
part
of
another object
and
healthy
is an
attribute
of
the other object
and the
length
of
the object
is
a real number
centimeter
(s),
then the approximate value of
the real number
is 35.0
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?H
Heating
)
(
subProcess
?H ?FM)
(
measure
?M
(
MeasureFn
?T
CelsiusDegree
)))
(
approximateValue
?T 70.0))
Food.kif 1208-1217
If
a process
is an
instance
of
foaming milk
and
a physical
is a
patient
of
the process
and
the physical
is an
instance
of
processed milk
and
another process
is an
instance
of
heating
and
the other process
is a
subprocess
of
the process
and the
measure
of
the physical
is
a real number
celsius degree
(s),
then the approximate value of
the real number
is 70.0
(=>
(
and
(
instance
?H
Human
)
(
instance
?R
Rectum
)
(
part
?R ?H)
(
holdsDuring
?T
(
and
(
coreBodyTemp
?H
(
MeasureFn
?N ?U))
(
measure
?R
(
MeasureFn
?N2 ?U)))))
(
approximateValue
?N ?N2))
Medicine.kif 509-520
If
an object
is an
instance
of
human
and
another object
is an
instance
of
rectum
and
the other object
is a
part
of
the object
and
core body temp
the object
and
a real number
an entity
(s) and the
measure
of
the other object
is
the real number
2
the entity
(s) holds
during
a time position
,
then the approximate value of
the real number
is
the real number
2
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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