Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| boilingPoint |
| appearance as argument number 1 |
|
| s__instance(s__boilingPoint,s__BinaryPredicate)
|
Merge.kif 14101-14101 | boiling point is an instance of binary predicate |
| s__domainSubclass(s__boilingPoint,n__1,s__PureSubstance)
|
Merge.kif 14102-14102 | The number 1 argument of boiling point is a subclass of pure substance |
| s__domain(s__boilingPoint,n__2,s__TemperatureMeasure)
|
Merge.kif 14103-14103 | The number 2 argument of boiling point is an instance of temperature measure |
| s__documentation(s__boilingPoint, s__EnglishLanguage, "The temperature at which a PureSubstance changes state from a Liquid to a Gas_") | Merge.kif 14104-14105 | The number 2 argument of boiling point is an instance of temperature measure |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage, s__boilingPoint, "%2 is %n a boiling point of %1") | domainEnglishFormat.kif 318-318 | |
| s__format(s__ChineseTraditionalLanguage, s__boilingPoint, "%2 %n 是 %1 的 boiling 點") | domainEnglishFormat.kif 319-319 | |
| s__format(s__ChineseLanguage, s__boilingPoint, "%2 %n 是 %1 的 boiling 点") | domainEnglishFormat.kif 320-320 | |
| s__termFormat(s__EnglishLanguage, s__boilingPoint, "boiling point") | domainEnglishFormat.kif 11513-11513 | |
| s__termFormat(s__ChineseTraditionalLanguage, s__boilingPoint, "沸點") | domainEnglishFormat.kif 11514-11514 | |
| s__termFormat(s__ChineseLanguage, s__boilingPoint, "沸点") | domainEnglishFormat.kif 11515-11515 |
| antecedent |
|
|
| ! [V__X,V__Y,V__PRES,V__BOIL,V__TEMP] : (((s__instance(V__X,s__Object) & s__instance(V__Y,s__Class) & s__subclass(V__Y,s__PureSubstance) & s__instance(V__PRES,s__RealNumber) & s__instance(V__BOIL,s__RealNumber) & s__instance(V__TEMP,s__RealNumber)) => ((s__instance(V__X,V__Y) & s__subclass(V__Y,s__PureSubstance) & s__barometricPressure(V__X,s__MeasureFn(V__PRES,s__InchMercury)) & s__greaterThan(n__29_92,V__PRES) & s__boilingPoint(V__Y,s__MeasureFn(V__BOIL,s__KelvinDegree)) & s__measure(V__X,s__MeasureFn(V__TEMP,s__KelvinDegree)) & s__greaterThan(V__TEMP,V__BOIL)) => s__attribute(V__X,s__Gas))) )
|
Merge.kif 14107-14116 | If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of pure substance (3) Z inch mercury(s) is a barometric pressure of X (4) 29.92 is greater than Z (5) W kelvin degree(s) is a boiling point of Y (6) the measure of X is V kelvin degree(s) (7) V is greater than W, then gas is an attribute of X |
| ! [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__BOILING : $i,V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TYPE : $i] : (((s__instance(V__BOILING, s__Boiling) & s__boilingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__instance(V__SUBSTANCE, V__TYPE) & s__patient(V__BOILING, V__SUBSTANCE) & s__holdsDuring(s__WhenFn(V__BOILING), s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP2, V__MEASURE))) & s__instance(V__MEASURE, s__UnitOfTemperature)) => ($greatereq(V__TEMP2,V__TEMP1)))) | Merge.kif 14140-14148 | If All of the following hold: (1) X is an instance of boiling (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) V is a patient of X (5) the measure of V is U Z(s) holds during the time of existence of X (6) Z is an instance of unit of temperature, then U is greater than or equal to Y |
| ! [V__MEASURE : $i,V__SUBSTANCE : $i,V__TEMP1 : $real,V__TEMP2 : $real,V__TIME : $i,V__TYPE : $i] : (((s__boilingPoint(V__TYPE, s__MeasureFn(V__TEMP1, V__MEASURE)) & s__instance(V__SUBSTANCE, V__TYPE) & s__holdsDuring(V__TIME, s__measure(V__SUBSTANCE, s__MeasureFn(V__TEMP2, V__MEASURE))) & s__instance(V__MEASURE, s__UnitOfTemperature) & ($greatereq(V__TEMP2,V__TEMP1))) => (s__holdsDuring(V__TIME, s__attribute(V__SUBSTANCE, s__Gas)) | ( ? [V__BOIL:$i] : ((s__overlapsTemporally(s__WhenFn(V__BOIL), V__TIME) & s__instance(V__BOIL, s__Boiling) & s__patient(V__BOIL, V__SUBSTANCE))))))) | Merge.kif 14150-14163 | If X Y(s) is a boiling point of Z, W is an instance of Z, the measure of W is V Y(s) holds during U, Y is an instance of unit of temperature, and V is greater than or equal to X, then gas is an attribute of W holds during U or there exists T such that U overlaps the time of existence of T, T is an instance of boiling, and W is a patient of T |
| ! [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__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 |
| ! [V__BOILVAL : $real,V__CLASS : $i,V__EVAP : $i,V__MEAS : $i,V__OBJ : $i,V__VAL : $real] : (((s__instance(V__EVAP, s__Evaporating) & s__boilingPoint(V__CLASS, s__MeasureFn(V__BOILVAL, V__MEAS)) & s__instance(V__OBJ, V__CLASS) & s__measure(V__OBJ, s__MeasureFn(V__VAL, V__MEAS)) & s__instance(V__MEAS, s__UnitOfTemperature) & s__patient(V__EVAP, V__OBJ)) => ( ? [V__PART:$i] : ((s__part(V__PART, V__OBJ) & ($greater(V__BOILVAL,V__VAL)) & s__holdsDuring(s__BeginFn(s__WhenFn(V__EVAP)), s__attribute(V__PART, s__Liquid)) & s__holdsDuring(s__EndFn(s__WhenFn(V__EVAP)), s__attribute(V__PART, s__Gas))))))) | Merge.kif 14262-14275 | If All of the following hold: (1) X is an instance of evaporating (2) Y Z(s) is a boiling point of W (3) V is an instance of W (4) the measure of V is U Z(s) (5) Z is an instance of unit of temperature (6) V is a patient of X, then there exists T such that T is a part of V, Y is greater than U, liquid is an attribute of T holds during the beginning of the time of existence of X, and gas is an attribute of T holds during the end of the time of existence of X |
| appearance as argument number 0 |
|
|
|