| PlanetEarth | |
| appearance as argument number 1 |
|
|
| (instance PlanetEarth Planet) | Geography.kif 3265-3265 | |
| (orbits PlanetEarth Sol) | Geography.kif 3266-3266 |
| appearance as argument number 2 |
|
|
| (orbits EarthsMoon PlanetEarth) | Geography.kif 3258-3258 | |
| (termFormat ChineseLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 45973-45973 | |
| (termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 45972-45972 | |
| (termFormat EnglishLanguage PlanetEarth "planet earth") | domainEnglishFormat.kif 45971-45971 |
| antecedent |
|
|
| (<=> (and (altitude ?AIRCRAFT ?OBJ2 ?QUANTITY) (surface ?OBJ2 PlanetEarth) (instance ?AIRCRAFT Aircraft)) (absoluteHeight ?AIRCRAFT ?QUANTITY)) |
MilitaryDevices.kif 1462-1467 | |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY)) |
MilitaryDevices.kif 1488-1496 | |
| (=> (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 3794-3802 |
| consequent |
|
|
| (<=> (earthAltitude ?OBJ ?ALT) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth))) |
Geography.kif 2721-2725 | |
| (=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1860-1865 | |
| (=> (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 1441-1451 | |
| (=> (instance ?AREA Continent) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3374-3376 | |
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3327-3329 | |
| (=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth)))) |
Geography.kif 3288-3292 | |
| (=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below)))) |
Geography.kif 3786-3792 |
|
|
|