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
では %n
(
domain
mixtureRatio
2
Substance
)
Food.kif 1242-1242
mixtureRatio
の数値 2 引数は
物質
の
instance
では %n
(
domain
mixtureRatio
3
RealNumber
)
Food.kif 1243-1243
mixtureRatio
の数値 3 引数は
実数
の
instance
では %n
(
domain
mixtureRatio
4
RealNumber
)
Food.kif 1244-1244
mixtureRatio
の数値 4 引数は
実数
の
instance
では %n
(
domain
mixtureRatio
5
UnitOfMeasure
)
Food.kif 1245-1245
mixtureRatio
の数値 5 引数は
測定単位
の
instance
では %n
(
instance
mixtureRatio
QuintaryRelation
)
Food.kif 1237-1237
mixtureRatio
は
5進法関係
の
instance
では %n
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
DrinkingWater
の
instance
では %n
物質
の
measure
は 90.0 の
CelsiusDegree
(s) では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
Bubble
の
instance
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
物質
の
part
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
は
Bubble
の
instance
では %n
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
approximateValue
実数
and 0.03
approximateValue
実数
and 0.15
実数
は 1.0
greater
では %n
実数
は 20.0 より
less
または同等 では %n
(=>
(
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
MilkFoam
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
自己接続オブジェクト
は
物質
の
part
では %n
自己接続オブジェクト
は
Bubble
の
instance
では %n
物質
の
top
は
自己接続オブジェクト
では
自己接続オブジェクト
の
measure
は
実数
の
Millimeter
(s) では %n
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
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
は
Espresso
の
instance
では %n
物質
は
DrinkingWater
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
Liter
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
では %n
測定単位
は
測定単位
の
instance
では %n
mixtureRatio
物質
,
物質
,
実数
,
実数
and
測定単位
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
物質
は
オブジェクト
の
part
では %n
物質
は
オブジェクト
の
part
では %n
物質
の
measure
は
実数
の
測定単位
(s) では %n
物質
の
measure
は
実数
の
測定単位
(s) では %n
実数
は (
実数
+
実数
) と
equal
では %n
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