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
roastedToTemperature
Sigma KEE - roastedToTemperature
roastedToTemperature
appearance as argument number 1
(
documentation
roastedToTemperature
EnglishLanguage
"
roastedToTemperature
is a
BinaryRelation
linking the temperature in Celsius of the
Object
that are roasted to.")
Food.kif 461-462
(
domain
roastedToTemperature
1
Food
)
Food.kif 464-464
Die Zahl 1 Argument von
roastedToTemperature
ist ein
fall
von
Food
%n{nicht}
(
domain
roastedToTemperature
2
RealNumber
)
Food.kif 465-465
Die Zahl 2 Argument von
roastedToTemperature
ist ein
fall
von
RealNumber
%n{nicht}
(
instance
roastedToTemperature
BinaryPredicate
)
Food.kif 460-460
roastedToTemperature
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
EnglishLanguage
roastedToTemperature
"%2 is the temperature at which %1 is roasted to")
Food.kif 466-466
(
relatedInternalConcept
optimalGrindSizeForMakingCoffee
roastedToTemperature
)
Food.kif 719-719
optimalGrindSizeForMakingCoffee
ist innerlich verwandt mit
roastedToTemperature
%n{nicht}
(
termFormat
EnglishLanguage
roastedToTemperature
"roasted to temperature")
Food.kif 463-463
antecedent
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
AmericanRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 210))
Food.kif 547-552
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
AmericanRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
CinnamonRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
CityRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
DarkRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
** RealNumber
ist
groesserAlsOderGleich
225 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
245 %n{nicht}
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
FrenchRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
FullyCityRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
ItalianRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
LightRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
** RealNumber
ist
groesserAlsOderGleich
196 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
205 %n{nicht}
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
MediumRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
** RealNumber
ist
groesserAlsOderGleich
210 %n{nicht} und
** RealNumber
ist
kleinerAlsOderGleich
219 %n{nicht}
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
NewEnglandRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
Wenn
Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
ViennaRoast
ist ein
attribut
von
** Food
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann
approximateValue
** RealNumber
and 230
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
Wenn
Food
ist ein
fall
von
Object
%n{nicht} und
roastedToTemperature
** Food
and
RealNumber
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Heating
%n{nicht} und
** Food
ist ein
patient
von
** Process
%n{nicht} und das
mass
von
** Food
ist
** RealNumber
CelsiusDegree
(s) %n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
roastedToTemperature
?B ?T)
(
instance
?B
CoffeeBean
)
(
instance
?T
RealNumber
))
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
DryRoasting
)
(
patient
?R ?B)))
Likely
))
Food.kif 479-488
Wenn
roastedToTemperature
Food
and
RealNumber
und
** Food
ist ein
fall
von
CoffeeBean
%n{nicht} und
** RealNumber
ist ein
fall
von
RealNumber
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
DryRoasting
%n{nicht} und
** Food
ist ein
patient
von
** entity
%n{nicht} hat die modale Kraft von
Likely
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