|
|
   LandForm
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LandForm EnglishLanguage "A LandForm is the class of geographically and/ or geologically distinct areas that occur on Earth's surface, including mountains, hills, plains, valleys, deltas, and features of submerged land areas such as the ocean floor.") | Geography.kif 3976-3978 | |
| (subclass LandForm GeographicArea) | Geography.kif 3975-3975 | 子類 土地形式 and GeographicArea |
| appearance as argument number 2 |
|
|
| (subclass Archipelago LandForm) | Geography.kif 5841-5841 | 子類 群島 and 土地形式 |
| (subclass Basin LandForm) | Geography.kif 4243-4243 | 子類 盆地 and 土地形式 |
| (subclass Butte LandForm) | Geography.kif 4172-4172 | 子類 孤山 and 土地形式 |
| (subclass Canyon LandForm) | Geography.kif 4259-4259 | 子類 峽谷 and 土地形式 |
| (subclass Cape LandForm) | Geography.kif 5807-5807 | 子類 披肩 and 土地形式 |
| (subclass CaveMatrix LandForm) | Geography.kif 6048-6048 | 子類 洞穴矩陣 and 土地形式 |
| (subclass Delta LandForm) | Geography.kif 5776-5776 | 子類 三角洲 and 土地形式 |
| (subclass Glacier LandForm) | Geography.kif 5998-5998 | 子類 冰川 and 土地形式 |
| (subclass Hill LandForm) | Geography.kif 4043-4043 | 子類 爬坡道 and 土地形式 |
| (subclass LowlandArea LandForm) | Geography.kif 3984-3984 | 子類 低地地區 and 土地形式 |
| (subclass Mesa LandForm) | Geography.kif 4154-4154 | 子類 檯面 and 土地形式 |
| (subclass Mountain LandForm) | Geography.kif 4026-4026 | 子類 山 and 土地形式 |
| (subclass MountainRange LandForm) | Geography.kif 4012-4012 | 子類 山脈 and 土地形式 |
| (subclass Peninsula LandForm) | Geography.kif 5793-5793 | 子類 半島 and 土地形式 |
| (subclass Plateau LandForm) | Geography.kif 4135-4135 | 子類 高原 and 土地形式 |
| (subclass Reef LandForm) | Geography.kif 5937-5937 | 子類 礁 and 土地形式 |
| (subclass RiverBank LandForm) | Geography.kif 5757-5757 | 子類 河岸 and 土地形式 |
| (subclass Seacoast LandForm) | Geography.kif 6120-6120 | 子類 海岸 and 土地形式 |
| (subclass Shoal LandForm) | Geography.kif 5911-5911 | 子類 淺灘 and 土地形式 |
| (subclass SlopedArea LandForm) | Geography.kif 4101-4101 | 子類 傾斜的區域 and 土地形式 |
| (subclass UplandArea LandForm) | Geography.kif 3980-3980 | 子類 高地地區 and 土地形式 |
| (subclass Valley LandForm) | Geography.kif 4226-4226 | 子類 谷 and 土地形式 |
| (subclass Volcano LandForm) | Geography.kif 4057-4057 | 子類 火山 and 土地形式 |
| (termFormat ChineseLanguage LandForm "土地形式") | domainEnglishFormat.kif 33217-33217 | |
| (termFormat ChineseTraditionalLanguage LandForm "土地形式") | domainEnglishFormat.kif 33216-33216 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| (=> (and (elevation ?OBJECT (MeasureFn ?NUM ?UNIT)) (instance ?UNIT UnitOfLength) (instance ?OBJECT LandForm)) (exists (?HIGHPOINT) (and (top ?HIGHPOINT ?OBJECT) (distance ?HIGHPOINT SeaLevel (MeasureFn ?NUM ?UNIT))))) |
Geography.kif 1922-1930 | |
| (=> (and (instance ?WEARING Erosion) (instance ?LAND LandForm) (patient ?WEARING ?LAND) (instance ?U UnitOfVolume) (measure ?LAND (MeasureFn ?SIZE1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?WEARING)) (exists (?SIZE2) (and (measure ?LAND (MeasureFn ?SIZE2 ?U)) (lessThan ?SIZE2 ?SIZE1))))) |
Geography.kif 2689-2702 |
|
| consequent |
|
|
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 5920-5927 | |
| (=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 2682-2687 |
|
|
|