| 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 4045-4047 | |
| (subclass LandForm GeographicArea) | Geography.kif 4044-4044 |
| appearance as argument number 2 |
|
|
| (subclass Archipelago LandForm) | Geography.kif 5910-5910 | |
| (subclass Basin LandForm) | Geography.kif 4312-4312 | |
| (subclass Butte LandForm) | Geography.kif 4241-4241 | |
| (subclass Canyon LandForm) | Geography.kif 4328-4328 | |
| (subclass Cape LandForm) | Geography.kif 5876-5876 | |
| (subclass CaveMatrix LandForm) | Geography.kif 6117-6117 | |
| (subclass Delta LandForm) | Geography.kif 5845-5845 | |
| (subclass Glacier LandForm) | Geography.kif 6067-6067 | |
| (subclass Hill LandForm) | Geography.kif 4112-4112 | |
| (subclass LowlandArea LandForm) | Geography.kif 4053-4053 | |
| (subclass Mesa LandForm) | Geography.kif 4223-4223 | |
| (subclass Mountain LandForm) | Geography.kif 4095-4095 | |
| (subclass MountainRange LandForm) | Geography.kif 4081-4081 | |
| (subclass Peninsula LandForm) | Geography.kif 5862-5862 | |
| (subclass Plateau LandForm) | Geography.kif 4204-4204 | |
| (subclass Reef LandForm) | Geography.kif 6006-6006 | |
| (subclass RiverBank LandForm) | Geography.kif 5826-5826 | |
| (subclass Seacoast LandForm) | Geography.kif 6189-6189 | |
| (subclass Shoal LandForm) | Geography.kif 5980-5980 | |
| (subclass SlopedArea LandForm) | Geography.kif 4170-4170 | |
| (subclass UplandArea LandForm) | Geography.kif 4049-4049 | |
| (subclass Valley LandForm) | Geography.kif 4295-4295 | |
| (subclass Volcano LandForm) | Geography.kif 4126-4126 | |
| (termFormat ChineseLanguage LandForm "土地形式") | domainEnglishFormat.kif 33245-33245 | |
| (termFormat ChineseTraditionalLanguage LandForm "土地形式") | domainEnglishFormat.kif 33244-33244 | |
| 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 5989-5996 | |
| (=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 2670-2675 |
|
|
|