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
boilingPoint
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 13795-13796
(
domain
boilingPoint
2
TemperatureMeasure
)
Merge.kif 13794-13794
域
沸點
, 2 and
TemperatureMeasure
(
domainSubclass
boilingPoint
1
PureSubstance
)
Merge.kif 13793-13793
域子類
沸點
, 1 and
PureSubstance
(
instance
boilingPoint
BinaryPredicate
)
Merge.kif 13792-13792
例
沸點
and
BinaryPredicate
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 13841-13854
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
例
Entity
and
PureSubstance
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
大於或等於
RealNumber
and
RealNumber
持有期間
TimeInterval
and
attribute
Entity
and
加油站
Process
暫時重疊
何時
Process
and
TimeInterval
例
Process
and
Boiling
患者
Process
and
Entity
(=>
(
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 13831-13839
例
Process
and
Boiling
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
例
Entity
and
PureSubstance
患者
Process
and
Entity
持有期間
何時
Process
and
測量
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
大於或等於
RealNumber
and
RealNumber
(=>
(
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 13953-13966
例
Process
and
蒸發
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
例
Object
and
PureSubstance
測量
Object
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
患者
Process
and
Object
Object
部分
Object
and
Object
比較多
RealNumber
and
RealNumber
持有期間
開始
何時
Process
and
attribute
Object
and
液體
持有期間
結束
何時
Process
and
attribute
Object
and
加油站
(=>
(
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 13863-13878
例
Entity
and
PureSubstance
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
melting
點
例
UnitOfMeasure
and
UnitOfTemperature
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
UnitOfMeasure
比較多
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
持有期間
TimeInterval
and
attribute
Entity
and
液體
Process
暫時重疊
何時
Process
and
TimeInterval
例
Process
and
Melting
患者
Process
and
Entity
(=>
(
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 13798-13807
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
29.92 and
RealNumber
測量
RealNumber
and
凱文度
是
PureSubstance
的
boiling
點
測量
Object
and
測量
RealNumber
and
凱文度
比較多
RealNumber
and
RealNumber
attribute
Object
and
加油站
(=>
(
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 13809-13818
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
boiling
點
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
Object
and
測量
RealNumber
and
凱文度
比較多
RealNumber
and
RealNumber
少於
RealNumber
and
RealNumber
attribute
Object
and
液體
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13895-13899
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
melting
點
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
boiling
點
大於或等於
RealNumber
and
RealNumber
appearance as argument number 0
(
boilingPoint
Actinium
(
MeasureFn
3470.0
KelvinDegree
))
Mid-level-ontology.kif 29358-29358
測量
3470.0 and
凱文度
是
錒
的
boiling
點
(
boilingPoint
Aluminum
(
MeasureFn
2740.0
KelvinDegree
))
Mid-level-ontology.kif 29206-29206
測量
2740.0 and
凱文度
是
鋁
的
boiling
點
(
boilingPoint
Americium
(
MeasureFn
2880.0
KelvinDegree
))
Mid-level-ontology.kif 29370-29370
測量
2880.0 and
凱文度
是
銤
的
boiling
點
(
boilingPoint
Antimony
(
MeasureFn
2023.0
KelvinDegree
))
Mid-level-ontology.kif 29282-29282
測量
2023.0 and
凱文度
是
銻
的
boiling
點
(
boilingPoint
Argon
(
MeasureFn
87.29
KelvinDegree
))
Mid-level-ontology.kif 29216-29216
測量
87.29 and
凱文度
是
氬
的
boiling
點
(
boilingPoint
Arsenic
(
MeasureFn
886.0
KelvinDegree
))
Mid-level-ontology.kif 29246-29246
測量
886.0 and
凱文度
是
砷
的
boiling
點
(
boilingPoint
Astatine
(
MeasureFn
610.0
KelvinDegree
))
Mid-level-ontology.kif 29350-29350
測量
610.0 and
凱文度
是
砹
的
boiling
點
(
boilingPoint
Barium
(
MeasureFn
1913.0
KelvinDegree
))
Mid-level-ontology.kif 29292-29292
測量
1913.0 and
凱文度
是
鋇
的
boiling
點
(
boilingPoint
Beryllium
(
MeasureFn
3243.0
KelvinDegree
))
Mid-level-ontology.kif 29188-29188
測量
3243.0 and
凱文度
是
鈹
的
boiling
點
(
boilingPoint
Bismuth
(
MeasureFn
1833.0
KelvinDegree
))
Mid-level-ontology.kif 29346-29346
測量
1833.0 and
凱文度
是
鉍
的
boiling
點
(
boilingPoint
Boron
(
MeasureFn
2823.0
KelvinDegree
))
Mid-level-ontology.kif 29190-29190
測量
2823.0 and
凱文度
是
硼
的
boiling
點
(
boilingPoint
Bromine
(
MeasureFn
331.93
KelvinDegree
))
Mid-level-ontology.kif 29250-29250
測量
331.93 and
凱文度
是
溴
的
boiling
點
(
boilingPoint
Cadmium
(
MeasureFn
1038.0
KelvinDegree
))
Mid-level-ontology.kif 29276-29276
測量
1038.0 and
凱文度
是
鎘
的
boiling
點
(
boilingPoint
Caesium
(
MeasureFn
963.0
KelvinDegree
))
Mid-level-ontology.kif 29290-29290
測量
963.0 and
凱文度
是
銫
的
boiling
點
(
boilingPoint
Calcium
(
MeasureFn
1760.0
KelvinDegree
))
Mid-level-ontology.kif 29220-29220
測量
1760.0 and
凱文度
是
鈣
的
boiling
點
(
boilingPoint
Carbon
(
MeasureFn
5100.0
KelvinDegree
))
Mid-level-ontology.kif 29192-29192
測量
5100.0 and
凱文度
是
碳
的
boiling
點
(
boilingPoint
Cerium
(
MeasureFn
3530.0
KelvinDegree
))
Mid-level-ontology.kif 29296-29296
測量
3530.0 and
凱文度
是
鈰
的
boiling
點
(
boilingPoint
Chlorine
(
MeasureFn
238.55
KelvinDegree
))
Mid-level-ontology.kif 29214-29214
測量
238.55 and
凱文度
是
氯
的
boiling
點
(
boilingPoint
Chromium
(
MeasureFn
2755.0
KelvinDegree
))
Mid-level-ontology.kif 29228-29228
測量
2755.0 and
凱文度
是
鉻
的
boiling
點
(
boilingPoint
Cobalt
(
MeasureFn
3143.0
KelvinDegree
))
Mid-level-ontology.kif 29234-29234
測量
3143.0 and
凱文度
是
鈷
的
boiling
點
(
boilingPoint
Copper
(
MeasureFn
2868.0
KelvinDegree
))
Mid-level-ontology.kif 29238-29238
測量
2868.0 and
凱文度
是
銅
的
boiling
點
(
boilingPoint
Dysprosium
(
MeasureFn
2608.0
KelvinDegree
))
Mid-level-ontology.kif 29312-29312
測量
2608.0 and
凱文度
是
鏑
的
boiling
點
(
boilingPoint
Erbium
(
MeasureFn
2783.0
KelvinDegree
))
Mid-level-ontology.kif 29316-29316
測量
2783.0 and
凱文度
是
鉺
的
boiling
點
(
boilingPoint
Europium
(
MeasureFn
1870.0
KelvinDegree
))
Mid-level-ontology.kif 29306-29306
測量
1870.0 and
凱文度
是
銪
的
boiling
點
(
boilingPoint
Fluorine
(
MeasureFn
85.01
KelvinDegree
))
Mid-level-ontology.kif 29198-29198
測量
85.01 and
凱文度
是
氟
的
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