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
Il numero 1 argomenti di
roastedToTemperature
è un
istanza
di
Cibo
(
domain
roastedToTemperature
2
RealNumber
)
Food.kif 465-465
Il numero 2 argomenti di
roastedToTemperature
è un
istanza
di
NumeroReale
(
instance
roastedToTemperature
BinaryPredicate
)
Food.kif 460-460
roastedToTemperature
è un'
istanza
di
PredicatoBinario
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
è
interamente
correlato 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
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
AmericanRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
CinnamonRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
CityRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
DarkRoast
roastedToTemperature
Cibo
and
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 225
NumeroReale
è
minore
o uguale a 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
FrenchRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
FullyCityRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
ItalianRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
LightRoast
roastedToTemperature
Cibo
and
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 196
NumeroReale
è
minore
o uguale a 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
MediumRoast
roastedToTemperature
Cibo
and
NumeroReale
NumeroReale
è
pi
ù grande di o uguale a 210
NumeroReale
è
minore
o uguale a 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
NewEnglandRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
Cibo
è un'
istanza
di
CoffeeBean
attribute
Cibo
and
ViennaRoast
roastedToTemperature
Cibo
and
NumeroReale
approximateValue
NumeroReale
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
Cibo
è un'
istanza
di
Oggetto
roastedToTemperature
Cibo
and
NumeroReale
Processo
Processo
è un'
istanza
di
Riscaldamento
Cibo
è un
paziente
di
Processo
la
misura
Cibo
è
NumeroReale
CelsiusDegree
(s vales
durante
la
fine
di il
tempo
di esistenza di
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
Cibo
and
NumeroReale
Cibo
è un'
istanza
di
CoffeeBean
NumeroReale
è un'
istanza
di
NumeroReale
l'affermazione
Entit�
Entit�
è un'
istanza
di
DryRoasting
Cibo
è un
paziente
di
Entit�
ha il modello di forza di
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