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
Die Zahl 2 Argument von
boilingPoint
ist ein
fall
von
TemperatureMeasure
%n{nicht}
(
domainSubclass
boilingPoint
1
PureSubstance
)
Merge.kif 13793-13793
Die Zahl 1 Argument von
boilingPoint
ist eine
teilkategorie
von
PureSubstance
%n{nicht}
(
instance
boilingPoint
BinaryPredicate
)
Merge.kif 13792-13792
boilingPoint
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
Entity
ist ein
fall
von
** PureSubstance
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht},
dann
Gas
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} oder es gibt
Process
um
** TimeInterval
deckt
sich mit die
zeit
des Bestehens von
** Process
%n{nicht} und
** Process
ist ein
fall
von
Boiling
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Boiling
%n{nicht} und
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
Entity
ist ein
fall
von
** PureSubstance
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Evaporating
%n{nicht} und
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und das
mass
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
Liquid
ist ein
attribut
von
** ** Object
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht} und
Gas
ist ein
attribut
von
** ** Object
%n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
Entity
ist ein
fall
von
** PureSubstance
%n{nicht} und
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
meltingPoint
** ** PureSubstance
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Liquid
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} oder es gibt
Process
um
** TimeInterval
deckt
sich mit die
zeit
des Bestehens von
** Process
%n{nicht} und
** Process
ist ein
fall
von
Melting
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
barometricPressure
** Object
and
RealNumber
InchMercury
(s) und 29.92 ist
groesserAls
** RealNumber
%n{nicht} und
boilingPoint
** ** PureSubstance
and
** RealNumber
KelvinDegree
(s) und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht},
dann
Gas
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
** PureSubstance
%n{nicht} und
** PureSubstance
ist eine
teilkategorie
von
PureSubstance
und
boilingPoint
** ** PureSubstance
and
RealNumber
KelvinDegree
(s) und
meltingPoint
** ** PureSubstance
and
** RealNumber
KelvinDegree
(s) und das
mass
von
** Object
ist
** RealNumber
KelvinDegree
(s) %n{nicht} und
** ** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAls
** RealNumber
%n{nicht},
dann
Liquid
ist ein
attribut
von
** Object
%n{nicht}
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13895-13899
Wenn
meltingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
boilingPoint
** PureSubstance
and
** RealNumber
** UnitOfMeasure
(s),
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
appearance as argument number 0
(
boilingPoint
Actinium
(
MeasureFn
3470.0
KelvinDegree
))
Mid-level-ontology.kif 29358-29358
boilingPoint
Actinium
and 3470.0
KelvinDegree
(s)
(
boilingPoint
Aluminum
(
MeasureFn
2740.0
KelvinDegree
))
Mid-level-ontology.kif 29206-29206
boilingPoint
Aluminum
and 2740.0
KelvinDegree
(s)
(
boilingPoint
Americium
(
MeasureFn
2880.0
KelvinDegree
))
Mid-level-ontology.kif 29370-29370
boilingPoint
Americium
and 2880.0
KelvinDegree
(s)
(
boilingPoint
Antimony
(
MeasureFn
2023.0
KelvinDegree
))
Mid-level-ontology.kif 29282-29282
boilingPoint
Antimony
and 2023.0
KelvinDegree
(s)
(
boilingPoint
Argon
(
MeasureFn
87.29
KelvinDegree
))
Mid-level-ontology.kif 29216-29216
boilingPoint
Argon
and 87.29
KelvinDegree
(s)
(
boilingPoint
Arsenic
(
MeasureFn
886.0
KelvinDegree
))
Mid-level-ontology.kif 29246-29246
boilingPoint
Arsenic
and 886.0
KelvinDegree
(s)
(
boilingPoint
Astatine
(
MeasureFn
610.0
KelvinDegree
))
Mid-level-ontology.kif 29350-29350
boilingPoint
Astatine
and 610.0
KelvinDegree
(s)
(
boilingPoint
Barium
(
MeasureFn
1913.0
KelvinDegree
))
Mid-level-ontology.kif 29292-29292
boilingPoint
Barium
and 1913.0
KelvinDegree
(s)
(
boilingPoint
Beryllium
(
MeasureFn
3243.0
KelvinDegree
))
Mid-level-ontology.kif 29188-29188
boilingPoint
Beryllium
and 3243.0
KelvinDegree
(s)
(
boilingPoint
Bismuth
(
MeasureFn
1833.0
KelvinDegree
))
Mid-level-ontology.kif 29346-29346
boilingPoint
Bismuth
and 1833.0
KelvinDegree
(s)
(
boilingPoint
Boron
(
MeasureFn
2823.0
KelvinDegree
))
Mid-level-ontology.kif 29190-29190
boilingPoint
Boron
and 2823.0
KelvinDegree
(s)
(
boilingPoint
Bromine
(
MeasureFn
331.93
KelvinDegree
))
Mid-level-ontology.kif 29250-29250
boilingPoint
Bromine
and 331.93
KelvinDegree
(s)
(
boilingPoint
Cadmium
(
MeasureFn
1038.0
KelvinDegree
))
Mid-level-ontology.kif 29276-29276
boilingPoint
Cadmium
and 1038.0
KelvinDegree
(s)
(
boilingPoint
Caesium
(
MeasureFn
963.0
KelvinDegree
))
Mid-level-ontology.kif 29290-29290
boilingPoint
Caesium
and 963.0
KelvinDegree
(s)
(
boilingPoint
Calcium
(
MeasureFn
1760.0
KelvinDegree
))
Mid-level-ontology.kif 29220-29220
boilingPoint
Calcium
and 1760.0
KelvinDegree
(s)
(
boilingPoint
Carbon
(
MeasureFn
5100.0
KelvinDegree
))
Mid-level-ontology.kif 29192-29192
boilingPoint
Carbon
and 5100.0
KelvinDegree
(s)
(
boilingPoint
Cerium
(
MeasureFn
3530.0
KelvinDegree
))
Mid-level-ontology.kif 29296-29296
boilingPoint
Cerium
and 3530.0
KelvinDegree
(s)
(
boilingPoint
Chlorine
(
MeasureFn
238.55
KelvinDegree
))
Mid-level-ontology.kif 29214-29214
boilingPoint
Chlorine
and 238.55
KelvinDegree
(s)
(
boilingPoint
Chromium
(
MeasureFn
2755.0
KelvinDegree
))
Mid-level-ontology.kif 29228-29228
boilingPoint
Chromium
and 2755.0
KelvinDegree
(s)
(
boilingPoint
Cobalt
(
MeasureFn
3143.0
KelvinDegree
))
Mid-level-ontology.kif 29234-29234
boilingPoint
Cobalt
and 3143.0
KelvinDegree
(s)
(
boilingPoint
Copper
(
MeasureFn
2868.0
KelvinDegree
))
Mid-level-ontology.kif 29238-29238
boilingPoint
Copper
and 2868.0
KelvinDegree
(s)
(
boilingPoint
Dysprosium
(
MeasureFn
2608.0
KelvinDegree
))
Mid-level-ontology.kif 29312-29312
boilingPoint
Dysprosium
and 2608.0
KelvinDegree
(s)
(
boilingPoint
Erbium
(
MeasureFn
2783.0
KelvinDegree
))
Mid-level-ontology.kif 29316-29316
boilingPoint
Erbium
and 2783.0
KelvinDegree
(s)
(
boilingPoint
Europium
(
MeasureFn
1870.0
KelvinDegree
))
Mid-level-ontology.kif 29306-29306
boilingPoint
Europium
and 1870.0
KelvinDegree
(s)
(
boilingPoint
Fluorine
(
MeasureFn
85.01
KelvinDegree
))
Mid-level-ontology.kif 29198-29198
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