Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| meltingPoint |
| appearance as argument number 1 |
|
| s__instance(s__meltingPoint,s__BinaryPredicate)
|
Merge.kif 14165-14165 | melting point is an instance of binary predicate |
| s__domainSubclass(s__meltingPoint,n__1,s__PureSubstance)
|
Merge.kif 14166-14166 | The number 1 argument of melting point is a subclass of pure substance |
| s__domain(s__meltingPoint,n__2,s__TemperatureMeasure)
|
Merge.kif 14167-14167 | The number 2 argument of melting point is an instance of temperature measure |
| s__documentation(s__meltingPoint, s__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 14168-14170 | The number 2 argument of melting point is an instance of temperature measure |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage, s__meltingPoint, "%2 is %n a melting point of %1") | domainEnglishFormat.kif 1681-1681 | |
| s__format(s__ChineseTraditionalLanguage, s__meltingPoint, "%2 %n 是 %1 的 melting 點") | domainEnglishFormat.kif 1682-1682 | |
| s__format(s__ChineseLanguage, s__meltingPoint, "%2 %n 是 %1 的 melting 点") | domainEnglishFormat.kif 1683-1683 | |
| s__termFormat(s__EnglishLanguage, s__meltingPoint, "melting point") | domainEnglishFormat.kif 36983-36983 | |
| s__termFormat(s__ChineseTraditionalLanguage, s__meltingPoint, "熔點") | domainEnglishFormat.kif 36984-36984 | |
| s__termFormat(s__ChineseLanguage, s__meltingPoint, "熔点") | domainEnglishFormat.kif 36985-36985 |
| antecedent |
|
|
| ! [V__X,V__Y,V__BOIL,V__MELT,V__TEMP] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Class) & s__subclass(V__Y,s__PureSubstance) & s__instance(V__BOIL,s__RealNumber) & s__instance(V__MELT,s__RealNumber) & s__instance(V__TEMP,s__RealNumber)) => ((s__instance(V__X,V__Y) & s__subclass(V__Y,s__PureSubstance) & s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree)) & s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree)) & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__greaterThan(V__TEMP,V__MELT) & s__lessThan(V__TEMP,V__BOIL)) => s__attribute(V__X,s__Liquid))) )
|
Merge.kif 14118-14127 | If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a boiling point of Y (4) W kelvin degree(s) is a melting point of Y (5) the measure of X is V kelvin degree(s) (6) V is greater than W (7) V is less than Z, then liquid is an attribute of X |
| ! [V__X,V__Y,V__MELT,V__PRES,V__TEMP] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Class) & s__subclass(V__Y,s__PureSubstance) & s__instance(V__MELT,s__RealNumber) & s__instance(V__PRES,s__RealNumber) & s__instance(V__TEMP,s__RealNumber)) => ((s__instance(V__X,V__Y) & s__subclass(V__Y,s__PureSubstance) & s__meltingPoint(V__Y,s__MeasureFn(V__MELT,s__KelvinDegree)) & s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury)) & s__greaterThan(V__PRES,n__29_92) & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__lessThan(V__TEMP,V__MELT)) => s__attribute(V__X,s__Solid))) )
|
Merge.kif 14129-14138 | If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z kelvin degree(s) is a melting point of Y (4) W inch mercury(s) is a barometric pressure of X (5) W is greater than 29.92 (6) the measure of X is V kelvin degree(s) (7) V is less than Z, then solid is an attribute of X |
| ! [V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TEMP3 : $real,V__TIME : $i,V__TYPE : $i] : (((s__instance(V__SUBSTANCE, V__TYPE) & s__boilingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__meltingPoint(V__TYPE, s__MeasureFn(V__TEMP2, V__MEASURE)) & s__instance(V__MEASURE, s__UnitOfTemperature) & s__holdsDuring(V__TIME, s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP3, V__MEASURE))) & ($greater(V__TEMP3,V__TEMP2)) & ($less(V__TEMP3,V__TEMP1))) => (s__holdsDuring(V__TIME, s__attribute(V__SUBSTANCE, s__Liquid)) | ( ? [V__MELT:$i] : ((s__overlapsTemporally(s__WhenFn(V__MELT), V__TIME) & s__instance(V__MELT, s__Melting) & s__patient(V__MELT, V__SUBSTANCE))))))) | Merge.kif 14172-14187 | If All of the following hold: (1) X is an instance of Y (2) Z W(s) is a boiling point of Y (3) V W(s) is a melting point of Y (4) W is an instance of unit of temperature (5) the measure of X is U W(s) holds during T (6) U is greater than V (7) U is less than Z, then liquid is an attribute of X holds during T or there exists S such that T overlaps the time of existence of S, S is an instance of melting, and X is a patient of S |
| ! [V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TIME : $i,V__TYPE : $i] : (((s__instance(V__SUBSTANCE, V__TYPE) & s__meltingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__holdsDuring(V__TIME, s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP2, V__MEASURE))) & s__instance(V__MEASURE, s__UnitOfTemperature) & ($less(V__TEMP2,V__TEMP1))) => (s__holdsDuring(V__TIME, s__attribute(V__SUBSTANCE, s__Solid)) | ( ? [V__FREEZE:$i] : ((s__overlapsTemporally(s__WhenFn(V__FREEZE), V__TIME) & s__instance(V__FREEZE, s__Freezing) & s__patient(V__FREEZE, V__SUBSTANCE))))))) | Merge.kif 14189-14202 | If X is an instance of Y, Z W(s) is a melting point of Y, the measure of X is V W(s) holds during U, W is an instance of unit of temperature, and V is less than Z, then solid is an attribute of X holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of freezing, and X is a patient of T |
| ! [V__TYPE,V__MELT,V__U,V__BOIL] : (((s__subclass(V__TYPE,s__PureSubstance) & s__instance(V__MELT,s__RealNumber) & s__instance(V__U,s__UnitOfMeasure) & s__instance(V__BOIL,s__RealNumber)) => ((s__meltingPoint(V__TYPE,s__MeasureFn(V__MELT,V__U)) & s__boilingPoint(V__TYPE,s__MeasureFn(V__BOIL,V__U))) => s__greaterThanOrEqualTo(V__BOIL,V__MELT))) )
|
Merge.kif 14204-14208 | If X Y(s) is a melting point of Z and W Y(s) is a boiling point of Z, then W is greater than or equal to X |
| appearance as argument number 0 |
|
|
|