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
Le nombre 1 argument de
roastedToTemperature
est une
instance
de
nourriture
(
domain
roastedToTemperature
2
RealNumber
)
Food.kif 465-465
Le nombre 2 argument de
roastedToTemperature
est une
instance
de
nombre r�el
(
instance
roastedToTemperature
BinaryPredicate
)
Food.kif 460-460
roastedToTemperature
est une
instance
de
pr�dicat binaire
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
est
reli
� � l'int�rieur de SUMO �
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
Nourriture
est une
instance
de
CoffeeBean
AmericanRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
Nourriture
est une
instance
de
CoffeeBean
CinnamonRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
Nourriture
est une
instance
de
CoffeeBean
CityRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
Nourriture
est une
instance
de
CoffeeBean
DarkRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
nombre r�el
est
plus
grand
ou �gal � 225
nombre r�el
est plus
petit
ou �gal � 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
Nourriture
est une
instance
de
CoffeeBean
FrenchRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
Nourriture
est une
instance
de
CoffeeBean
FullyCityRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
Nourriture
est une
instance
de
CoffeeBean
ItalianRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
Nourriture
est une
instance
de
CoffeeBean
LightRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
nombre r�el
est
plus
grand
ou �gal � 196
nombre r�el
est plus
petit
ou �gal � 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
Nourriture
est une
instance
de
CoffeeBean
MediumRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
nombre r�el
est
plus
grand
ou �gal � 210
nombre r�el
est plus
petit
ou �gal � 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
Nourriture
est une
instance
de
CoffeeBean
NewEnglandRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
Nourriture
est une
instance
de
CoffeeBean
ViennaRoast
est un
attribut
de
nourriture
roastedToTemperature
nourriture
and
nombre r�el
approximateValue
nombre r�el
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
Nourriture
est une
instance
de
objet
roastedToTemperature
nourriture
and
nombre r�el
processus
processus
est une
instance
de
r�chauffer
nourriture
est un
patient
de
processus
la
mesure
de
nourriture
est
nombre r�el
CelsiusDegree
(s)
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
nourriture
and
nombre r�el
nourriture
est une
instance
de
CoffeeBean
nombre r�el
est une
instance
de
nombre r�el
l'argument
entit�
entit�
est une
instance
de
DryRoasting
nourriture
est un
patient
de
entit�
a la
force
modale
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