| 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 4735-4737 | |
| (subclass LandForm GeographicArea) | Geography.kif 4734-4734 |
| appearance as argument number 2 |
|
|
| (subclass Archipelago LandForm) | Geography.kif 6663-6663 | |
| (subclass Basin LandForm) | Geography.kif 5002-5002 | |
| (subclass Butte LandForm) | Geography.kif 4931-4931 | |
| (subclass Canyon LandForm) | Geography.kif 5018-5018 | |
| (subclass Cape LandForm) | Geography.kif 6629-6629 | |
| (subclass CaveMatrix LandForm) | Geography.kif 6870-6870 | |
| (subclass Delta LandForm) | Geography.kif 6598-6598 | |
| (subclass Glacier LandForm) | Geography.kif 6820-6820 | |
| (subclass Hill LandForm) | Geography.kif 4802-4802 | |
| (subclass LowlandArea LandForm) | Geography.kif 4743-4743 | |
| (subclass Mesa LandForm) | Geography.kif 4913-4913 | |
| (subclass Mountain LandForm) | Geography.kif 4785-4785 | |
| (subclass MountainRange LandForm) | Geography.kif 4771-4771 | |
| (subclass Peninsula LandForm) | Geography.kif 6615-6615 | |
| (subclass Plateau LandForm) | Geography.kif 4894-4894 | |
| (subclass Reef LandForm) | Geography.kif 6759-6759 | |
| (subclass RiverBank LandForm) | Geography.kif 6579-6579 | |
| (subclass Seacoast LandForm) | Geography.kif 6942-6942 | |
| (subclass Shoal LandForm) | Geography.kif 6733-6733 | |
| (subclass SlopedArea LandForm) | Geography.kif 4860-4860 | |
| (subclass UplandArea LandForm) | Geography.kif 4739-4739 | |
| (subclass Valley LandForm) | Geography.kif 4985-4985 | |
| (subclass Volcano LandForm) | Geography.kif 4816-4816 | |
| (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 2599-2607 | |
| (=> (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 3366-3379 |
| consequent |
|
|
| (=> (instance ?LAND Shoal) (exists (?PART ?WATER) (and (instance ?PART LandForm) (most ?PART ?LAND) (instance ?WATER BodyOfWater) (covers ?WATER ?PART)))) |
Geography.kif 6742-6749 | |
| (=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 3359-3364 |
|
|
|