| 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 4216-4218 | |
| (subclass LandForm GeographicArea) | Geography.kif 4215-4215 |
| appearance as argument number 2 |
|
|
| (subclass Archipelago LandForm) | Geography.kif 6144-6144 | |
| (subclass Basin LandForm) | Geography.kif 4483-4483 | |
| (subclass Butte LandForm) | Geography.kif 4412-4412 | |
| (subclass Canyon LandForm) | Geography.kif 4499-4499 | |
| (subclass Cape LandForm) | Geography.kif 6110-6110 | |
| (subclass CaveMatrix LandForm) | Geography.kif 6351-6351 | |
| (subclass Delta LandForm) | Geography.kif 6079-6079 | |
| (subclass Glacier LandForm) | Geography.kif 6301-6301 | |
| (subclass Hill LandForm) | Geography.kif 4283-4283 | |
| (subclass LowlandArea LandForm) | Geography.kif 4224-4224 | |
| (subclass Mesa LandForm) | Geography.kif 4394-4394 | |
| (subclass Mountain LandForm) | Geography.kif 4266-4266 | |
| (subclass MountainRange LandForm) | Geography.kif 4252-4252 | |
| (subclass Peninsula LandForm) | Geography.kif 6096-6096 | |
| (subclass Plateau LandForm) | Geography.kif 4375-4375 | |
| (subclass Reef LandForm) | Geography.kif 6240-6240 | |
| (subclass RiverBank LandForm) | Geography.kif 6060-6060 | |
| (subclass Seacoast LandForm) | Geography.kif 6423-6423 | |
| (subclass Shoal LandForm) | Geography.kif 6214-6214 | |
| (subclass SlopedArea LandForm) | Geography.kif 4341-4341 | |
| (subclass UplandArea LandForm) | Geography.kif 4220-4220 | |
| (subclass Valley LandForm) | Geography.kif 4466-4466 | |
| (subclass Volcano LandForm) | Geography.kif 4297-4297 | |
| (termFormat ChineseLanguage LandForm "土地形式") | domainEnglishFormat.kif 33228-33228 | |
| (termFormat ChineseTraditionalLanguage LandForm "土地形式") | domainEnglishFormat.kif 33227-33227 | |
| 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 2080-2088 | |
| (=> (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 2847-2860 |
| consequent |
|
|
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6223-6230 | |
| (=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 2840-2845 |
|
|
|