Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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 29862-29863
(
domain
approximateValue
1
RealNumber
)
Mid-level-ontology.kif 29859-29859
The number 1 argument of
approximate value
is an
instance
of
real number
(
domain
approximateValue
2
RealNumber
)
Mid-level-ontology.kif 29860-29860
The number 2 argument of
approximate value
is an
instance
of
real number
(
instance
approximateValue
BinaryPredicate
)
Mid-level-ontology.kif 29858-29858
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 29861-29861
(
termFormat
EnglishLanguage
approximateValue
"approximate value")
domainEnglishFormat.kif 65781-65781
antecedent
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29865-29869
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 29871-29877
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 29879-29885
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 1321-1332
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 5775-5782
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 5766-5773
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 5752-5759
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 5743-5750
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 5850-5855
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 1285-1301
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 3226-3247
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 1367-1385
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 1399-1415
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 1576-1583
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
diameter
of
the object
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 1567-1574
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 1526-1533
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
diameter
of
the object
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 1517-1524
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 1207-1216
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 519-530
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
coreBodyTemp
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
