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
Sigma KEE - Latte
Latte
(latte)
caffe_latte
,
latte
appearance as argument number 1
(
documentation
Latte
EnglishLanguage
"A
Latte
is typically made with 1 shot of
Espresso
with 7 part of foamed milk, so a standard 30ml of espresso with 210ml of milk, giving a 240ml of La.Thttee milk foam on the top is 12mm in thickness. [Wikipedia]")
Food.kif 1388-1390
(
subclass
Latte
Coffee
)
Food.kif 1387-1387
Latte
is a
subclass
of
coffee
appearance as argument number 2
(
termFormat
EnglishLanguage
Latte
"latte")
Food.kif 1391-1391
antecedent
(=>
(
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
If
an object
is an
instance
of
latte
and
a substance
is a
part
of
the object
and
another substance
is a
part
of
the object
and
the substance
is an
instance
of
espresso
and
the other substance
is an
instance
of
milk foam
and A
Mixture
containing
a real number
unit
liter
of
the substance
and
another real number
unit
liter
of
the other substance
and
a self connected object
is a
part
of
the other substance
and
the self connected object
is an
instance
of
bubble
and the
top
of
the other substance
is
the self connected object
and the
measure
of
the self connected object
is
a third real number
millimeter
(s),
then the approximate value of
the real number
is 0.03 and the approximate value of
the other real number
is 0.21 and the approximate value of
the third real number
is 12.0
(=>
(
instance
?L
Latte
)
(
and
(
material
MilkFoam
?L)
(
material
Espresso
?L)))
Food.kif 1393-1397
If
a corpuscular object
is an
instance
of
latte
,
then
the corpuscular object
is
made
of
milk foam
and
the corpuscular object
is
made
of
espresso
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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
