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
Die Zahl 1 Argument von
approximateValue
ist ein
fall
von
RealNumber
%n{nicht}
(
domain
approximateValue
2
RealNumber
)
Mid-level-ontology.kif 29836-29836
Die Zahl 2 Argument von
approximateValue
ist ein
fall
von
RealNumber
%n{nicht}
(
instance
approximateValue
BinaryPredicate
)
Mid-level-ontology.kif 29834-29834
approximateValue
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
approximateValue
RealNumber
and
** RealNumber
,
dann die Aussage
** RealNumber
ist gleich
** ** RealNumber
%n{nicht} hat die modale Kraft von
Likely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N1 ?N2))
Unlikely
))
Mid-level-ontology.kif 29847-29853
Wenn
approximateValue
RealNumber
and
** RealNumber
,
dann die Aussage 0.9 ist
groesserAls
** RealNumber
und
** ** RealNumber
%n{nicht} hat die modale Kraft von
Unlikely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
greaterThan
0.9
(
DivisionFn
?N2 ?N1))
Unlikely
))
Mid-level-ontology.kif 29855-29861
Wenn
approximateValue
RealNumber
and
** RealNumber
,
dann die Aussage 0.9 ist
groesserAls
** ** RealNumber
und
** RealNumber
%n{nicht} hat die modale Kraft von
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
Wenn
concentration
RealNumber
UnitOfMeasure
(s),
** Substance
,
** RealNumber
** UnitOfMeasure
2(s) and
Mixture
und
** Substance
I ist ein
fall
von
** ** Substance
%n{nicht} und
** ** Substance
I ist ein
teil
von
** Mixture
%n{nicht} und das
mass
von
** ** Substance
I ist
** RealNumber
** UnitOfMeasure
3(s) %n{nicht} und
** ** Substance
I ist ein
teil
von
** Mixture
%n{nicht} und
** ** Substance
I2 ist ein
fall
von
** ** Substance
nicht und
** ** Substance
I ist gleich
** ** Substance
IE2 nicht und
** ** Substance
I2 ist ein
teil
von
** Mixture
%n{nicht} und das
mass
von
** Mixture
ist
** ** RealNumber
** UnitOfMeasure
2(s) %n{nicht},
dann
approximateValue
** RealNumber
and
** ** RealNumber
(=>
(
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
Wenn
Object
ist ein
fall
von
Americano
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
DrinkingWater
%n{nicht} und das
mass
von
** ** Substance
ist 90.0
CelsiusDegree
(s) %n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
,
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
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
Wenn
Mixture
ist ein
fall
von
Blood
%n{nicht} und
DeoxygenatedBlood
ist ein
attribut
von
** Mixture
%n{nicht} und
concentration
RealNumber
Milliliter
(s),
CarbonDioxide
, 100
Milliliter
(s) and
** Mixture
,
dann
approximateValue
** RealNumber
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
Wenn
Mixture
ist ein
fall
von
Blood
%n{nicht} und
DeoxygenatedBlood
ist ein
attribut
von
** Mixture
%n{nicht} und
concentration
RealNumber
Milliliter
(s),
Oxygen
, 100
Milliliter
(s) and
** Mixture
,
dann
approximateValue
** RealNumber
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
Wenn
Mixture
ist ein
fall
von
Blood
%n{nicht} und
OxygenatedBlood
ist ein
attribut
von
** Mixture
%n{nicht} und
concentration
RealNumber
Milliliter
(s),
CarbonDioxide
, 100
Milliliter
(s) and
** Mixture
,
dann
approximateValue
** RealNumber
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
Wenn
Mixture
ist ein
fall
von
Blood
%n{nicht} und
OxygenatedBlood
ist ein
attribut
von
** Mixture
%n{nicht} und
concentration
RealNumber
Milliliter
(s),
Oxygen
, 100
Milliliter
(s) and
** Mixture
,
dann
approximateValue
** RealNumber
and 20
(=>
(
and
(
instance
?B
Blood
)
(
instance
?SL
RingersLactate
)
(
tonicity
?SL ?B
(
MeasureFn
?N
Pascal
)))
(
approximateValue
?N 0.0))
Medicine.kif 5850-5855
Wenn
Object
ist ein
fall
von
Blood
%n{nicht} und
** Object
ist ein
fall
von
RingersLactate
%n{nicht} und
tonicity
** ** Object
,
** Object
and
RealNumber
Pascal
(s),
dann
approximateValue
** RealNumber
and 0.0
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
AmericanRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 210))
Food.kif 547-552
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
AmericanRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
CinnamonRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
CityRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
FrenchRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
FullyCityRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
ItalianRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
NewEnglandRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
ViennaRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
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
Wenn
Object
ist ein
fall
von
Cappuccino
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
MilkFoam
%n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
und
SelfConnectedObject
ist ein
teil
von
** ** Substance
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Bubble
%n{nicht} und die
oberseite
von
** ** Substance
ist
** SelfConnectedObject
und das
mass
von
** SelfConnectedObject
ist
** RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
and 0.15 und
approximateValue
** ** RealNumber
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
Wenn
Process
ist ein
fall
von
CurdlingMilk
%n{nicht} und
Physical
ist ein
fall
von
Milk
%n{nicht} und
** Physical
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
RealNumber
,
** Process
,, ,
entity
, and und
** entity
um das
mass
von
** Physical
ist
** RealNumber
PHValue
(s) %n{nicht} und
** ** Process
ist ein
fall
von
Decreasing
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und
** RealNumber
ist ein
patient
von
** ** Process
%n{nicht} und
** RealNumber
ist gleich
** entity
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** ** Process
%n{nicht} und
** RealNumber
ist gleich
** ** entity
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** ** Process
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
FlatWhite
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
MilkFoam
%n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
und
SelfConnectedObject
ist ein
teil
von
** ** Substance
%n{nicht} und
** SelfConnectedObject
ist ein
teil
von
** Substance
%n{nicht} und die
oberseite
von
** ** Substance
ist
** SelfConnectedObject
und
** SelfConnectedObject
ist ein
fall
von
Bubble
%n{nicht} und das
mass
von
** SelfConnectedObject
ist
** RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
and 0.15 und
** ** RealNumber
ist
groesserAlsOderGleich
1.0 %n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
20.0 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
Latte
%n{nicht} und
Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** Substance
ist ein
fall
von
Espresso
%n{nicht} und
** ** Substance
ist ein
fall
von
MilkFoam
%n{nicht} und
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
und
SelfConnectedObject
ist ein
teil
von
** ** Substance
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Bubble
%n{nicht} und die
oberseite
von
** ** Substance
ist
** SelfConnectedObject
und das
mass
von
** SelfConnectedObject
ist
** RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
and 0.03 und
approximateValue
** ** RealNumber
and 0.21 und
approximateValue
** ** RealNumber
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
Wenn
Circle
ist ein
fall
von
AuditoryCanal
%n{nicht} und
** Circle
ist ein
teil
von
Object
%n{nicht} und
Healthy
ist ein
attribut
von
** Object
%n{nicht} und der
durchmesser
von
** Circle
ist
RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
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
Wenn
Object
ist ein
fall
von
AuditoryCanal
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht} und die
laenge
von
** Object
ist
RealNumber
Centimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
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
Wenn
Circle
ist ein
fall
von
EustachianTube
%n{nicht} und
** Circle
ist ein
teil
von
Object
%n{nicht} und
Healthy
ist ein
attribut
von
** Object
%n{nicht} und der
durchmesser
von
** Circle
ist
RealNumber
Millimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
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
Wenn
Object
ist ein
fall
von
EustachianTube
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
Healthy
ist ein
attribut
von
** ** Object
%n{nicht} und die
laenge
von
** Object
ist
RealNumber
Centimeter
(s) %n{nicht},
dann
approximateValue
** RealNumber
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
Wenn
Process
ist ein
fall
von
FoamingMilk
%n{nicht} und
Physical
ist ein
patient
von
** Process
%n{nicht} und
** Physical
ist ein
fall
von
ProcessedMilk
%n{nicht} und
** Process
ist ein
fall
von
Heating
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Process
und das
mass
von
** Physical
ist
RealNumber
CelsiusDegree
(s) %n{nicht},
dann
approximateValue
** RealNumber
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
Wenn
Object
ist ein
fall
von
Human
%n{nicht} und
** Object
ist ein
fall
von
Rectum
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
coreBodyTemp
** Object
and
RealNumber
entity
(s) und das
mass
von
** ** Object
ist
** RealNumber
2
** entity
(s) %n{nicht} haelt
waehrend
TimePosition
%n{nicht},
dann
approximateValue
** RealNumber
and
** RealNumber
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