| 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 4046-4048 | |
| (subclass LandForm GeographicArea) | Geography.kif 4045-4045 |
| appearance as argument number 2 |
|
|
| (subclass Archipelago LandForm) | Geography.kif 5974-5974 | |
| (subclass Basin LandForm) | Geography.kif 4313-4313 | |
| (subclass Butte LandForm) | Geography.kif 4242-4242 | |
| (subclass Canyon LandForm) | Geography.kif 4329-4329 | |
| (subclass Cape LandForm) | Geography.kif 5940-5940 | |
| (subclass CaveMatrix LandForm) | Geography.kif 6181-6181 | |
| (subclass Delta LandForm) | Geography.kif 5909-5909 | |
| (subclass Glacier LandForm) | Geography.kif 6131-6131 | |
| (subclass Hill LandForm) | Geography.kif 4113-4113 | |
| (subclass LowlandArea LandForm) | Geography.kif 4054-4054 | |
| (subclass Mesa LandForm) | Geography.kif 4224-4224 | |
| (subclass Mountain LandForm) | Geography.kif 4096-4096 | |
| (subclass MountainRange LandForm) | Geography.kif 4082-4082 | |
| (subclass Peninsula LandForm) | Geography.kif 5926-5926 | |
| (subclass Plateau LandForm) | Geography.kif 4205-4205 | |
| (subclass Reef LandForm) | Geography.kif 6070-6070 | |
| (subclass RiverBank LandForm) | Geography.kif 5890-5890 | |
| (subclass Seacoast LandForm) | Geography.kif 6253-6253 | |
| (subclass Shoal LandForm) | Geography.kif 6044-6044 | |
| (subclass SlopedArea LandForm) | Geography.kif 4171-4171 | |
| (subclass UplandArea LandForm) | Geography.kif 4050-4050 | |
| (subclass Valley LandForm) | Geography.kif 4296-4296 | |
| (subclass Volcano LandForm) | Geography.kif 4127-4127 | |
| (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 1910-1918 | |
| (=> (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 2677-2690 |
| consequent |
|
|
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6053-6060 | |
| (=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 2670-2675 |
|
|
|