Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| UnitOfTemperature(unit of temperature) |
| appearance as argument number 1 |
|
| s__subclass(s__UnitOfTemperature,s__NonCompositeUnitOfMeasure)
|
Merge.kif 6414-6414 | Unit of temperature is a subclass of non composite unit of measure |
| s__documentation(s__UnitOfTemperature, s__EnglishLanguage, "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of TemperatureMeasure_") | Merge.kif 6416-6418 | Unit of temperature is a subclass of non composite unit of measure |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| ! [V__NUMBER,V__QUANT,V__UNIT] : (((s__instance(V__NUMBER,s__RealNumber) & s__instance(V__QUANT,s__PhysicalQuantity)) => (((s__MeasureFn(V__NUMBER,V__UNIT) = V__QUANT) & s__instance(V__UNIT,s__UnitOfTemperature)) => s__instance(V__QUANT,s__TemperatureMeasure))) )
|
Merge.kif 6501-6505 | If equal X Y(s) and Z and Y is an instance of unit of temperature, then Z is an instance of temperature measure |
| ! [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__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__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 |
| ! [V__A : $i,V__D : $i,V__T : $i,V__T1 : $real,V__T2 : $real,V__U : $i] : ((s__holdsDuring(V__T, (s__maxDeviceOperatingTemp(V__D, s__MeasureFn(V__T1, V__U)) & s__instance(V__U, s__UnitOfTemperature) & s__located(V__D, V__A) & s__attribute(V__D, s__DeviceOn) & s__airTemperature(V__A, s__MeasureFn(V__T2, V__U)) & ($greater(V__T2,V__T1)))) => s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), s__attribute(V__D, s__DeviceDamaged)), s__Likely))) | ComputingBrands.kif 3535-3548 | If maximum device operating temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device on is an attribute of X and V Z(s) is an air temperature of W and V is greater than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely |
| ! [V__A : $i,V__D : $i,V__T : $i,V__T1 : $real,V__T2 : $real,V__U : $i] : ((s__holdsDuring(V__T, (s__maxDeviceStorageTemp(V__D, s__MeasureFn(V__T1, V__U)) & s__instance(V__U, s__UnitOfTemperature) & s__located(V__D, V__A) & s__attribute(V__D, s__DeviceOff) & s__airTemperature(V__A, s__MeasureFn(V__T2, V__U)) & ($greater(V__T2,V__T1)))) => s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), s__attribute(V__D, s__DeviceDamaged)), s__Likely))) | ComputingBrands.kif 3563-3576 | If maximum device storage temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device off is an attribute of X and V Z(s) is an air temperature of W and V is greater than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely |
| ! [V__A : $i,V__D : $i,V__T : $i,V__T1 : $real,V__T2 : $real,V__U : $i] : ((s__holdsDuring(V__T, (s__minDeviceOperatingTemp(V__D, s__MeasureFn(V__T1, V__U)) & s__instance(V__U, s__UnitOfTemperature) & s__located(V__D, V__A) & s__attribute(V__D, s__DeviceOn) & s__airTemperature(V__A, s__MeasureFn(V__T2, V__U)) & ($less(V__T2,V__T1)))) => s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), s__attribute(V__D, s__DeviceDamaged)), s__Likely))) | ComputingBrands.kif 3588-3601 | If minimum device operating temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device on is an attribute of X and V Z(s) is an air temperature of W and V is less than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely |
| ! [V__A : $i,V__D : $i,V__T : $i,V__T1 : $real,V__T2 : $real,V__U : $i] : ((s__holdsDuring(V__T, (s__minDeviceStorageTemp(V__D, s__MeasureFn(V__T1, V__U)) & s__instance(V__U, s__UnitOfTemperature) & s__located(V__D, V__A) & s__attribute(V__D, s__DeviceOff) & s__airTemperature(V__A, s__MeasureFn(V__T2, V__U)) & ($less(V__T2,V__T1)))) => s__modalAttribute(s__holdsDuring(s__ImmediateFutureFn(V__T), s__attribute(V__D, s__DeviceDamaged)), s__Likely))) | ComputingBrands.kif 3614-3627 | If minimum device storagqqqe temperature of X is Y Z(s) and Z is an instance of unit of temperature and X is located at W and device off is an attribute of X and V Z(s) is an air temperature of W and V is less than Y holds during U, then the statement device damaged is an attribute of X holds during immediately after U has the modal force of likely |
| ! [V__TEMP,V__W,V__M,V__Y,V__I,V__YEAR,V__N,V__X,V__L,V__U] : (((s__instance(V__TEMP,s__TemperatureMeasure) & s__instance(V__W,s__WaterArea) & s__subclass(V__M,s__Month) & s__instance(V__Y,s__Year) & s__instance(V__I,s__Integer) & s__instance(V__YEAR,s__Integer) & s__instance(V__N,s__RealNumber) & s__instance(V__X,s__RealNumber) & s__instance(V__L,s__List)) => (((V__TEMP = s__ThirtyYearAverageSSTForMonthFn(V__W,V__M,V__Y)) & s__instance(V__Y,s__YearFn(V__I)) & (V__YEAR = s__SubtractionFn(V__I,V__N)) & s__greaterThanOrEqualTo(V__N,n__0) & s__lessThan(V__N,n__30) & s__instance(V__U,s__UnitOfTemperature) & (s__MeasureFn(V__X,V__U) = s__MeanMonthSSTFn(V__W,V__M,s__YearFn(V__YEAR))) & s__inList(V__X,V__L)) => (V__TEMP = s__MeasureFn(s__AverageFn(V__L) ,V__U)))) )
|
Weather.kif 822-839 | If All of the following hold: (1) equal X and ThirtyYearAverageSSTForMonthFn for month Y in year Z of region W (2) Z is an instance of the year V (3) equal U and (V and T) (4) T is greater than or equal to 0 (5) T is less than 30 (6) S is an instance of unit of temperature (7) equal R S(s) and MeanMonthSSTFn for Y in region W (8) R is a member of Q, then equal X and the average of the numbers in Q S(s) |
| consequent |
|
|
| ! [V__X,V__CLASS,V__Y] : (((s__instance(V__X,s__Object) & s__instance(V__CLASS,s__Class) & s__instance(V__Y,s__Object)) => ((s__immediateInstance(V__X,V__CLASS) & s__immediateInstance(V__Y,V__CLASS) & s__attribute(V__X,s__ColdTemperature) & s__attribute(V__Y,s__HotTemperature)) => (? [V__TEMPX,V__TEMPY,V__UNIT] : ((s__measure(V__X,s__MeasureFn(V__TEMPX,V__UNIT)) & s__instance(V__UNIT,s__UnitOfTemperature) & s__instance(V__TEMPX,s__TemperatureMeasure) & s__measure(V__Y,s__MeasureFn(V__TEMPY,V__UNIT)) & s__instance(V__TEMPY,s__TemperatureMeasure) & s__greaterThan(V__TEMPY,V__TEMPX)))))) )
|
Mid-level-ontology.kif 28290-28305 | If X is an immediate instance of Y, Z is an immediate instance of Y, cold is an attribute of X, and hot is an attribute of Z, then there exist W, V and U such that the measure of X is W U(s) and U is an instance of unit of temperature and W is an instance of temperature measure and the measure of Z is V U(s) and V is an instance of temperature measure and V is greater than W |
| ! [V__MEAN,V__W,V__M,V__Y,V__T,V__M1,V__Y1,V__T1,V__M2,V__Y2,V__T2] : (((s__instance(V__MEAN,s__TemperatureMeasure) & s__instance(V__W,s__WaterArea) & s__subclass(V__M,s__Month) & s__instance(V__Y,s__Year) & s__instance(V__T,s__TemperatureMeasure) & s__subclass(V__M1,s__Month) & s__instance(V__Y1,s__Year) & s__instance(V__T1,s__TemperatureMeasure) & s__subclass(V__M2,s__Month) & s__instance(V__Y2,s__Year) & s__instance(V__T2,s__TemperatureMeasure)) => (((V__MEAN = s__ThreeMonthsRunningMeanSSTFn(V__W,V__M,V__Y)) & (V__T = s__MeanMonthSSTFn(V__W,V__M,V__Y)) & s__previousMonthYear(V__M1,V__Y1,V__M,V__Y) & (V__T1 = s__MeanMonthSSTFn(V__W,V__M1,V__Y1)) & s__previousMonthYear(V__M2,V__Y2,V__M1,V__Y1) & (V__T2 = s__MeanMonthSSTFn(V__W,V__M2,V__Y2))) => (? [V__N,V__U] : ((s__instance(V__N,s__RealNumber) & ((V__N = s__AverageFn(s__PhysicalQuantityToNumberFn(s__ListFn(V__T2,V__T1,V__T)))) & s__instance(V__U,s__UnitOfTemperature) & (V__MEAN = s__MeasureFn(V__N,V__U)))))))) )
|
Weather.kif 789-807 | If All of the following hold: (1) equal X and ThreeMonthsRunningMeanSSTFn for month Y year Z in region W (2) equal V and MeanMonthSSTFn for Y in region W (3) the previous month of Y in year Z is U T (4) equal S and MeanMonthSSTFn for U in region W (5) the previous month of U in year T is R Q (6) equal P and MeanMonthSSTFn for R in region W, then there exist O and N such that equal O and the average of the numbers in PhysicalQuantityToNumberFn returns the numberic values of a list of (P, S, and V) and N is an instance of unit of temperature and equal X and O N(s) |
|