Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 14012-14014
(
domain
meltingPoint
2
TemperatureMeasure
)
Merge.kif 14011-14011
The number 2 argument of
melting point
is an
instance
of
temperature measure
(
domainSubclass
meltingPoint
1
PureSubstance
)
Merge.kif 14010-14010
The number 1 argument of
melting point
is a
subclass
of
pure substance
(
instance
meltingPoint
BinaryPredicate
)
Merge.kif 14009-14009
melting point
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
meltingPoint
"%2 %n 是 %1 的 melting 点")
domainEnglishFormat.kif 1683-1683
(
format
ChineseTraditionalLanguage
meltingPoint
"%2 %n 是 %1 的 melting 點")
domainEnglishFormat.kif 1682-1682
(
format
EnglishLanguage
meltingPoint
"%2 is %n a melting point of %1")
domainEnglishFormat.kif 1681-1681
(
termFormat
ChineseLanguage
meltingPoint
"熔点")
domainEnglishFormat.kif 36992-36992
(
termFormat
ChineseTraditionalLanguage
meltingPoint
"熔點")
domainEnglishFormat.kif 36991-36991
(
termFormat
EnglishLanguage
meltingPoint
"melting point")
domainEnglishFormat.kif 36990-36990
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 14016-14031
If
an entity
is an
instance
of
a kind of pure substance
and
a real number
an unit of measure
(s) is a
boiling
point of
a kind of pure substance
and
another real number
the unit of measure
(s) is a
melting
point of
the kind of pure substance
and
the unit of measure
is an
instance
of
unit of temperature
and the
measure
of
the entity
is
a third real number
the unit of measure
(s) holds
during
a time interval
and
the third real number
is
greater
than
the other real number
and
the third real number
is
less
than
the real number
,
then
liquid
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
melting
and
the entity
is a
patient
of
the process
(=>
(
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 14033-14046
If
an entity
is an
instance
of
a kind of pure substance
and
a real number
an unit of measure
(s) is a
melting
point of
a kind of pure substance
and the
measure
of
the entity
is
another real number
the unit of measure
(s) holds
during
a time interval
and
the unit of measure
is an
instance
of
unit of temperature
and
the other real number
is
less
than
the real number
,
then
solid
is an
attribute
of
the entity
holds
during
the time interval
or there exists
a process
such that
the time interval
overlap
s the
time
of existence of
the process
and
the process
is an
instance
of
freezing
and
the entity
is a
patient
of
the process
(=>
(
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 13962-13971
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
kelvin degree
(s) is a
boiling
point of
the kind of pure substance
and
another real number
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
greater
than
the other real number
and
the third real number
is
less
than
the real number
,
then
liquid
is an
attribute
of
the object
(=>
(
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 13973-13982
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and
another real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the other real number
is
greater
than 29.92 and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
less
than
the real number
,
then
solid
is an
attribute
of
the object
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 14048-14052
If
a real number
an unit of measure
(s) is a
melting
point of
a kind of pure substance
and
another real number
the unit of measure
(s) is a
boiling
point of
a kind of pure substance
,
then
the other real number
is
greater
than or equal to
the real number
appearance as argument number 0
(
meltingPoint
Actinium
(
MeasureFn
1320.0
KelvinDegree
))
Mid-level-ontology.kif 31276-31276
1320.0
Kelvin degree
(s) is a
melting
point of
actinium
(
meltingPoint
Aluminum
(
MeasureFn
933.52
KelvinDegree
))
Mid-level-ontology.kif 31124-31124
933.52
Kelvin degree
(s) is a
melting
point of
aluminum
(
meltingPoint
Americium
(
MeasureFn
1267.0
KelvinDegree
))
Mid-level-ontology.kif 31288-31288
1267.0
Kelvin degree
(s) is a
melting
point of
americium
(
meltingPoint
Antimony
(
MeasureFn
903.89
KelvinDegree
))
Mid-level-ontology.kif 31200-31200
903.89
Kelvin degree
(s) is a
melting
point of
antimony
(
meltingPoint
Argon
(
MeasureFn
83.78
KelvinDegree
))
Mid-level-ontology.kif 31134-31134
83.78
Kelvin degree
(s) is a
melting
point of
argon
(
meltingPoint
Arsenic
(
MeasureFn
886.0
KelvinDegree
))
Mid-level-ontology.kif 31164-31164
886.0
Kelvin degree
(s) is a
melting
point of
arsenic
(
meltingPoint
Astatine
(
MeasureFn
575.0
KelvinDegree
))
Mid-level-ontology.kif 31268-31268
575.0
Kelvin degree
(s) is a
melting
point of
astatine
(
meltingPoint
Barium
(
MeasureFn
998.0
KelvinDegree
))
Mid-level-ontology.kif 31210-31210
998.0
Kelvin degree
(s) is a
melting
point of
barium
(
meltingPoint
Berkelium
(
MeasureFn
1259.0
KelvinDegree
))
Mid-level-ontology.kif 31292-31292
1259.0
Kelvin degree
(s) is a
melting
point of
berkelium
(
meltingPoint
Beryllium
(
MeasureFn
1551.0
KelvinDegree
))
Mid-level-ontology.kif 31106-31106
1551.0
Kelvin degree
(s) is a
melting
point of
beryllium
(
meltingPoint
Bismuth
(
MeasureFn
544.5
KelvinDegree
))
Mid-level-ontology.kif 31264-31264
544.5
Kelvin degree
(s) is a
melting
point of
bismuth
(
meltingPoint
Boron
(
MeasureFn
2573.0
KelvinDegree
))
Mid-level-ontology.kif 31108-31108
2573.0
Kelvin degree
(s) is a
melting
point of
boron
(
meltingPoint
Bromine
(
MeasureFn
265.9
KelvinDegree
))
Mid-level-ontology.kif 31168-31168
265.9
Kelvin degree
(s) is a
melting
point of
bromine
(
meltingPoint
Cadmium
(
MeasureFn
594.1
KelvinDegree
))
Mid-level-ontology.kif 31194-31194
594.1
Kelvin degree
(s) is a
melting
point of
cadmium
(
meltingPoint
Caesium
(
MeasureFn
301.55
KelvinDegree
))
Mid-level-ontology.kif 31208-31208
301.55
Kelvin degree
(s) is a
melting
point of
caesium
(
meltingPoint
Calcium
(
MeasureFn
1112.0
KelvinDegree
))
Mid-level-ontology.kif 31138-31138
1112.0
Kelvin degree
(s) is a
melting
point of
calcium
(
meltingPoint
Californium
(
MeasureFn
1173.0
KelvinDegree
))
Mid-level-ontology.kif 31293-31293
1173.0
Kelvin degree
(s) is a
melting
point of
californium
(
meltingPoint
Carbon
(
MeasureFn
3823.0
KelvinDegree
))
Mid-level-ontology.kif 31110-31110
3823.0
Kelvin degree
(s) is a
melting
point of
carbon
(
meltingPoint
Cerium
(
MeasureFn
1071.0
KelvinDegree
))
Mid-level-ontology.kif 31214-31214
1071.0
Kelvin degree
(s) is a
melting
point of
cerium
(
meltingPoint
Chlorine
(
MeasureFn
172.17
KelvinDegree
))
Mid-level-ontology.kif 31132-31132
172.17
Kelvin degree
(s) is a
melting
point of
chlorine
(
meltingPoint
Chromium
(
MeasureFn
2130.0
KelvinDegree
))
Mid-level-ontology.kif 31146-31146
2130.0
Kelvin degree
(s) is a
melting
point of
chromium
(
meltingPoint
Cobalt
(
MeasureFn
1768.0
KelvinDegree
))
Mid-level-ontology.kif 31152-31152
1768.0
Kelvin degree
(s) is a
melting
point of
cobalt
(
meltingPoint
Copper
(
MeasureFn
1356.6
KelvinDegree
))
Mid-level-ontology.kif 31156-31156
1356.6
Kelvin degree
(s) is a
melting
point of
copper
(
meltingPoint
Curium
(
MeasureFn
1613.0
KelvinDegree
))
Mid-level-ontology.kif 31291-31291
1613.0
Kelvin degree
(s) is a
melting
point of
curium
(
meltingPoint
Dysprosium
(
MeasureFn
1682.0
KelvinDegree
))
Mid-level-ontology.kif 31230-31230
1682.0
Kelvin degree
(s) is a
melting
point of
dysprosium
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