|
|
  PlanetEarth
|
|
|
| appearance as argument number 1 |
|
|
| (instance PlanetEarth Planet) | Geography.kif 3702-3702 | 行星地球 是 行星 的 instance |
| (orbits PlanetEarth Sol) | Geography.kif 3703-3703 | 太阳 是 行星地球 的 orbits |
| appearance as argument number 2 |
|
|
| (orbits EarthsMoon PlanetEarth) | Geography.kif 3695-3695 | 行星地球 是 地球月亮 的 orbits |
| (termFormat ChineseLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 46040-46040 | 行星地球 是 地球月亮 的 orbits |
| (termFormat ChineseTraditionalLanguage PlanetEarth "行星地球") | domainEnglishFormat.kif 46039-46039 | 行星地球 是 地球月亮 的 orbits |
| (termFormat EnglishLanguage PlanetEarth "planet earth") | domainEnglishFormat.kif 46038-46038 | 行星地球 是 地球月亮 的 orbits |
| antecedent |
|
|
| (=> (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 4377-4388 |
| consequent |
|
|
| (<=> (earthAltitude ?OBJ ?ALT) (exists (?SEA) (and (altitude ?OBJ ?SEA ?ALT) (surface ?SEA PlanetEarth)))) |
Geography.kif 3077-3082 | 客体 是 长度测量 above 地表 若且唯若 有存在 自身连接物体 这样 那个 客体 的 altitude 是 那个 自身连接物体 和 那个 自身连接物体 是 行星地球 的 surface |
| (=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 2203-2208 | |
| (=> (and (equal ?N NorthPole) (located ?N ArcticRegion)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?N)))) |
Geography.kif 4132-4139 | |
| (=> (and (equal ?S SouthPole) (located ?S Antarctica)) (exists (?A) (and (axis ?A PlanetEarth) (traverses ?A ?S)))) |
Geography.kif 4159-4166 | |
| (=> (instance ?AREA Continent) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3811-3813 | |
| (=> (instance ?AREA Hemisphere) (geographicSubregion ?AREA PlanetEarth)) |
Geography.kif 3764-3766 | |
| (=> (instance ?M Meteorite) (exists (?T) (holdsDuring ?T (meetsSpatially ?M PlanetEarth)))) |
Geography.kif 3725-3729 | |
| (=> (instance ?place UndergroundArea) (exists (?area ?ground) (and (surface ?ground PlanetEarth) (part ?area ?ground) (orientation ?place ?area Below)))) |
Geography.kif 4369-4375 |
|
|
|