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 13905-13907
(
domain
meltingPoint
2
TemperatureMeasure
)
Merge.kif 13904-13904
Il numero 2 argomenti di
meltingPoint
è un
istanza
di
MisuraDiTemperatura
(
domainSubclass
meltingPoint
1
PureSubstance
)
Merge.kif 13903-13903
Il numero 1 argomento
meltingPoint
è una
sottoclasse
di
SostanzaPura
(
instance
meltingPoint
BinaryPredicate
)
Merge.kif 13902-13902
meltingPoint
è un'
istanza
di
PredicatoBinario
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 13909-13924
Entit�
è un'
istanza
di
SostanzaPura
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
meltingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
attribute
Entit�
and
Liquid
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Sciogliere
Entit�
è un
paziente
di
Processo
(=>
(
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 13926-13939
Entit�
è un'
istanza
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
meno
di
NumeroReale
attribute
Entit�
and
Solid
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Congelare
Entit�
è un
paziente
di
Processo
(=>
(
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 13855-13864
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Liquid
(=>
(
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 13866-13875
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s
NumeroReale
è
pi
ù grande di 29.92 la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Solid
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13941-13945
meltingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
appearance as argument number 0
(
meltingPoint
Actinium
(
MeasureFn
1320.0
KelvinDegree
))
Mid-level-ontology.kif 29408-29408
meltingPoint
Actinium
and 1320.0
KelvinDegree
(s
(
meltingPoint
Aluminum
(
MeasureFn
933.52
KelvinDegree
))
Mid-level-ontology.kif 29256-29256
meltingPoint
Aluminum
and 933.52
KelvinDegree
(s
(
meltingPoint
Americium
(
MeasureFn
1267.0
KelvinDegree
))
Mid-level-ontology.kif 29420-29420
meltingPoint
Americium
and 1267.0
KelvinDegree
(s
(
meltingPoint
Antimony
(
MeasureFn
903.89
KelvinDegree
))
Mid-level-ontology.kif 29332-29332
meltingPoint
Antimony
and 903.89
KelvinDegree
(s
(
meltingPoint
Argon
(
MeasureFn
83.78
KelvinDegree
))
Mid-level-ontology.kif 29266-29266
meltingPoint
Argon
and 83.78
KelvinDegree
(s
(
meltingPoint
Arsenic
(
MeasureFn
886.0
KelvinDegree
))
Mid-level-ontology.kif 29296-29296
meltingPoint
Arsenic
and 886.0
KelvinDegree
(s
(
meltingPoint
Astatine
(
MeasureFn
575.0
KelvinDegree
))
Mid-level-ontology.kif 29400-29400
meltingPoint
Astatine
and 575.0
KelvinDegree
(s
(
meltingPoint
Barium
(
MeasureFn
998.0
KelvinDegree
))
Mid-level-ontology.kif 29342-29342
meltingPoint
Barium
and 998.0
KelvinDegree
(s
(
meltingPoint
Berkelium
(
MeasureFn
1259.0
KelvinDegree
))
Mid-level-ontology.kif 29424-29424
meltingPoint
Berkelium
and 1259.0
KelvinDegree
(s
(
meltingPoint
Beryllium
(
MeasureFn
1551.0
KelvinDegree
))
Mid-level-ontology.kif 29238-29238
meltingPoint
Beryllium
and 1551.0
KelvinDegree
(s
(
meltingPoint
Bismuth
(
MeasureFn
544.5
KelvinDegree
))
Mid-level-ontology.kif 29396-29396
meltingPoint
Bismuth
and 544.5
KelvinDegree
(s
(
meltingPoint
Boron
(
MeasureFn
2573.0
KelvinDegree
))
Mid-level-ontology.kif 29240-29240
meltingPoint
Boron
and 2573.0
KelvinDegree
(s
(
meltingPoint
Bromine
(
MeasureFn
265.9
KelvinDegree
))
Mid-level-ontology.kif 29300-29300
meltingPoint
Bromine
and 265.9
KelvinDegree
(s
(
meltingPoint
Cadmium
(
MeasureFn
594.1
KelvinDegree
))
Mid-level-ontology.kif 29326-29326
meltingPoint
Cadmium
and 594.1
KelvinDegree
(s
(
meltingPoint
Caesium
(
MeasureFn
301.55
KelvinDegree
))
Mid-level-ontology.kif 29340-29340
meltingPoint
Caesium
and 301.55
KelvinDegree
(s
(
meltingPoint
Calcium
(
MeasureFn
1112.0
KelvinDegree
))
Mid-level-ontology.kif 29270-29270
meltingPoint
Calcium
and 1112.0
KelvinDegree
(s
(
meltingPoint
Californium
(
MeasureFn
1173.0
KelvinDegree
))
Mid-level-ontology.kif 29425-29425
meltingPoint
Californium
and 1173.0
KelvinDegree
(s
(
meltingPoint
Carbon
(
MeasureFn
3823.0
KelvinDegree
))
Mid-level-ontology.kif 29242-29242
meltingPoint
Carbon
and 3823.0
KelvinDegree
(s
(
meltingPoint
Cerium
(
MeasureFn
1071.0
KelvinDegree
))
Mid-level-ontology.kif 29346-29346
meltingPoint
Cerium
and 1071.0
KelvinDegree
(s
(
meltingPoint
Chlorine
(
MeasureFn
172.17
KelvinDegree
))
Mid-level-ontology.kif 29264-29264
meltingPoint
Chlorine
and 172.17
KelvinDegree
(s
(
meltingPoint
Chromium
(
MeasureFn
2130.0
KelvinDegree
))
Mid-level-ontology.kif 29278-29278
meltingPoint
Chromium
and 2130.0
KelvinDegree
(s
(
meltingPoint
Cobalt
(
MeasureFn
1768.0
KelvinDegree
))
Mid-level-ontology.kif 29284-29284
meltingPoint
Cobalt
and 1768.0
KelvinDegree
(s
(
meltingPoint
Copper
(
MeasureFn
1356.6
KelvinDegree
))
Mid-level-ontology.kif 29288-29288
meltingPoint
Copper
and 1356.6
KelvinDegree
(s
(
meltingPoint
Curium
(
MeasureFn
1613.0
KelvinDegree
))
Mid-level-ontology.kif 29423-29423
meltingPoint
Curium
and 1613.0
KelvinDegree
(s
(
meltingPoint
Dysprosium
(
MeasureFn
1682.0
KelvinDegree
))
Mid-level-ontology.kif 29362-29362
meltingPoint
Dysprosium
and 1682.0
KelvinDegree
(s
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