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
The number 1 argument of
roasted to temperature
is an
instance
of
food
(
domain
roastedToTemperature
2
RealNumber
)
Food.kif 465-465
The number 2 argument of
roasted to temperature
is an
instance
of
real number
(
instance
roastedToTemperature
BinaryPredicate
)
Food.kif 460-460
roasted to temperature
is an
instance
of
binary predicate
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
optimal grind size for making coffee
is
internally
related to
roasted to temperature
(
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
If
a food
is an
instance
of
coffee bean
and
American roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
If
a food
is an
instance
of
coffee bean
and
cinnamon roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
If
a food
is an
instance
of
coffee bean
and
city roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
If
a food
is an
instance
of
coffee bean
and
dark roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then
the real number
is
greater
than or equal to 225 and
the real number
is
less
than or equal to 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
If
a food
is an
instance
of
coffee bean
and
French roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
If
a food
is an
instance
of
coffee bean
and
full city roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
If
a food
is an
instance
of
coffee bean
and
Italian roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
If
a food
is an
instance
of
coffee bean
and
light roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then
the real number
is
greater
than or equal to 196 and
the real number
is
less
than or equal to 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
If
a food
is an
instance
of
coffee bean
and
medium roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then
the real number
is
greater
than or equal to 210 and
the real number
is
less
than or equal to 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
If
a food
is an
instance
of
coffee bean
and
New England roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
If
a food
is an
instance
of
coffee bean
and
Vienna roast
is an
attribute
of
the food
and
a real number
is the temperature at which
the food
is roasted to,
then the approximate value of
the real number
is 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
If
a food
is an
instance
of
object
and
a real number
is the temperature at which
the food
is roasted to,
then there exists
a process
such that
the process
is an
instance
of
heating
and
the food
is a
patient
of
the process
and the
measure
of
the food
is
the real number
celsius degree
(s) holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a real number
is the temperature at which
a food
is roasted to and
the food
is an
instance
of
coffee bean
and
the real number
is an
instance
of
real number
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
dry roasting
and
the food
is a
patient
of
the entity
has the
modal
force
of
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