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
mixtureRatio
Sigma KEE - mixtureRatio
mixtureRatio
appearance as argument number 1
(
documentation
mixtureRatio
EnglishLanguage
"
mixtureRatio
is a
QuintaryRelation
which specifies how many
Liter
of two
Liquid
Substance
s in a
LiquidMixture
.")
Food.kif 1238-1239
(
domain
mixtureRatio
1
Substance
)
Food.kif 1241-1241
Die Zahl 1 Argument von
mixtureRatio
ist ein
fall
von
Substance
%n{nicht}
(
domain
mixtureRatio
2
Substance
)
Food.kif 1242-1242
Die Zahl 2 Argument von
mixtureRatio
ist ein
fall
von
Substance
%n{nicht}
(
domain
mixtureRatio
3
RealNumber
)
Food.kif 1243-1243
Die Zahl 3 Argument von
mixtureRatio
ist ein
fall
von
RealNumber
%n{nicht}
(
domain
mixtureRatio
4
RealNumber
)
Food.kif 1244-1244
Die Zahl 4 Argument von
mixtureRatio
ist ein
fall
von
RealNumber
%n{nicht}
(
domain
mixtureRatio
5
UnitOfMeasure
)
Food.kif 1245-1245
Die Zahl 5 Argument von
mixtureRatio
ist ein
fall
von
UnitOfMeasure
%n{nicht}
(
instance
mixtureRatio
QuintaryRelation
)
Food.kif 1237-1237
mixtureRatio
ist ein
fall
von
QuintaryRelation
%n{nicht}
appearance as argument number 2
(
format
EnglishLanguage
mixtureRatio
"A
Mixture
containing %3 unit %5 of %1 and %4 unit %5 of %2")
Food.kif 1246-1246
(
termFormat
EnglishLanguage
mixtureRatio
"mixture ratio")
Food.kif 1240-1240
antecedent
(=>
(
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
?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
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
?L
LongBlack
)
(
part
?E ?L)
(
part
?W ?L)
(
instance
?E
Espresso
)
(
instance
?W
DrinkingWater
)
(
mixtureRatio
?E ?W ?V1 ?V2
Liter
))
(
and
(
approximateValue
?V1 0.06)
(
approximateValue
?V2 0.12)))
Food.kif 1440-1450
Wenn
Object
ist ein
fall
von
LongBlack
%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
mixtureRatio
** Substance
,
** ** Substance
,
RealNumber
,
** RealNumber
and
Liter
,
dann
approximateValue
** RealNumber
and 0.06 und
approximateValue
** ** RealNumber
and 0.12
(=>
(
and
(
instance
?M
Mixture
)
(
instance
?Z
UnitOfMeasure
)
(
mixtureRatio
?A ?B ?X ?Y ?Z)
(
measure
?M
(
MeasureFn
?T ?Z))
(
part
?A ?M)
(
part
?B ?M)
(
measure
?A
(
MeasureFn
?X ?Z))
(
measure
?B
(
MeasureFn
?Y ?Z)))
(
equal
?T
(
AdditionFn
?X ?Y)))
Food.kif 1248-1262
Wenn
Object
ist ein
fall
von
Mixture
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht} und
mixtureRatio
Substance
,
** Substance
,
RealNumber
,
** RealNumber
and
** UnitOfMeasure
und das
mass
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** Substance
ist ein
teil
von
** Object
%n{nicht} und
** ** Substance
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** Substance
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** Substance
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann
** ** RealNumber
ist gleich (
** RealNumber
und
** ** RealNumber
) %n{nicht}
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