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 29826-29827
(
domain
approximateValue
1
RealNumber
)
Mid-level-ontology.kif 29823-29823
O argumento numero 1 de
approximateValue
e' uma
instancia
de
Numero Real
(
domain
approximateValue
2
RealNumber
)
Mid-level-ontology.kif 29824-29824
O argumento numero 2 de
approximateValue
e' uma
instancia
de
Numero Real
(
instance
approximateValue
BinaryPredicate
)
Mid-level-ontology.kif 29822-29822
approximateValue
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
(
format
EnglishLanguage
approximateValue
"the approximate value of %1 is %n %2")
Mid-level-ontology.kif 29825-29825
(
termFormat
EnglishLanguage
approximateValue
"approximate value")
domainEnglishFormat.kif 65779-65779
antecedent
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29829-29833
approximateValue
Numero Real
and
Numero Real
o argumento
Numero Real
e'
igual
a
Numero Real
tem a
forca
modal
de
Likely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N1 ?N2))
Unlikely
))
Mid-level-ontology.kif 29835-29841
approximateValue
Numero Real
and
Numero Real
o argumento 0.9 e'
maior
que
Numero Real
+
Numero Real
tem a
forca
modal
de
Unlikely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N2 ?N1))
Unlikely
))
Mid-level-ontology.kif 29843-29849
approximateValue
Numero Real
and
Numero Real
o argumento 0.9 e'
maior
que
Numero Real
+
Numero Real
tem a
forca
modal
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
Numero Real
Unidade de Medida
(s),
Substancia
,
Numero Real
Unidade de Medida
2(s) and
Mistura
Substancia
I e' uma
instancia
de
Substancia
Substancia
I e' uma &parte de
Mistura
a
medida
de
Substancia
I e'
Numero Real
Unidade de Medida
3(s)
Substancia
I e' uma &parte de
Mistura
Substancia
I2 e' uma
instancia
de
Substancia
Substancia
I e'
igual
a
Substancia
IE2
Substancia
I2 e' uma &parte de
Mistura
a
medida
de
Mistura
e'
Numero Real
Unidade de Medida
2(s)
approximateValue
Numero Real
and
Numero Real
(=>
(
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
Objeto
e' uma
instancia
de
Americano
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
DrinkingWater
a
medida
de
Substancia
e' 90.0
CelsiusDegree
(s)
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
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
Mistura
e' uma
instancia
de
Sangue
DeoxygenatedBlood
e' um
atributo
de
Mistura
concentration
Numero Real
Milliliter
(s),
CarbonDioxide
, 100
Milliliter
(s) and
Mistura
approximateValue
Numero Real
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
Mistura
e' uma
instancia
de
Sangue
DeoxygenatedBlood
e' um
atributo
de
Mistura
concentration
Numero Real
Milliliter
(s),
Oxygen
, 100
Milliliter
(s) and
Mistura
approximateValue
Numero Real
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
Mistura
e' uma
instancia
de
Sangue
OxygenatedBlood
e' um
atributo
de
Mistura
concentration
Numero Real
Milliliter
(s),
CarbonDioxide
, 100
Milliliter
(s) and
Mistura
approximateValue
Numero Real
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
Mistura
e' uma
instancia
de
Sangue
OxygenatedBlood
e' um
atributo
de
Mistura
concentration
Numero Real
Milliliter
(s),
Oxygen
, 100
Milliliter
(s) and
Mistura
approximateValue
Numero Real
and 20
(=>
(
and
(
instance
?B
Blood
)
(
instance
?SL
RingersLactate
)
(
tonicity
?SL ?B
(
MeasureFn
?N
Pascal
)))
(
approximateValue
?N 0.0))
Medicine.kif 5850-5855
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma
instancia
de
RingersLactate
tonicity
Objeto
,
Objeto
and
Numero Real
Pascal
(s)
approximateValue
Numero Real
and 0.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
AmericanRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 210))
Food.kif 547-552
Comida
e' uma
instancia
de
CoffeeBean
AmericanRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
Comida
e' uma
instancia
de
CoffeeBean
CinnamonRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
Comida
e' uma
instancia
de
CoffeeBean
CityRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
Comida
e' uma
instancia
de
CoffeeBean
FrenchRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
Comida
e' uma
instancia
de
CoffeeBean
FullyCityRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
Comida
e' uma
instancia
de
CoffeeBean
ItalianRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
Comida
e' uma
instancia
de
CoffeeBean
NewEnglandRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
Comida
e' uma
instancia
de
CoffeeBean
ViennaRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
Cappuccino
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma
instancia
de
Bubble
o
topo
de
Substancia
e'
Objeto auto-conectado
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.15
approximateValue
Numero Real
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
Processo
e' uma
instancia
de
CurdlingMilk
Fisico
e' uma
instancia
de
Milk
Fisico
e' um
patient
de
Processo
Numero Real
Processo
,
Entidade
and
Entidade
a
medida
de
Fisico
e'
Numero Real
PHValue
(s)
Processo
e' uma
instancia
de
Diminuir
Processo
e' um
sub
-processo de
Processo
Numero Real
e' um
patient
de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Numero Real
e'
igual
a
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
Objeto
e' uma
instancia
de
FlatWhite
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma &parte de
Substancia
o
topo
de
Substancia
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
instancia
de
Bubble
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.15
Numero Real
e'
maior
ou igual a 1.0
Numero Real
e'
menor
ou igual a 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
Objeto
e' uma
instancia
de
Latte
Substancia
e' uma &parte de
Objeto
Substancia
e' uma &parte de
Objeto
Substancia
e' uma
instancia
de
Espresso
Substancia
e' uma
instancia
de
MilkFoam
mixtureRatio
Substancia
,
Substancia
,
Numero Real
,
Numero Real
and
Liter
Objeto auto-conectado
e' uma &parte de
Substancia
Objeto auto-conectado
e' uma
instancia
de
Bubble
o
topo
de
Substancia
e'
Objeto auto-conectado
a
medida
de
Objeto auto-conectado
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
and 0.03
approximateValue
Numero Real
and 0.21
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
AuditoryCanal
Objeto
e' uma &parte de
Objeto
Healthy
e' um
atributo
de
Objeto
o
diametro
de
Objeto
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
AuditoryCanal
Objeto
e' uma &parte de
Objeto
Healthy
e' um
atributo
de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Centimeter
(s)
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
EustachianTube
Objeto
e' uma &parte de
Objeto
Healthy
e' um
atributo
de
Objeto
o
diametro
de
Objeto
e'
Numero Real
Millimeter
(s)
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
EustachianTube
Objeto
e' uma &parte de
Objeto
Healthy
e' um
atributo
de
Objeto
o
comprimento
de
Objeto
e'
Numero Real
Centimeter
(s)
approximateValue
Numero Real
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
Processo
e' uma
instancia
de
FoamingMilk
Fisico
e' um
patient
de
Processo
Fisico
e' uma
instancia
de
ProcessedMilk
Processo
e' uma
instancia
de
Aquecer
Processo
e' um
sub
-processo de
Processo
a
medida
de
Fisico
e'
Numero Real
CelsiusDegree
(s)
approximateValue
Numero Real
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
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
Rectum
Objeto
e' uma &parte de
Objeto
coreBodyTemp
Objeto
and
Numero Real
Entidade
(s) a
medida
de
Objeto
e'
Numero Real
2
Entidade
(s)
vale
durante
Posicao Temporal
approximateValue
Numero Real
and
Numero Real
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