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 数量 是
物质
的
instance
(
domain
mixtureRatio
2
Substance
)
Food.kif 1242-1242
mixtureRatio
的 2 数量 是
物质
的
instance
(
domain
mixtureRatio
3
RealNumber
)
Food.kif 1243-1243
mixtureRatio
的 3 数量 是
实数
的
instance
(
domain
mixtureRatio
4
RealNumber
)
Food.kif 1244-1244
mixtureRatio
的 4 数量 是
实数
的
instance
(
domain
mixtureRatio
5
UnitOfMeasure
)
Food.kif 1245-1245
mixtureRatio
的 5 数量 是
测量单位
的
instance
(
instance
mixtureRatio
QuintaryRelation
)
Food.kif 1237-1237
mixtureRatio
是
五元关系
的
instance
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
如果
客体
是
Americano
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
饮用水
的
instance
和
那个 另外 物质
的
measure
是 90.0
摄氏度
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
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
如果
客体
是
Cappuccino
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
approximateValue
那个 第三 实数
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
如果
客体
是
FlatWhite
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
那个 物质
的
part
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.15 和
那个 第三 实数
是
greaterThanOrEqualTo
1.0 和
那个 第三 实数
是
lessThanOrEqualTo
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
如果
客体
是
Latte
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
MilkFoam
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
和
自身连接物体
是
那个 另外 物质
的
part
和
那个 自身连接物体
是
气泡
的
instance
和
那个 自身连接物体
是
那个 另外 物质
的
top
和
那个 自身连接物体
的
measure
是
第三 实数
毫米
,
然后
approximateValue
那个 实数
and 0.03 和
approximateValue
那个 另外 实数
and 0.21 和
approximateValue
那个 第三 实数
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
如果
客体
是
LongBlack
的
instance
和
物质
是
那个 客体
的
part
和
另一个 物质
是
那个 客体
的
part
和
那个 物质
是
Espresso
的
instance
和
那个 另外 物质
是
饮用水
的
instance
和
mixtureRatio
那个 物质
,
那个 另外 物质
,
实数
,
另一个 实数
and
升
,
然后
approximateValue
那个 实数
and 0.06 和
approximateValue
那个 另外 实数
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
如果
客体
是
混合物
的
instance
和
测量单位
是
测量单位
的
instance
和
mixtureRatio
物质
,
另一个 物质
,
实数
,
另一个 实数
and
那个 测量单位
和
那个 客体
的
measure
是
第三 实数
那个 测量单位
和
那个 物质
是
那个 客体
的
part
和
那个 另外 物质
是
那个 客体
的
part
和
那个 物质
的
measure
是
那个 实数
那个 测量单位
和
那个 另外 物质
的
measure
是
那个 另外 实数
那个 测量单位
,
然后
那个 第三 实数
equal
(
那个 实数
和
那个 另外 实数
)
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