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 13568-13569
(domain boilingPoint 2 TemperatureMeasure)	Merge.kif 13567-13567	The number 2 argument of boiling point is an instance of temperature measure
(domainSubclass boilingPoint 1 PureSubstance)	Merge.kif 13566-13566	The number 1 argument of boiling point is a subclass of pure substance
(instance boilingPoint BinaryPredicate)	Merge.kif 13565-13565	boiling point is an instance of binary predicate

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 11510-11510
(termFormat ChineseTraditionalLanguage boilingPoint "沸點")	domainEnglishFormat.kif 11509-11509
(termFormat EnglishLanguage boilingPoint "boiling point")	domainEnglishFormat.kif 11508-11508

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 13614-13627	If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance 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 UnitOfTemperature and the other real number is greater than or equal to the real number, then gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process
(=> (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 13604-13612	If a process is an instance of boiling and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the entity is a patient of the process and the measure of the entity is another real number the unit of measure(s) holds during the time of existence of the process and the unit of measure is an instance of UnitOfTemperature, then the other real number is greater than or equal to the real number
(=> (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 13722-13735	If a process is an instance of evaporating and a real number an unit of measure(s) is a boiling point of a kind of pure substance and an object is an instance of a kind of pure substance and the measure of the object is another real number the unit of measure(s) and the unit of measure is an instance of UnitOfTemperature and the object is a patient of the process, then there exists another object such that the other object is a part of the object and the real number is greater than the other real number and liquid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process
(=> (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 13636-13651	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 UnitOfTemperature 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 overlaps 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 ?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 13571-13580	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 inch mercury(s) is a barometric pressure of the object and 29.92 is greater than the real number and another real number kelvin degree(s) is a boiling 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, then gas is an attribute of the object
(=> (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 13582-13591	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 (meltingPoint ?TYPE (MeasureFn ?MELT ?U)) (boilingPoint ?TYPE (MeasureFn ?BOIL ?U))) (greaterThanOrEqualTo ?BOIL ?MELT))	Merge.kif 13668-13672	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

(boilingPoint Actinium (MeasureFn 3470.0 KelvinDegree))	Mid-level-ontology.kif 28844-28844	3470.0 Kelvin degree(s) is a boiling point of actinium
(boilingPoint Aluminum (MeasureFn 2740.0 KelvinDegree))	Mid-level-ontology.kif 28692-28692	2740.0 Kelvin degree(s) is a boiling point of aluminum
(boilingPoint Americium (MeasureFn 2880.0 KelvinDegree))	Mid-level-ontology.kif 28856-28856	2880.0 Kelvin degree(s) is a boiling point of americium
(boilingPoint Antimony (MeasureFn 2023.0 KelvinDegree))	Mid-level-ontology.kif 28768-28768	2023.0 Kelvin degree(s) is a boiling point of antimony
(boilingPoint Argon (MeasureFn 87.29 KelvinDegree))	Mid-level-ontology.kif 28702-28702	87.29 Kelvin degree(s) is a boiling point of argon
(boilingPoint Arsenic (MeasureFn 886.0 KelvinDegree))	Mid-level-ontology.kif 28732-28732	886.0 Kelvin degree(s) is a boiling point of arsenic
(boilingPoint Astatine (MeasureFn 610.0 KelvinDegree))	Mid-level-ontology.kif 28836-28836	610.0 Kelvin degree(s) is a boiling point of astatine
(boilingPoint Barium (MeasureFn 1913.0 KelvinDegree))	Mid-level-ontology.kif 28778-28778	1913.0 Kelvin degree(s) is a boiling point of barium
(boilingPoint Beryllium (MeasureFn 3243.0 KelvinDegree))	Mid-level-ontology.kif 28674-28674	3243.0 Kelvin degree(s) is a boiling point of beryllium
(boilingPoint Bismuth (MeasureFn 1833.0 KelvinDegree))	Mid-level-ontology.kif 28832-28832	1833.0 Kelvin degree(s) is a boiling point of bismuth
(boilingPoint Boron (MeasureFn 2823.0 KelvinDegree))	Mid-level-ontology.kif 28676-28676	2823.0 Kelvin degree(s) is a boiling point of boron
(boilingPoint Bromine (MeasureFn 331.93 KelvinDegree))	Mid-level-ontology.kif 28736-28736	331.93 Kelvin degree(s) is a boiling point of bromine
(boilingPoint Cadmium (MeasureFn 1038.0 KelvinDegree))	Mid-level-ontology.kif 28762-28762	1038.0 Kelvin degree(s) is a boiling point of cadmium
(boilingPoint Caesium (MeasureFn 963.0 KelvinDegree))	Mid-level-ontology.kif 28776-28776	963.0 Kelvin degree(s) is a boiling point of caesium
(boilingPoint Calcium (MeasureFn 1760.0 KelvinDegree))	Mid-level-ontology.kif 28706-28706	1760.0 Kelvin degree(s) is a boiling point of calcium
(boilingPoint Carbon (MeasureFn 5100.0 KelvinDegree))	Mid-level-ontology.kif 28678-28678	5100.0 Kelvin degree(s) is a boiling point of carbon
(boilingPoint Cerium (MeasureFn 3530.0 KelvinDegree))	Mid-level-ontology.kif 28782-28782	3530.0 Kelvin degree(s) is a boiling point of cerium
(boilingPoint Chlorine (MeasureFn 238.55 KelvinDegree))	Mid-level-ontology.kif 28700-28700	238.55 Kelvin degree(s) is a boiling point of chlorine
(boilingPoint Chromium (MeasureFn 2755.0 KelvinDegree))	Mid-level-ontology.kif 28714-28714	2755.0 Kelvin degree(s) is a boiling point of chromium
(boilingPoint Cobalt (MeasureFn 3143.0 KelvinDegree))	Mid-level-ontology.kif 28720-28720	3143.0 Kelvin degree(s) is a boiling point of cobalt
(boilingPoint Copper (MeasureFn 2868.0 KelvinDegree))	Mid-level-ontology.kif 28724-28724	2868.0 Kelvin degree(s) is a boiling point of copper
(boilingPoint Dysprosium (MeasureFn 2608.0 KelvinDegree))	Mid-level-ontology.kif 28798-28798	2608.0 Kelvin degree(s) is a boiling point of dysprosium
(boilingPoint Erbium (MeasureFn 2783.0 KelvinDegree))	Mid-level-ontology.kif 28802-28802	2783.0 Kelvin degree(s) is a boiling point of erbium
(boilingPoint Europium (MeasureFn 1870.0 KelvinDegree))	Mid-level-ontology.kif 28792-28792	1870.0 Kelvin degree(s) is a boiling point of europium
(boilingPoint Fluorine (MeasureFn 85.01 KelvinDegree))	Mid-level-ontology.kif 28684-28684	85.01 Kelvin degree(s) is a boiling point of fluorine

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: