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
O argumento numero 1 de
roastedToTemperature
e' uma
instancia
de
Comida
(
domain
roastedToTemperature
2
RealNumber
)
Food.kif 465-465
O argumento numero 2 de
roastedToTemperature
e' uma
instancia
de
Numero Real
(
instance
roastedToTemperature
BinaryPredicate
)
Food.kif 460-460
roastedToTemperature
e' uma
instancia
de
Predicado Binario
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
e'
relacionado
internamente por SUMO a
roastedToTemperature
(
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
Comida
e' uma
instancia
de
CoffeeBean
AmericanRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
Comida
e' uma
instancia
de
CoffeeBean
CinnamonRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
Comida
e' uma
instancia
de
CoffeeBean
CityRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
Comida
e' uma
instancia
de
CoffeeBean
DarkRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
Numero Real
e'
maior
ou igual a 225
Numero Real
e'
menor
ou igual a 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
Comida
e' uma
instancia
de
CoffeeBean
FrenchRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
Comida
e' uma
instancia
de
CoffeeBean
FullyCityRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
Comida
e' uma
instancia
de
CoffeeBean
ItalianRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
Comida
e' uma
instancia
de
CoffeeBean
LightRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
Numero Real
e'
maior
ou igual a 196
Numero Real
e'
menor
ou igual a 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
Comida
e' uma
instancia
de
CoffeeBean
MediumRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
Numero Real
e'
maior
ou igual a 210
Numero Real
e'
menor
ou igual a 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
Comida
e' uma
instancia
de
CoffeeBean
NewEnglandRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
Comida
e' uma
instancia
de
CoffeeBean
ViennaRoast
e' um
atributo
de
Comida
roastedToTemperature
Comida
and
Numero Real
approximateValue
Numero Real
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
Comida
e' uma
instancia
de
Objeto
roastedToTemperature
Comida
and
Numero Real
Processo
Processo
e' uma
instancia
de
Aquecer
Comida
e' um
patient
de
Processo
a
medida
de
Comida
e'
Numero Real
CelsiusDegree
(s)
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
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
roastedToTemperature
Comida
and
Numero Real
Comida
e' uma
instancia
de
CoffeeBean
Numero Real
e' uma
instancia
de
Numero Real
o argumento
Entidade
Entidade
e' uma
instancia
de
DryRoasting
Comida
e' um
patient
de
Entidade
tem a
forca
modal
de
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