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
roastedToTemperature
的 1 数量 是
Food
的
instance
(
domain
roastedToTemperature
2
RealNumber
)
Food.kif 465-465
roastedToTemperature
的 2 数量 是
实数
的
instance
(
instance
roastedToTemperature
BinaryPredicate
)
Food.kif 460-460
roastedToTemperature
是
二元谓语
的
instance
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
和
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
如果
Food
是
咖啡豆
的
instance
和
AmericanRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 210
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CinnamonRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 196))
Food.kif 509-514
如果
Food
是
咖啡豆
的
instance
和
CinnamonRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 196
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
CityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 219))
Food.kif 559-564
如果
Food
是
咖啡豆
的
instance
和
CityRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
DarkRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 225)
(
lessThanOrEqualTo
?T 245)))
Food.kif 571-578
如果
Food
是
咖啡豆
的
instance
和
DarkRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
那个 实数
是
greaterThanOrEqualTo
225 和
那个 实数
是
lessThanOrEqualTo
245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FrenchRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 240))
Food.kif 609-614
如果
Food
是
咖啡豆
的
instance
和
FrenchRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 240
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
FullyCityRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 225))
Food.kif 585-590
如果
Food
是
咖啡豆
的
instance
和
FullyCityRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 225
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ItalianRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 245))
Food.kif 621-626
如果
Food
是
咖啡豆
的
instance
和
ItalianRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 245
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
LightRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 196)
(
lessThanOrEqualTo
?T 205)))
Food.kif 495-502
如果
Food
是
咖啡豆
的
instance
和
LightRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
那个 实数
是
greaterThanOrEqualTo
196 和
那个 实数
是
lessThanOrEqualTo
205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
MediumRoast
)
(
roastedToTemperature
?B ?T))
(
and
(
greaterThanOrEqualTo
?T 210)
(
lessThanOrEqualTo
?T 219)))
Food.kif 533-540
如果
Food
是
咖啡豆
的
instance
和
MediumRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
那个 实数
是
greaterThanOrEqualTo
210 和
那个 实数
是
lessThanOrEqualTo
219
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
NewEnglandRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 205))
Food.kif 521-526
如果
Food
是
咖啡豆
的
instance
和
NewEnglandRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
and 205
(=>
(
and
(
instance
?B
CoffeeBean
)
(
attribute
?B
ViennaRoast
)
(
roastedToTemperature
?B ?T))
(
approximateValue
?T 230))
Food.kif 597-602
如果
Food
是
咖啡豆
的
instance
和
ViennaRoast
是
那个 Food
的
attribute
和
roastedToTemperature
那个 Food
and
实数
,
然后
approximateValue
那个 实数
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
如果
Food
是
客体
的
instance
和
roastedToTemperature
那个 Food
and
实数
,
然后 有存在
过程
这样
那个 过程
是
加热
的
instance
和
那个 Food
是
那个 过程
的
patient
和
那个 Food
的
measure
是
那个 实数
摄氏度
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
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
Food
and
实数
和
那个 Food
是
咖啡豆
的
instance
和
那个 实数
是
实数
的
instance
,
然后 有存在
实体
这样
那个 实体
是
DryRoasting
的
instance
和
那个 Food
是
那个 实体
的
patient
的声明 has
容易
的语气
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