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
MacPhersonStrut
Sigma KEE - boilingPoint
boilingPoint
appearance as argument number 1
(
documentation
boilingPoint
ChineseLanguage
"这是当
PureSubstance
从
Liquid
变成
Gas
状态的温度。")
chinese_format.kif 1418-1419
(
documentation
boilingPoint
EnglishLanguage
"The temperature at which a
PureSubstance
changes state from a
Liquid
to a
Gas
.")
Merge.kif 13817-13818
(
domain
boilingPoint
2
TemperatureMeasure
)
Merge.kif 13816-13816
沸点
的 2 数量 是
温度测量
的
instance
(
domainSubclass
boilingPoint
1
PureSubstance
)
Merge.kif 13815-13815
沸点
的 1 数量 是
純物质
的
subclass
(
instance
boilingPoint
BinaryPredicate
)
Merge.kif 13814-13814
沸点
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
boilingPoint
"%2 %n 是 %1 的 boiling 点")
domainEnglishFormat.kif 320-320
(
format
ChineseTraditionalLanguage
boilingPoint
"%2 %n 是 %1 的 boiling 點")
domainEnglishFormat.kif 319-319
(
format
EnglishLanguage
boilingPoint
"%2 is %n a boiling point of %1")
domainEnglishFormat.kif 318-318
(
termFormat
ChineseLanguage
boilingPoint
"沸点")
domainEnglishFormat.kif 11507-11507
(
termFormat
ChineseTraditionalLanguage
boilingPoint
"沸點")
domainEnglishFormat.kif 11506-11506
(
termFormat
EnglishLanguage
boilingPoint
"boiling point")
domainEnglishFormat.kif 11505-11505
antecedent
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13863-13876
如果
实数
测量单位
是
有点 純物质
的
boiling
点 和
实体
是
有点 純物质
的
instance
和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
时距
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
,
然后
加油站
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
或 有存在
过程
这样
那个 时距
时段 和
那个 过程
出现 的
time
重叠 和
那个 过程
是
沸腾
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13853-13861
如果
过程
是
沸腾
的
instance
和
实数
测量单位
是
有点 純物质
的
boiling
点 和
实体
是
有点 純物质
的
instance
和
那个 实体
是
那个 过程
的
patient
和
那个 实体
的
measure
是
另一个 实数
那个 测量单位
在
那个 过程
出现 的
time
holdsDuring
和
那个 测量单位
是
UnitOfTemperature
的
instance
,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13975-13988
如果
过程
是
蒸发
的
instance
和
实数
测量单位
是
有点 純物质
的
boiling
点 和
客体
是
有点 純物质
的
instance
和
那个 客体
的
measure
是
另一个 实数
那个 测量单位
和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 客体
是
那个 过程
的
patient
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
那个 客体
的
part
和
那个 实数
是
greaterThan
那个 另外 实数
和
液体
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的开始
holdsDuring
和
加油站
是
那个 另外 客体
的
attribute
在
那个 过程
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13885-13900
如果
实体
是
有点 純物质
的
instance
和
实数
测量单位
是
有点 純物质
的
boiling
点 和
另一个 实数
那个 测量单位
是
那个 有点 純物质
的
melting
点 和
那个 测量单位
是
UnitOfTemperature
的
instance
和
那个 实体
的
measure
是
第三 实数
那个 测量单位
在
时距
holdsDuring
和
那个 第三 实数
是
greaterThan
那个 另外 实数
和
那个 第三 实数
是
lessThan
那个 实数
,
然后
液体
是
那个 实体
的
attribute
在
那个 时距
holdsDuring
或 有存在
过程
这样
那个 时距
时段 和
那个 过程
出现 的
time
重叠 和
那个 过程
是
溶化
的
instance
和
那个 实体
是
那个 过程
的
patient
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13820-13829
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
英寸汞
是
那个 客体
的
barometric
压力 和 29.92 是
greaterThan
那个 实数
和
另一个 实数
凯文度
是
那个 有点 純物质
的
boiling
点 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
greaterThan
那个 另外 实数
,
然后
加油站
是
那个 客体
的
attribute
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13831-13840
如果
客体
是
有点 純物质
的
instance
和
有点 純物质
是
純物质
的
subclass
和
实数
凯文度
是
那个 有点 純物质
的
boiling
点 和
另一个 实数
凯文度
是
那个 有点 純物质
的
melting
点 和
那个 客体
的
measure
是
第三 实数
凯文度
和
那个 第三 实数
是
greaterThan
那个 另外 实数
和
那个 第三 实数
是
lessThan
那个 实数
,
然后
液体
是
那个 客体
的
attribute
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13917-13921
如果
实数
测量单位
是
有点 純物质
的
melting
点 和
另一个 实数
那个 测量单位
是
有点 純物质
的
boiling
点,
然后
那个 另外 实数
是
greaterThanOrEqualTo
那个 实数
appearance as argument number 0
(
boilingPoint
Actinium
(
MeasureFn
3470.0
KelvinDegree
))
Mid-level-ontology.kif 29346-29346
3470.0
凯文度
是
锕
的
boiling
点
(
boilingPoint
Aluminum
(
MeasureFn
2740.0
KelvinDegree
))
Mid-level-ontology.kif 29194-29194
2740.0
凯文度
是
铝
的
boiling
点
(
boilingPoint
Americium
(
MeasureFn
2880.0
KelvinDegree
))
Mid-level-ontology.kif 29358-29358
2880.0
凯文度
是
銤
的
boiling
点
(
boilingPoint
Antimony
(
MeasureFn
2023.0
KelvinDegree
))
Mid-level-ontology.kif 29270-29270
2023.0
凯文度
是
锑
的
boiling
点
(
boilingPoint
Argon
(
MeasureFn
87.29
KelvinDegree
))
Mid-level-ontology.kif 29204-29204
87.29
凯文度
是
氩
的
boiling
点
(
boilingPoint
Arsenic
(
MeasureFn
886.0
KelvinDegree
))
Mid-level-ontology.kif 29234-29234
886.0
凯文度
是
砷
的
boiling
点
(
boilingPoint
Astatine
(
MeasureFn
610.0
KelvinDegree
))
Mid-level-ontology.kif 29338-29338
610.0
凯文度
是
砹
的
boiling
点
(
boilingPoint
Barium
(
MeasureFn
1913.0
KelvinDegree
))
Mid-level-ontology.kif 29280-29280
1913.0
凯文度
是
钡
的
boiling
点
(
boilingPoint
Beryllium
(
MeasureFn
3243.0
KelvinDegree
))
Mid-level-ontology.kif 29176-29176
3243.0
凯文度
是
铍
的
boiling
点
(
boilingPoint
Bismuth
(
MeasureFn
1833.0
KelvinDegree
))
Mid-level-ontology.kif 29334-29334
1833.0
凯文度
是
铋
的
boiling
点
(
boilingPoint
Boron
(
MeasureFn
2823.0
KelvinDegree
))
Mid-level-ontology.kif 29178-29178
2823.0
凯文度
是
硼
的
boiling
点
(
boilingPoint
Bromine
(
MeasureFn
331.93
KelvinDegree
))
Mid-level-ontology.kif 29238-29238
331.93
凯文度
是
溴
的
boiling
点
(
boilingPoint
Cadmium
(
MeasureFn
1038.0
KelvinDegree
))
Mid-level-ontology.kif 29264-29264
1038.0
凯文度
是
镉
的
boiling
点
(
boilingPoint
Caesium
(
MeasureFn
963.0
KelvinDegree
))
Mid-level-ontology.kif 29278-29278
963.0
凯文度
是
铯
的
boiling
点
(
boilingPoint
Calcium
(
MeasureFn
1760.0
KelvinDegree
))
Mid-level-ontology.kif 29208-29208
1760.0
凯文度
是
钙
的
boiling
点
(
boilingPoint
Carbon
(
MeasureFn
5100.0
KelvinDegree
))
Mid-level-ontology.kif 29180-29180
5100.0
凯文度
是
碳
的
boiling
点
(
boilingPoint
Cerium
(
MeasureFn
3530.0
KelvinDegree
))
Mid-level-ontology.kif 29284-29284
3530.0
凯文度
是
铈
的
boiling
点
(
boilingPoint
Chlorine
(
MeasureFn
238.55
KelvinDegree
))
Mid-level-ontology.kif 29202-29202
238.55
凯文度
是
氯
的
boiling
点
(
boilingPoint
Chromium
(
MeasureFn
2755.0
KelvinDegree
))
Mid-level-ontology.kif 29216-29216
2755.0
凯文度
是
铬
的
boiling
点
(
boilingPoint
Cobalt
(
MeasureFn
3143.0
KelvinDegree
))
Mid-level-ontology.kif 29222-29222
3143.0
凯文度
是
钴
的
boiling
点
(
boilingPoint
Copper
(
MeasureFn
2868.0
KelvinDegree
))
Mid-level-ontology.kif 29226-29226
2868.0
凯文度
是
铜
的
boiling
点
(
boilingPoint
Dysprosium
(
MeasureFn
2608.0
KelvinDegree
))
Mid-level-ontology.kif 29300-29300
2608.0
凯文度
是
镝
的
boiling
点
(
boilingPoint
Erbium
(
MeasureFn
2783.0
KelvinDegree
))
Mid-level-ontology.kif 29304-29304
2783.0
凯文度
是
铒
的
boiling
点
(
boilingPoint
Europium
(
MeasureFn
1870.0
KelvinDegree
))
Mid-level-ontology.kif 29294-29294
1870.0
凯文度
是
铕
的
boiling
点
(
boilingPoint
Fluorine
(
MeasureFn
85.01
KelvinDegree
))
Mid-level-ontology.kif 29186-29186
85.01
凯文度
是
氟
的
boiling
点
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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