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
meltingPoint
Sigma KEE - meltingPoint
meltingPoint
appearance as argument number 1
(
documentation
meltingPoint
ChineseLanguage
"这是当
PureSubstance
从
Solid
变成
Liquid
状态的温度。注:
Arsenic
可以直接从
Solid
升华成
Gas
,这意味着它的熔点和沸点是相等的。")
chinese_format.kif 1420-1421
(
documentation
meltingPoint
EnglishLanguage
"The temperature at which a
PureSubstance
changes state from a
Solid
to a
Liquid
. Note that
Arsenic
can sublimate directly from
Solid
to
Gas
which means that its melting and boiling points are equal.")
Merge.kif 13859-13861
(
domain
meltingPoint
2
TemperatureMeasure
)
Merge.kif 13858-13858
域
熔點
, 2 and
TemperatureMeasure
(
domainSubclass
meltingPoint
1
PureSubstance
)
Merge.kif 13857-13857
域子類
熔點
, 1 and
PureSubstance
(
instance
meltingPoint
BinaryPredicate
)
Merge.kif 13856-13856
例
熔點
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
meltingPoint
"%2 %n 是 %1 的 melting 点")
domainEnglishFormat.kif 1679-1679
(
format
ChineseTraditionalLanguage
meltingPoint
"%2 %n 是 %1 的 melting 點")
domainEnglishFormat.kif 1678-1678
(
format
EnglishLanguage
meltingPoint
"%2 is %n a melting point of %1")
domainEnglishFormat.kif 1677-1677
(
termFormat
ChineseLanguage
meltingPoint
"熔点")
domainEnglishFormat.kif 36983-36983
(
termFormat
ChineseTraditionalLanguage
meltingPoint
"熔點")
domainEnglishFormat.kif 36982-36982
(
termFormat
EnglishLanguage
meltingPoint
"melting point")
domainEnglishFormat.kif 36981-36981
antecedent
(=>
(
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
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13880-13893
例
Entity
and
PureSubstance
測量
RealNumber
and
UnitOfMeasure
是
PureSubstance
的
melting
點
持有期間
TimeInterval
and
測量
Entity
and
測量
RealNumber
and
UnitOfMeasure
例
UnitOfMeasure
and
UnitOfTemperature
少於
RealNumber
and
RealNumber
持有期間
TimeInterval
and
attribute
Entity
and
固體
Process
暫時重疊
何時
Process
and
TimeInterval
例
Process
and
Freezing
患者
Process
and
Entity
(=>
(
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
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
例
Object
and
PureSubstance
子類
PureSubstance
and
PureSubstance
測量
RealNumber
and
凱文度
是
PureSubstance
的
melting
點
測量
RealNumber
and
英寸汞
是
Object
的
barometric
壓力
比較多
RealNumber
and 29.92
測量
Object
and
測量
RealNumber
and
凱文度
少於
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
(
meltingPoint
Actinium
(
MeasureFn
1320.0
KelvinDegree
))
Mid-level-ontology.kif 29357-29357
測量
1320.0 and
凱文度
是
錒
的
melting
點
(
meltingPoint
Aluminum
(
MeasureFn
933.52
KelvinDegree
))
Mid-level-ontology.kif 29205-29205
測量
933.52 and
凱文度
是
鋁
的
melting
點
(
meltingPoint
Americium
(
MeasureFn
1267.0
KelvinDegree
))
Mid-level-ontology.kif 29369-29369
測量
1267.0 and
凱文度
是
銤
的
melting
點
(
meltingPoint
Antimony
(
MeasureFn
903.89
KelvinDegree
))
Mid-level-ontology.kif 29281-29281
測量
903.89 and
凱文度
是
銻
的
melting
點
(
meltingPoint
Argon
(
MeasureFn
83.78
KelvinDegree
))
Mid-level-ontology.kif 29215-29215
測量
83.78 and
凱文度
是
氬
的
melting
點
(
meltingPoint
Arsenic
(
MeasureFn
886.0
KelvinDegree
))
Mid-level-ontology.kif 29245-29245
測量
886.0 and
凱文度
是
砷
的
melting
點
(
meltingPoint
Astatine
(
MeasureFn
575.0
KelvinDegree
))
Mid-level-ontology.kif 29349-29349
測量
575.0 and
凱文度
是
砹
的
melting
點
(
meltingPoint
Barium
(
MeasureFn
998.0
KelvinDegree
))
Mid-level-ontology.kif 29291-29291
測量
998.0 and
凱文度
是
鋇
的
melting
點
(
meltingPoint
Berkelium
(
MeasureFn
1259.0
KelvinDegree
))
Mid-level-ontology.kif 29373-29373
測量
1259.0 and
凱文度
是
锫
的
melting
點
(
meltingPoint
Beryllium
(
MeasureFn
1551.0
KelvinDegree
))
Mid-level-ontology.kif 29187-29187
測量
1551.0 and
凱文度
是
鈹
的
melting
點
(
meltingPoint
Bismuth
(
MeasureFn
544.5
KelvinDegree
))
Mid-level-ontology.kif 29345-29345
測量
544.5 and
凱文度
是
鉍
的
melting
點
(
meltingPoint
Boron
(
MeasureFn
2573.0
KelvinDegree
))
Mid-level-ontology.kif 29189-29189
測量
2573.0 and
凱文度
是
硼
的
melting
點
(
meltingPoint
Bromine
(
MeasureFn
265.9
KelvinDegree
))
Mid-level-ontology.kif 29249-29249
測量
265.9 and
凱文度
是
溴
的
melting
點
(
meltingPoint
Cadmium
(
MeasureFn
594.1
KelvinDegree
))
Mid-level-ontology.kif 29275-29275
測量
594.1 and
凱文度
是
鎘
的
melting
點
(
meltingPoint
Caesium
(
MeasureFn
301.55
KelvinDegree
))
Mid-level-ontology.kif 29289-29289
測量
301.55 and
凱文度
是
銫
的
melting
點
(
meltingPoint
Calcium
(
MeasureFn
1112.0
KelvinDegree
))
Mid-level-ontology.kif 29219-29219
測量
1112.0 and
凱文度
是
鈣
的
melting
點
(
meltingPoint
Californium
(
MeasureFn
1173.0
KelvinDegree
))
Mid-level-ontology.kif 29374-29374
測量
1173.0 and
凱文度
是
锎
的
melting
點
(
meltingPoint
Carbon
(
MeasureFn
3823.0
KelvinDegree
))
Mid-level-ontology.kif 29191-29191
測量
3823.0 and
凱文度
是
碳
的
melting
點
(
meltingPoint
Cerium
(
MeasureFn
1071.0
KelvinDegree
))
Mid-level-ontology.kif 29295-29295
測量
1071.0 and
凱文度
是
鈰
的
melting
點
(
meltingPoint
Chlorine
(
MeasureFn
172.17
KelvinDegree
))
Mid-level-ontology.kif 29213-29213
測量
172.17 and
凱文度
是
氯
的
melting
點
(
meltingPoint
Chromium
(
MeasureFn
2130.0
KelvinDegree
))
Mid-level-ontology.kif 29227-29227
測量
2130.0 and
凱文度
是
鉻
的
melting
點
(
meltingPoint
Cobalt
(
MeasureFn
1768.0
KelvinDegree
))
Mid-level-ontology.kif 29233-29233
測量
1768.0 and
凱文度
是
鈷
的
melting
點
(
meltingPoint
Copper
(
MeasureFn
1356.6
KelvinDegree
))
Mid-level-ontology.kif 29237-29237
測量
1356.6 and
凱文度
是
銅
的
melting
點
(
meltingPoint
Curium
(
MeasureFn
1613.0
KelvinDegree
))
Mid-level-ontology.kif 29372-29372
測量
1613.0 and
凱文度
是
鋦
的
melting
點
(
meltingPoint
Dysprosium
(
MeasureFn
1682.0
KelvinDegree
))
Mid-level-ontology.kif 29311-29311
測量
1682.0 and
凱文度
是
鏑
的
melting
點
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