| 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 | LandForm est une sous-classe de secteur g�ographique |
| appearance as argument number 2 |
|
|
| (subclass Archipelago LandForm) | Geography.kif 5910-5910 | Archipelago est une sous-classe de LandForm |
| (subclass Basin LandForm) | Geography.kif 4312-4312 | Basin est une sous-classe de LandForm |
| (subclass Butte LandForm) | Geography.kif 4241-4241 | Butte est une sous-classe de LandForm |
| (subclass Canyon LandForm) | Geography.kif 4328-4328 | Canyon est une sous-classe de LandForm |
| (subclass Cape LandForm) | Geography.kif 5876-5876 | Cape est une sous-classe de LandForm |
| (subclass CaveMatrix LandForm) | Geography.kif 6117-6117 | CaveMatrix est une sous-classe de LandForm |
| (subclass Delta LandForm) | Geography.kif 5845-5845 | Delta est une sous-classe de LandForm |
| (subclass Glacier LandForm) | Geography.kif 6067-6067 | Glacier est une sous-classe de LandForm |
| (subclass Hill LandForm) | Geography.kif 4112-4112 | Hill est une sous-classe de LandForm |
| (subclass LowlandArea LandForm) | Geography.kif 4053-4053 | LowlandArea est une sous-classe de LandForm |
| (subclass Mesa LandForm) | Geography.kif 4223-4223 | Mesa est une sous-classe de LandForm |
| (subclass Mountain LandForm) | Geography.kif 4095-4095 | Mountain est une sous-classe de LandForm |
| (subclass MountainRange LandForm) | Geography.kif 4081-4081 | MountainRange est une sous-classe de LandForm |
| (subclass Peninsula LandForm) | Geography.kif 5862-5862 | Peninsula est une sous-classe de LandForm |
| (subclass Plateau LandForm) | Geography.kif 4204-4204 | Plateau est une sous-classe de LandForm |
| (subclass Reef LandForm) | Geography.kif 6006-6006 | Reef est une sous-classe de LandForm |
| (subclass RiverBank LandForm) | Geography.kif 5826-5826 | RiverBank est une sous-classe de LandForm |
| (subclass Seacoast LandForm) | Geography.kif 6189-6189 | Seacoast est une sous-classe de LandForm |
| (subclass Shoal LandForm) | Geography.kif 5980-5980 | Shoal est une sous-classe de LandForm |
| (subclass SlopedArea LandForm) | Geography.kif 4170-4170 | SlopedArea est une sous-classe de LandForm |
| (subclass UplandArea LandForm) | Geography.kif 4049-4049 | UplandArea est une sous-classe de LandForm |
| (subclass Valley LandForm) | Geography.kif 4295-4295 | Valley est une sous-classe de LandForm |
| (subclass Volcano LandForm) | Geography.kif 4126-4126 | Volcano est une sous-classe de LandForm |
| (termFormat ChineseLanguage LandForm "土地形式") | domainEnglishFormat.kif 33245-33245 | Volcano est une sous-classe de LandForm |
| (termFormat ChineseTraditionalLanguage LandForm "土地形式") | domainEnglishFormat.kif 33244-33244 | Volcano est une sous-classe de LandForm |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| 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 |
|
|
|