Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass AirMass AirStream) | Weather.kif 1261-1261 | Air mass is a subclass of air stream |
| (documentation AirMass EnglishLanguage "An AirMass,in meteorology, is a volume of air defined by its temperature and humidity. Air masses cover many hundreds or thousands of square miles, and adapt to the characteristics of the surface below them. Colder air masses are termed polar or arctic, while warmer air masses are deemed tropical. Continental and superior air masses are dry, while maritime and monsoon air masses are moist. WeatherFronts separate air masses with different density (temperature or moisture) characteristics.[Wikipedia]") | Weather.kif 1262-1268 | Air mass is a subclass of air stream |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?W WeatherFront) (instance ?F AirStream) (eventLocated ?W ?F) (connects ?F ?A ?B) (instance ?A AirMass) (instance ?B AirMass)) (not (equal ?A ?B))) |
Weather.kif 1246-1255 | If All of the following hold: (1) X is an instance of weather front (2) Y is an instance of air stream (3) X is located at Y (4) Y connects Z and W (5) Z is an instance of air mass (6) W is an instance of air mass, then equal Z and W |
| (=> (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 ?M AirMass) (part ?A ?M) (part ?B ?M) (not (equal ?A ?B)) (relativeHumidity ?A ?X) (relativeHumidity ?B ?Y)) (approximateValue ?X ?Y)) |
Weather.kif 1286-1295 | 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 is a relative humidity of Y (6) V is a relative humidity 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 |
|