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 29838-29839
(
domain
approximateValue
1
RealNumber
)
Mid-level-ontology.kif 29835-29835
Le nombre 1 argument de
approximateValue
est une
instance
de
nombre r�el
(
domain
approximateValue
2
RealNumber
)
Mid-level-ontology.kif 29836-29836
Le nombre 2 argument de
approximateValue
est une
instance
de
nombre r�el
(
instance
approximateValue
BinaryPredicate
)
Mid-level-ontology.kif 29834-29834
approximateValue
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
EnglishLanguage
approximateValue
"the approximate value of %1 is %n %2")
Mid-level-ontology.kif 29837-29837
(
termFormat
EnglishLanguage
approximateValue
"approximate value")
domainEnglishFormat.kif 65779-65779
antecedent
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29841-29845
approximateValue
nombre r�el
and
nombre r�el
l'argument
nombre r�el
est
nombre r�el
a la
force
modale
de
Likely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N1 ?N2))
Unlikely
))
Mid-level-ontology.kif 29847-29853
approximateValue
nombre r�el
and
nombre r�el
l'argument 0.9 est
plus
grand
que
nombre r�el
+
nombre r�el
a la
force
modale
de
Unlikely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N2 ?N1))
Unlikely
))
Mid-level-ontology.kif 29855-29861
approximateValue
nombre r�el
and
nombre r�el
l'argument 0.9 est
plus
grand
que
nombre r�el
+
nombre r�el
a la
force
modale
de
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
concentration
nombre r�el
unit� de mesure
(s),
substance
,
nombre r�el
unit� de mesure
2(s) and
mixture
substance
I est une
instance
de
substance
substance
I est une
partie
de
mixture
la
mesure
de
substance
I est
nombre r�el
unit� de mesure
3(s)
substance
I est une
partie
de
mixture
substance
I2 est une
instance
de
substance
substance
I est
substance
IE2
substance
I2 est une
partie
de
mixture
la
mesure
de
mixture
est
nombre r�el
unit� de mesure
2(s)
approximateValue
nombre r�el
and
nombre r�el
(=>
(
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
Objet
est une
instance
de
Americano
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
DrinkingWater
la
mesure
de
substance
est 90.0
CelsiusDegree
(s)
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 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
Mixture
est une
instance
de
sang
DeoxygenatedBlood
est un
attribut
de
mixture
concentration
nombre r�el
Milliliter
(s),
CarbonDioxide
, 100
Milliliter
(s) and
mixture
approximateValue
nombre r�el
and 4
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
DeoxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 14))
Medicine.kif 5766-5773
Mixture
est une
instance
de
sang
DeoxygenatedBlood
est un
attribut
de
mixture
concentration
nombre r�el
Milliliter
(s),
Oxygen
, 100
Milliliter
(s) and
mixture
approximateValue
nombre r�el
and 14
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
CarbonDioxide
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 5))
Medicine.kif 5752-5759
Mixture
est une
instance
de
sang
OxygenatedBlood
est un
attribut
de
mixture
concentration
nombre r�el
Milliliter
(s),
CarbonDioxide
, 100
Milliliter
(s) and
mixture
approximateValue
nombre r�el
and 5
(=>
(
and
(
instance
?B
Blood
)
(
attribute
?B
OxygenatedBlood
)
(
concentration
(
MeasureFn
?N
Milliliter
)
Oxygen
(
MeasureFn
100
Milliliter
) ?B))
(
approximateValue
?N 20))
Medicine.kif 5743-5750
Mixture
est une
instance
de
sang
OxygenatedBlood
est un
attribut
de
mixture
concentration
nombre r�el
Milliliter
(s),
Oxygen
, 100
Milliliter
(s) and
mixture
approximateValue
nombre r�el
and 20
(=>
(
and
(
instance
?B
Blood
)
(
instance
?SL
RingersLactate
)
(
tonicity
?SL ?B
(
MeasureFn
?N
Pascal
)))
(
approximateValue
?N 0.0))
Medicine.kif 5850-5855
Objet
est une
instance
de
sang
objet
est une
instance
de
RingersLactate
tonicity
objet
,
objet
and
nombre r�el
Pascal
(s)
approximateValue
nombre r�el
and 0.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
AmericanRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 210))
Food.kif 547-552
Nourriture
est une
instance
de
CoffeeBean
AmericanRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
Nourriture
est une
instance
de
CoffeeBean
CinnamonRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
Nourriture
est une
instance
de
CoffeeBean
CityRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
Nourriture
est une
instance
de
CoffeeBean
FrenchRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
Nourriture
est une
instance
de
CoffeeBean
FullyCityRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
Nourriture
est une
instance
de
CoffeeBean
ItalianRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
Nourriture
est une
instance
de
CoffeeBean
NewEnglandRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
Nourriture
est une
instance
de
CoffeeBean
ViennaRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 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
Objet
est une
instance
de
Cappuccino
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
MilkFoam
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
objet en une partie
est une
partie
de
substance
objet en une partie
est une
instance
de
Bubble
le
dessus
de
substance
est
objet en une partie
la
mesure
de
objet en une partie
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 0.15
approximateValue
nombre r�el
and 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
Processus
est une
instance
de
CurdlingMilk
physique
est une
instance
de
Milk
physique
est un
patient
de
processus
nombre r�el
processus
,
entit�
and
entit�
la
mesure
de
physique
est
nombre r�el
PHValue
(s)
processus
est une
instance
de
diminuer
processus
est un
sous
-processus de
processus
nombre r�el
est un
patient
de
processus
nombre r�el
est
entit�
pendant
le
d
�but de
temps
d'existence de
processus
nombre r�el
est
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Objet
est une
instance
de
FlatWhite
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
MilkFoam
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
objet en une partie
est une
partie
de
substance
objet en une partie
est une
partie
de
substance
le
dessus
de
substance
est
objet en une partie
objet en une partie
est une
instance
de
Bubble
la
mesure
de
objet en une partie
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 0.15
nombre r�el
est
plus
grand
ou �gal � 1.0
nombre r�el
est plus
petit
ou �gal � 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
Objet
est une
instance
de
Latte
substance
est une
partie
de
objet
substance
est une
partie
de
objet
substance
est une
instance
de
Espresso
substance
est une
instance
de
MilkFoam
mixtureRatio
substance
,
substance
,
nombre r�el
,
nombre r�el
and
Liter
objet en une partie
est une
partie
de
substance
objet en une partie
est une
instance
de
Bubble
le
dessus
de
substance
est
objet en une partie
la
mesure
de
objet en une partie
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 0.03
approximateValue
nombre r�el
and 0.21
approximateValue
nombre r�el
and 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
Circle
est une
instance
de
AuditoryCanal
Circle
est une
partie
de
objet
Healthy
est un
attribut
de
objet
le
diam
�tre de
Circle
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 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
Objet
est une
instance
de
AuditoryCanal
objet
est une
partie
de
objet
Healthy
est un
attribut
de
objet
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
approximateValue
nombre r�el
and 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
Circle
est une
instance
de
EustachianTube
Circle
est une
partie
de
objet
Healthy
est un
attribut
de
objet
le
diam
�tre de
Circle
est
nombre r�el
Millimeter
(s)
approximateValue
nombre r�el
and 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
Objet
est une
instance
de
EustachianTube
objet
est une
partie
de
objet
Healthy
est un
attribut
de
objet
le
longueur
de
objet
est
nombre r�el
Centimeter
(s)
approximateValue
nombre r�el
and 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
Processus
est une
instance
de
FoamingMilk
physique
est un
patient
de
processus
physique
est une
instance
de
ProcessedMilk
processus
est une
instance
de
r�chauffer
processus
est un
sous
-processus de
processus
la
mesure
de
physique
est
nombre r�el
CelsiusDegree
(s)
approximateValue
nombre r�el
and 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
Objet
est une
instance
de
humain
objet
est une
instance
de
Rectum
objet
est une
partie
de
objet
coreBodyTemp
objet
and
nombre r�el
entit�
(s) la
mesure
de
objet
est
nombre r�el
2
entit�
(s)
pendant
position temporel
approximateValue
nombre r�el
and
nombre r�el
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