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 13841-13842
(
domain
boilingPoint
2
TemperatureMeasure
)
Merge.kif 13840-13840
Le nombre 2 argument de
boilingPoint
est une
instance
de
mesure de temperature
(
domainSubclass
boilingPoint
1
PureSubstance
)
Merge.kif 13839-13839
Le nombre 1 argument de
boilingPoint
est une
sous
-classe de
substance pure
(
instance
boilingPoint
BinaryPredicate
)
Merge.kif 13838-13838
boilingPoint
est une
instance
de
pr�dicat binaire
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 13887-13900
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
entit�
est une
instance
de
substance pure
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
interval temporel
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Gas
est un
attribut
de
entit�
pendant
interval temporel
processus
interval temporel
recouvre
temps
d'existence de
processus
processus
est une
instance
de
�vaporer
entit�
est un
patient
de
processus
(=>
(
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 13877-13885
Processus
est une
instance
de
�vaporer
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
entit�
est une
instance
de
substance pure
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
temps
d'existence de
processus
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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 13999-14012
Processus
est une
instance
de
Evaporating
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
substance pure
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfTemperature
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
Liquid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Gas
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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�
est une
instance
de
substance pure
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
meltingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfTemperature
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
moins
que
nombre r�el
Liquid
est un
attribut
de
entit�
pendant
interval temporel
processus
interval temporel
recouvre
temps
d'existence de
processus
processus
est une
instance
de
mettre en fusion
entit�
est un
patient
de
processus
(=>
(
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 13844-13853
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
barometricPressure
objet
and
nombre r�el
InchMercury
(s) 29.92 est
plus
grand
que
nombre r�el
boilingPoint
substance pure
and
nombre r�el
KelvinDegree
(s) la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
plus
grand
que
nombre r�el
Gas
est un
attribut
de
objet
(=>
(
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
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
boilingPoint
substance pure
and
nombre r�el
KelvinDegree
(s)
meltingPoint
substance pure
and
nombre r�el
KelvinDegree
(s) la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
moins
que
nombre r�el
Liquid
est un
attribut
de
objet
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13941-13945
meltingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
appearance as argument number 0
(
boilingPoint
Actinium
(
MeasureFn
3470.0
KelvinDegree
))
Mid-level-ontology.kif 29409-29409
boilingPoint
Actinium
and 3470.0
KelvinDegree
(s)
(
boilingPoint
Aluminum
(
MeasureFn
2740.0
KelvinDegree
))
Mid-level-ontology.kif 29257-29257
boilingPoint
Aluminum
and 2740.0
KelvinDegree
(s)
(
boilingPoint
Americium
(
MeasureFn
2880.0
KelvinDegree
))
Mid-level-ontology.kif 29421-29421
boilingPoint
Americium
and 2880.0
KelvinDegree
(s)
(
boilingPoint
Antimony
(
MeasureFn
2023.0
KelvinDegree
))
Mid-level-ontology.kif 29333-29333
boilingPoint
Antimony
and 2023.0
KelvinDegree
(s)
(
boilingPoint
Argon
(
MeasureFn
87.29
KelvinDegree
))
Mid-level-ontology.kif 29267-29267
boilingPoint
Argon
and 87.29
KelvinDegree
(s)
(
boilingPoint
Arsenic
(
MeasureFn
886.0
KelvinDegree
))
Mid-level-ontology.kif 29297-29297
boilingPoint
Arsenic
and 886.0
KelvinDegree
(s)
(
boilingPoint
Astatine
(
MeasureFn
610.0
KelvinDegree
))
Mid-level-ontology.kif 29401-29401
boilingPoint
Astatine
and 610.0
KelvinDegree
(s)
(
boilingPoint
Barium
(
MeasureFn
1913.0
KelvinDegree
))
Mid-level-ontology.kif 29343-29343
boilingPoint
Barium
and 1913.0
KelvinDegree
(s)
(
boilingPoint
Beryllium
(
MeasureFn
3243.0
KelvinDegree
))
Mid-level-ontology.kif 29239-29239
boilingPoint
Beryllium
and 3243.0
KelvinDegree
(s)
(
boilingPoint
Bismuth
(
MeasureFn
1833.0
KelvinDegree
))
Mid-level-ontology.kif 29397-29397
boilingPoint
Bismuth
and 1833.0
KelvinDegree
(s)
(
boilingPoint
Boron
(
MeasureFn
2823.0
KelvinDegree
))
Mid-level-ontology.kif 29241-29241
boilingPoint
Boron
and 2823.0
KelvinDegree
(s)
(
boilingPoint
Bromine
(
MeasureFn
331.93
KelvinDegree
))
Mid-level-ontology.kif 29301-29301
boilingPoint
Bromine
and 331.93
KelvinDegree
(s)
(
boilingPoint
Cadmium
(
MeasureFn
1038.0
KelvinDegree
))
Mid-level-ontology.kif 29327-29327
boilingPoint
Cadmium
and 1038.0
KelvinDegree
(s)
(
boilingPoint
Caesium
(
MeasureFn
963.0
KelvinDegree
))
Mid-level-ontology.kif 29341-29341
boilingPoint
Caesium
and 963.0
KelvinDegree
(s)
(
boilingPoint
Calcium
(
MeasureFn
1760.0
KelvinDegree
))
Mid-level-ontology.kif 29271-29271
boilingPoint
Calcium
and 1760.0
KelvinDegree
(s)
(
boilingPoint
Carbon
(
MeasureFn
5100.0
KelvinDegree
))
Mid-level-ontology.kif 29243-29243
boilingPoint
Carbon
and 5100.0
KelvinDegree
(s)
(
boilingPoint
Cerium
(
MeasureFn
3530.0
KelvinDegree
))
Mid-level-ontology.kif 29347-29347
boilingPoint
Cerium
and 3530.0
KelvinDegree
(s)
(
boilingPoint
Chlorine
(
MeasureFn
238.55
KelvinDegree
))
Mid-level-ontology.kif 29265-29265
boilingPoint
Chlorine
and 238.55
KelvinDegree
(s)
(
boilingPoint
Chromium
(
MeasureFn
2755.0
KelvinDegree
))
Mid-level-ontology.kif 29279-29279
boilingPoint
Chromium
and 2755.0
KelvinDegree
(s)
(
boilingPoint
Cobalt
(
MeasureFn
3143.0
KelvinDegree
))
Mid-level-ontology.kif 29285-29285
boilingPoint
Cobalt
and 3143.0
KelvinDegree
(s)
(
boilingPoint
Copper
(
MeasureFn
2868.0
KelvinDegree
))
Mid-level-ontology.kif 29289-29289
boilingPoint
Copper
and 2868.0
KelvinDegree
(s)
(
boilingPoint
Dysprosium
(
MeasureFn
2608.0
KelvinDegree
))
Mid-level-ontology.kif 29363-29363
boilingPoint
Dysprosium
and 2608.0
KelvinDegree
(s)
(
boilingPoint
Erbium
(
MeasureFn
2783.0
KelvinDegree
))
Mid-level-ontology.kif 29367-29367
boilingPoint
Erbium
and 2783.0
KelvinDegree
(s)
(
boilingPoint
Europium
(
MeasureFn
1870.0
KelvinDegree
))
Mid-level-ontology.kif 29357-29357
boilingPoint
Europium
and 1870.0
KelvinDegree
(s)
(
boilingPoint
Fluorine
(
MeasureFn
85.01
KelvinDegree
))
Mid-level-ontology.kif 29249-29249
boilingPoint
Fluorine
and 85.01
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