(=>
(holdsDuring ?T
(and
(maxDeviceOperatingTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOn)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(greaterThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) 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 |
(=>
(holdsDuring ?T
(and
(maxDeviceStorageTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOff)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(greaterThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) 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 |
(=>
(holdsDuring ?T
(and
(minDeviceOperatingTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOn)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(lessThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) 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 |
(=>
(holdsDuring ?T
(and
(minDeviceStorageTemp ?D
(MeasureFn ?T1 ?U))
(instance ?U UnitOfTemperature)
(located ?D ?A)
(attribute ?D DeviceOff)
(airTemperature ?A
(MeasureFn ?T2 ?U))
(lessThan ?T2 ?T1)))
(modalAttribute
(holdsDuring
(ImmediateFutureFn ?T)
(attribute ?D DeviceDamaged)) 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 |
(=>
(and
(climateTypeInArea ?AREA PolarTypeFClimateZone)
(instance ?TIME TimePosition)
(holdsDuring ?TIME
(airTemperature ?AREA
(MeasureFn ?TEMP CelsiusDegree))))
(holdsDuring ?TIME
(greaterThan 10.0 ?TEMP))) |
Geography.kif 3054-3060 |
If polar typeF climate zone is a climate type in area of X, Y is an instance of time position, and Z celsius degree(s) is an air temperature of X holds during Y, then 10.0 is greater than Z holds during Y |
(=>
(and
(instance ?M AirMass)
(part ?A ?M)
(part ?B ?M)
(not
(equal ?A ?B))
(airTemperature ?A
(MeasureFn ?X CelsiusDegree))
(airTemperature ?B
(MeasureFn ?Y CelsiusDegree)))
(approximateValue ?X ?Y)) |
Weather.kif 1273-1284 |
If All of the following hold: (1) X is an instance of air mass (2) Y is a part of X (3) Z is a part of X (4) equal Y and Z (5) W celsius degree(s) is an air temperature of Y (6) V celsius degree(s) is an air temperature of Z, then the approximate value of W is V |
(=>
(and
(instance ?WF WarmFront)
(instance ?W AirMass)
(origin ?WF ?W)
(airTemperature ?W
(MeasureFn ?X CelsiusDegree))
(instance ?C AirMass)
(path ?WF ?C)
(airTemperature ?C
(MeasureFn ?Y CelsiusDegree)))
(greaterThan ?X ?Y)) |
Weather.kif 1303-1314 |
If All of the following hold: (1) X is an instance of warm front (2) Y is an instance of air mass (3) X originates at Y (4) Z celsius degree(s) is an air temperature of Y (5) W is an instance of air mass (6) W is path along which X occurs (7) V celsius degree(s) is an air temperature of W, then Z is greater than V |
(=>
(and
(instance ?CF ColdFront)
(instance ?C AirMass)
(origin ?CF ?C)
(airTemperature ?C
(MeasureFn ?X CelsiusDegree))
(instance ?W AirMass)
(path ?W ?W)
(airTemperature ?W
(MeasureFn ?Y CelsiusDegree)))
(lessThan ?X ?Y)) |
Weather.kif 1323-1334 |
If All of the following hold: (1) X is an instance of cold front (2) Y is an instance of air mass (3) X originates at Y (4) Z celsius degree(s) is an air temperature of Y (5) W is an instance of air mass (6) W is path along which W occurs (7) V celsius degree(s) is an air temperature of W, then Z is less than V |
(=>
(and
(instance ?OF OccludedFront)
(instance ?C AirMass)
(origin ?OF ?C)
(airTemperature ?C
(MeasureFn ?X CelsiusDegree))
(instance ?W AirMass)
(airTemperature ?W
(MeasureFn ?Y CelsiusDegree))
(lessThan ?X ?Y)
(moves ?OF ?W))
(orientation ?C ?W Below)) |
Weather.kif 1342-1354 |
If All of the following hold: (1) X is an instance of occluded front (2) Y is an instance of air mass (3) X originates at Y (4) Z celsius degree(s) is an air temperature of Y (5) W is an instance of air mass (6) V celsius degree(s) is an air temperature of W (7) Z is less than V (8) W moves during X, then Y is below to W |
(=>
(holdsDuring ?T
(and
(located ?H ?L)
(airTemperature ?L
(MeasureFn ?T ?TU))
(attribute ?H FeelingCold)))
(desires ?H
(holdsDuring ?T
(and
(airTemperature ?L
(MeasureFn ?T2 ?TU))
(greaterThan ?T2 ?T))))) |
emotion.kif 2720-2732 |
If X is located at Y and Z W(s) is an air temperature of Y and feeling hot is an attribute of X holds during Z, then X desires V W(s) is an air temperature of Y and V is greater than Z holds during Z |
(=>
(holdsDuring ?T
(and
(located ?H ?L)
(airTemperature ?L
(MeasureFn ?T ?TU))
(attribute ?H FeelingHot)))
(desires ?H
(holdsDuring ?T
(and
(airTemperature ?L
(MeasureFn ?T2 ?TU))
(greaterThan ?T ?T2))))) |
emotion.kif 2757-2769 |
If X is located at Y and Z W(s) is an air temperature of Y and feeling hot is an attribute of X holds during Z, then X desires V W(s) is an air temperature of Y and Z is greater than V holds during Z |
