boilingPoint - Sigma Knowledge base Browser

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 13817-13818
(domain boilingPoint 2 TemperatureMeasure)	Merge.kif 13816-13816	Die Zahl 2 Argument von boilingPoint ist ein fall von TemperatureMeasure %n{nicht}
(domainSubclass boilingPoint 1 PureSubstance)	Merge.kif 13815-13815	Die Zahl 1 Argument von boilingPoint ist eine teilkategorie von PureSubstance %n{nicht}
(instance boilingPoint BinaryPredicate)	Merge.kif 13814-13814	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 13863-13876	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 13853-13861	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 13975-13988	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 13885-13900	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 13820-13829	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 13831-13840	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 13917-13921	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 29346-29346	boilingPoint Actinium and 3470.0 KelvinDegree(s)
(boilingPoint Aluminum (MeasureFn 2740.0 KelvinDegree))	Mid-level-ontology.kif 29194-29194	boilingPoint Aluminum and 2740.0 KelvinDegree(s)
(boilingPoint Americium (MeasureFn 2880.0 KelvinDegree))	Mid-level-ontology.kif 29358-29358	boilingPoint Americium and 2880.0 KelvinDegree(s)
(boilingPoint Antimony (MeasureFn 2023.0 KelvinDegree))	Mid-level-ontology.kif 29270-29270	boilingPoint Antimony and 2023.0 KelvinDegree(s)
(boilingPoint Argon (MeasureFn 87.29 KelvinDegree))	Mid-level-ontology.kif 29204-29204	boilingPoint Argon and 87.29 KelvinDegree(s)
(boilingPoint Arsenic (MeasureFn 886.0 KelvinDegree))	Mid-level-ontology.kif 29234-29234	boilingPoint Arsenic and 886.0 KelvinDegree(s)
(boilingPoint Astatine (MeasureFn 610.0 KelvinDegree))	Mid-level-ontology.kif 29338-29338	boilingPoint Astatine and 610.0 KelvinDegree(s)
(boilingPoint Barium (MeasureFn 1913.0 KelvinDegree))	Mid-level-ontology.kif 29280-29280	boilingPoint Barium and 1913.0 KelvinDegree(s)
(boilingPoint Beryllium (MeasureFn 3243.0 KelvinDegree))	Mid-level-ontology.kif 29176-29176	boilingPoint Beryllium and 3243.0 KelvinDegree(s)
(boilingPoint Bismuth (MeasureFn 1833.0 KelvinDegree))	Mid-level-ontology.kif 29334-29334	boilingPoint Bismuth and 1833.0 KelvinDegree(s)
(boilingPoint Boron (MeasureFn 2823.0 KelvinDegree))	Mid-level-ontology.kif 29178-29178	boilingPoint Boron and 2823.0 KelvinDegree(s)
(boilingPoint Bromine (MeasureFn 331.93 KelvinDegree))	Mid-level-ontology.kif 29238-29238	boilingPoint Bromine and 331.93 KelvinDegree(s)
(boilingPoint Cadmium (MeasureFn 1038.0 KelvinDegree))	Mid-level-ontology.kif 29264-29264	boilingPoint Cadmium and 1038.0 KelvinDegree(s)
(boilingPoint Caesium (MeasureFn 963.0 KelvinDegree))	Mid-level-ontology.kif 29278-29278	boilingPoint Caesium and 963.0 KelvinDegree(s)
(boilingPoint Calcium (MeasureFn 1760.0 KelvinDegree))	Mid-level-ontology.kif 29208-29208	boilingPoint Calcium and 1760.0 KelvinDegree(s)
(boilingPoint Carbon (MeasureFn 5100.0 KelvinDegree))	Mid-level-ontology.kif 29180-29180	boilingPoint Carbon and 5100.0 KelvinDegree(s)
(boilingPoint Cerium (MeasureFn 3530.0 KelvinDegree))	Mid-level-ontology.kif 29284-29284	boilingPoint Cerium and 3530.0 KelvinDegree(s)
(boilingPoint Chlorine (MeasureFn 238.55 KelvinDegree))	Mid-level-ontology.kif 29202-29202	boilingPoint Chlorine and 238.55 KelvinDegree(s)
(boilingPoint Chromium (MeasureFn 2755.0 KelvinDegree))	Mid-level-ontology.kif 29216-29216	boilingPoint Chromium and 2755.0 KelvinDegree(s)
(boilingPoint Cobalt (MeasureFn 3143.0 KelvinDegree))	Mid-level-ontology.kif 29222-29222	boilingPoint Cobalt and 3143.0 KelvinDegree(s)
(boilingPoint Copper (MeasureFn 2868.0 KelvinDegree))	Mid-level-ontology.kif 29226-29226	boilingPoint Copper and 2868.0 KelvinDegree(s)
(boilingPoint Dysprosium (MeasureFn 2608.0 KelvinDegree))	Mid-level-ontology.kif 29300-29300	boilingPoint Dysprosium and 2608.0 KelvinDegree(s)
(boilingPoint Erbium (MeasureFn 2783.0 KelvinDegree))	Mid-level-ontology.kif 29304-29304	boilingPoint Erbium and 2783.0 KelvinDegree(s)
(boilingPoint Europium (MeasureFn 1870.0 KelvinDegree))	Mid-level-ontology.kif 29294-29294	boilingPoint Europium and 1870.0 KelvinDegree(s)
(boilingPoint Fluorine (MeasureFn 85.01 KelvinDegree))	Mid-level-ontology.kif 29186-29186	boilingPoint Fluorine and 85.01 KelvinDegree(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: