![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(instance PlanetEarth Planet) | Geography.kif 3394-3394 | |
(orbits PlanetEarth Sol) | Geography.kif 3395-3395 |
appearance as argument number 2 |
![]() |
(orbits EarthsMoon PlanetEarth) | Geography.kif 3387-3387 | |
(termFormat ChineseLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 46071-46071 | |
(termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 46070-46070 | |
(termFormat EnglishLanguage PlanetEarth "planet earth") | domainEnglishFormat.kif 46069-46069 |
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) (instance ?U UnitOfLength) (earthAltitude ?place (MeasureFn ?alt1 ?U)) (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below) (earthAltitude ?area (MeasureFn ?alt2 ?U))) (greaterThan ?alt2 ?alt1)) |
Geography.kif 3975-3986 |
consequent |
![]() |
(<=> (earthAltitude ?OBJ ?ALT) (exists (?SEA) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth)))) |
Geography.kif 2769-2774 | |
(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1895-1900 | |
(=> (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 3503-3505 | |
(=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3456-3458 | |
(=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth)))) |
Geography.kif 3417-3421 | |
(=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below)))) |
Geography.kif 3967-3973 |
![]() |
![]() |