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
域
mixtureRatio
, 1 and
Substance
(
domain
mixtureRatio
2
Substance
)
Food.kif 1242-1242
域
mixtureRatio
, 2 and
Substance
(
domain
mixtureRatio
3
RealNumber
)
Food.kif 1243-1243
域
mixtureRatio
, 3 and
RealNumber
(
domain
mixtureRatio
4
RealNumber
)
Food.kif 1244-1244
域
mixtureRatio
, 4 and
RealNumber
(
domain
mixtureRatio
5
UnitOfMeasure
)
Food.kif 1245-1245
域
mixtureRatio
, 5 and
UnitOfMeasure
(
instance
mixtureRatio
QuintaryRelation
)
Food.kif 1237-1237
例
mixtureRatio
and
QuintaryRelation
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
例
Object
and
Americano
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
飲用水
測量
Substance
and
測量
90.0 and
攝氏度
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
approximateValue
RealNumber
and 0.03
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
例
Object
and
Cappuccino
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
MilkFoam
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
部分
SelfConnectedObject
and
Substance
例
SelfConnectedObject
and
氣泡
上
SelfConnectedObject
and
Substance
測量
SelfConnectedObject
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
and 0.15
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
例
Object
and
FlatWhite
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
MilkFoam
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
部分
SelfConnectedObject
and
Substance
部分
SelfConnectedObject
and
Substance
上
SelfConnectedObject
and
Substance
例
SelfConnectedObject
and
氣泡
測量
SelfConnectedObject
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
and 0.15
大於或等於
RealNumber
and 1.0
小於或等於
RealNumber
and 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
例
Object
and
Latte
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
MilkFoam
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
部分
SelfConnectedObject
and
Substance
例
SelfConnectedObject
and
氣泡
上
SelfConnectedObject
and
Substance
測量
SelfConnectedObject
and
測量
RealNumber
and
毫米
approximateValue
RealNumber
and 0.03
approximateValue
RealNumber
and 0.21
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
例
Object
and
LongBlack
部分
Substance
and
Object
部分
Substance
and
Object
例
Substance
and
Espresso
例
Substance
and
飲用水
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
升
approximateValue
RealNumber
and 0.06
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
例
Object
and
Mixture
例
UnitOfMeasure
and
UnitOfMeasure
mixtureRatio
Substance
,
Substance
,
RealNumber
,
RealNumber
and
UnitOfMeasure
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
部分
Substance
and
Object
部分
Substance
and
Object
測量
Substance
and
測量
RealNumber
and
UnitOfMeasure
測量
Substance
and
測量
RealNumber
and
UnitOfMeasure
等於
RealNumber
and
加成
RealNumber
and
RealNumber
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