| PlanetEarth | |
| appearance as argument number 1 |
|
|
| (instance PlanetEarth Planet) | Geography.kif 3252-3252 | |
| (orbits PlanetEarth Sol) | Geography.kif 3253-3253 |
| appearance as argument number 2 |
|
|
| (orbits EarthsMoon PlanetEarth) | Geography.kif 3245-3245 | |
| (termFormat EnglishLanguage PlanetEarth "planet earth") | domainEnglishFormat.kif 8095-8095 |
| antecedent |
|
|
| (<=> (and (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth) (instance ?AIRCRAFT Aircraft)) (absoluteHeight ?AIRCRAFT ?QUANTITY)) |
MilitaryDevices.kif 1461-1466 | |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY)) |
MilitaryDevices.kif 1487-1495 | |
| (=> (and (instance ?place UndergroundArea) (earthAltitude ?place ?alt1) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area ?alt2)) (greaterThan ?alt2 ?alt1)) |
Geography.kif 3781-3789 |
| consequent |
|
|
| (<=> (earthAltitude ?OBJ ?ALT) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth))) |
Geography.kif 2709-2713 | |
| (=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1848-1853 | |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?ABSOLUTEMETER) (instance ?ABSOLUTEMETER AbsoluteAltimeter)) (exists (?OBJ2) (and (altitude ?OBJ ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth)))) |
MilitaryDevices.kif 1440-1450 | |
| (=> (instance ?AREA Continent) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3361-3363 | |
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3314-3316 | |
| (=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth)))) |
Geography.kif 3275-3279 | |
| (=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below)))) |
Geography.kif 3773-3779 |
|
|
|