meltingPoint - Sigma Knowledge base Browser

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 12727-12729
(domain meltingPoint 2 TemperatureMeasure)	Merge.kif 12726-12726	domain meltingPoint, 2 and TemperatureMeasure
(domainSubclass meltingPoint 1 PureSubstance)	Merge.kif 12725-12725	domainSubclass meltingPoint, 1 and PureSubstance
(instance meltingPoint BinaryPredicate)	Merge.kif 12724-12724	instance meltingPoint and BinaryPredicate

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 36907-36907	termFormat ChineseLanguage, meltingPoint and "熔点"
(termFormat ChineseTraditionalLanguage meltingPoint "熔點")	domainEnglishFormat.kif 36906-36906	termFormat ChineseTraditionalLanguage, meltingPoint and "熔點"
(termFormat EnglishLanguage meltingPoint "melting point")	domainEnglishFormat.kif 36905-36905	termFormat EnglishLanguage, meltingPoint and "melting point"

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 12731-12746	instance Entity and PureSubstance boilingPoint PureSubstance and MeasureFn RealNumber and UnitOfMeasure meltingPoint PureSubstance and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfTemperature holdsDuring TimeInterval and measure Entity and MeasureFn Quantity and UnitOfMeasure greaterThan Quantity and RealNumber lessThan Quantity and RealNumber holdsDuring TimeInterval and attribute Entity and Liquid Process overlapsTemporally WhenFn Process and TimeInterval instance Process and Melting patient Process and Entity
(=> (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 12748-12761	instance Entity and PureSubstance meltingPoint PureSubstance and MeasureFn RealNumber and UnitOfMeasure holdsDuring TimeInterval and measure Entity and MeasureFn Quantity and UnitOfMeasure instance UnitOfMeasure and UnitOfTemperature lessThan Quantity and RealNumber holdsDuring TimeInterval and attribute Entity and Solid Process overlapsTemporally WhenFn Process and TimeInterval instance Process and Freezing patient Process and Entity
(=> (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 12677-12686	instance Object and PureSubstance subclass PureSubstance and PureSubstance boilingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree meltingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree measure Object and MeasureFn RealNumber and KelvinDegree greaterThan RealNumber and RealNumber lessThan RealNumber and RealNumber attribute Object 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 12688-12697	instance Object and PureSubstance subclass PureSubstance and PureSubstance meltingPoint PureSubstance and MeasureFn RealNumber and KelvinDegree barometricPressure Object and MeasureFn RealNumber and InchMercury greaterThan RealNumber and 29.92 measure Object and MeasureFn RealNumber and KelvinDegree lessThan RealNumber and RealNumber attribute Object and Solid
(=> (and (meltingPoint ?TYPE ?MELT) (boilingPoint ?TYPE ?BOIL)) (greaterThanOrEqualTo ?BOIL ?MELT))	Merge.kif 12763-12767	meltingPoint PureSubstance and TemperatureMeasure boilingPoint PureSubstance and TemperatureMeasure greaterThanOrEqualTo TemperatureMeasure and TemperatureMeasure

appearance as argument number 0

(meltingPoint Actinium (MeasureFn 1320 KelvinDegree))	Mid-level-ontology.kif 27503-27503	meltingPoint Actinium and MeasureFn 1320 and KelvinDegree
(meltingPoint Aluminum (MeasureFn 933.52 KelvinDegree))	Mid-level-ontology.kif 27351-27351	meltingPoint Aluminum and MeasureFn 933.52 and KelvinDegree
(meltingPoint Americium (MeasureFn 1267 KelvinDegree))	Mid-level-ontology.kif 27515-27515	meltingPoint Americium and MeasureFn 1267 and KelvinDegree
(meltingPoint Antimony (MeasureFn 903.89 KelvinDegree))	Mid-level-ontology.kif 27427-27427	meltingPoint Antimony and MeasureFn 903.89 and KelvinDegree
(meltingPoint Argon (MeasureFn 83.78 KelvinDegree))	Mid-level-ontology.kif 27361-27361	meltingPoint Argon and MeasureFn 83.78 and KelvinDegree
(meltingPoint Arsenic (MeasureFn 886 KelvinDegree))	Mid-level-ontology.kif 27391-27391	meltingPoint Arsenic and MeasureFn 886 and KelvinDegree
(meltingPoint Astatine (MeasureFn 575 KelvinDegree))	Mid-level-ontology.kif 27495-27495	meltingPoint Astatine and MeasureFn 575 and KelvinDegree
(meltingPoint Barium (MeasureFn 998 KelvinDegree))	Mid-level-ontology.kif 27437-27437	meltingPoint Barium and MeasureFn 998 and KelvinDegree
(meltingPoint Berkelium (MeasureFn 1259 KelvinDegree))	Mid-level-ontology.kif 27519-27519	meltingPoint Berkelium and MeasureFn 1259 and KelvinDegree
(meltingPoint Beryllium (MeasureFn 1551 KelvinDegree))	Mid-level-ontology.kif 27333-27333	meltingPoint Beryllium and MeasureFn 1551 and KelvinDegree
(meltingPoint Bismuth (MeasureFn 544.5 KelvinDegree))	Mid-level-ontology.kif 27491-27491	meltingPoint Bismuth and MeasureFn 544.5 and KelvinDegree
(meltingPoint Boron (MeasureFn 2573 KelvinDegree))	Mid-level-ontology.kif 27335-27335	meltingPoint Boron and MeasureFn 2573 and KelvinDegree
(meltingPoint Bromine (MeasureFn 265.9 KelvinDegree))	Mid-level-ontology.kif 27395-27395	meltingPoint Bromine and MeasureFn 265.9 and KelvinDegree
(meltingPoint Cadmium (MeasureFn 594.1 KelvinDegree))	Mid-level-ontology.kif 27421-27421	meltingPoint Cadmium and MeasureFn 594.1 and KelvinDegree
(meltingPoint Caesium (MeasureFn 301.55 KelvinDegree))	Mid-level-ontology.kif 27435-27435	meltingPoint Caesium and MeasureFn 301.55 and KelvinDegree
(meltingPoint Calcium (MeasureFn 1112 KelvinDegree))	Mid-level-ontology.kif 27365-27365	meltingPoint Calcium and MeasureFn 1112 and KelvinDegree
(meltingPoint Californium (MeasureFn 1173 KelvinDegree))	Mid-level-ontology.kif 27520-27520	meltingPoint Californium and MeasureFn 1173 and KelvinDegree
(meltingPoint Carbon (MeasureFn 3823 KelvinDegree))	Mid-level-ontology.kif 27337-27337	meltingPoint Carbon and MeasureFn 3823 and KelvinDegree
(meltingPoint Cerium (MeasureFn 1071 KelvinDegree))	Mid-level-ontology.kif 27441-27441	meltingPoint Cerium and MeasureFn 1071 and KelvinDegree
(meltingPoint Chlorine (MeasureFn 172.17 KelvinDegree))	Mid-level-ontology.kif 27359-27359	meltingPoint Chlorine and MeasureFn 172.17 and KelvinDegree
(meltingPoint Chromium (MeasureFn 2130 KelvinDegree))	Mid-level-ontology.kif 27373-27373	meltingPoint Chromium and MeasureFn 2130 and KelvinDegree
(meltingPoint Cobalt (MeasureFn 1768 KelvinDegree))	Mid-level-ontology.kif 27379-27379	meltingPoint Cobalt and MeasureFn 1768 and KelvinDegree
(meltingPoint Copper (MeasureFn 1356.6 KelvinDegree))	Mid-level-ontology.kif 27383-27383	meltingPoint Copper and MeasureFn 1356.6 and KelvinDegree
(meltingPoint Curium (MeasureFn 1613 KelvinDegree))	Mid-level-ontology.kif 27518-27518	meltingPoint Curium and MeasureFn 1613 and KelvinDegree
(meltingPoint Dysprosium (MeasureFn 1682 KelvinDegree))	Mid-level-ontology.kif 27457-27457	meltingPoint Dysprosium and MeasureFn 1682 and KelvinDegree

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: