| 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 | LandForm est une sous-classe de secteur g�ographique |
| appearance as argument number 2 |
|
|
| (subclass Archipelago LandForm) | Geography.kif 6144-6144 | Archipelago est une sous-classe de LandForm |
| (subclass Basin LandForm) | Geography.kif 4483-4483 | Basin est une sous-classe de LandForm |
| (subclass Butte LandForm) | Geography.kif 4412-4412 | Butte est une sous-classe de LandForm |
| (subclass Canyon LandForm) | Geography.kif 4499-4499 | Canyon est une sous-classe de LandForm |
| (subclass Cape LandForm) | Geography.kif 6110-6110 | Cape est une sous-classe de LandForm |
| (subclass CaveMatrix LandForm) | Geography.kif 6351-6351 | CaveMatrix est une sous-classe de LandForm |
| (subclass Delta LandForm) | Geography.kif 6079-6079 | Delta est une sous-classe de LandForm |
| (subclass Glacier LandForm) | Geography.kif 6301-6301 | Glacier est une sous-classe de LandForm |
| (subclass Hill LandForm) | Geography.kif 4283-4283 | Hill est une sous-classe de LandForm |
| (subclass LowlandArea LandForm) | Geography.kif 4224-4224 | LowlandArea est une sous-classe de LandForm |
| (subclass Mesa LandForm) | Geography.kif 4394-4394 | Mesa est une sous-classe de LandForm |
| (subclass Mountain LandForm) | Geography.kif 4266-4266 | Mountain est une sous-classe de LandForm |
| (subclass MountainRange LandForm) | Geography.kif 4252-4252 | MountainRange est une sous-classe de LandForm |
| (subclass Peninsula LandForm) | Geography.kif 6096-6096 | Peninsula est une sous-classe de LandForm |
| (subclass Plateau LandForm) | Geography.kif 4375-4375 | Plateau est une sous-classe de LandForm |
| (subclass Reef LandForm) | Geography.kif 6240-6240 | Reef est une sous-classe de LandForm |
| (subclass RiverBank LandForm) | Geography.kif 6060-6060 | RiverBank est une sous-classe de LandForm |
| (subclass Seacoast LandForm) | Geography.kif 6423-6423 | Seacoast est une sous-classe de LandForm |
| (subclass Shoal LandForm) | Geography.kif 6214-6214 | Shoal est une sous-classe de LandForm |
| (subclass SlopedArea LandForm) | Geography.kif 4341-4341 | SlopedArea est une sous-classe de LandForm |
| (subclass UplandArea LandForm) | Geography.kif 4220-4220 | UplandArea est une sous-classe de LandForm |
| (subclass Valley LandForm) | Geography.kif 4466-4466 | Valley est une sous-classe de LandForm |
| (subclass Volcano LandForm) | Geography.kif 4297-4297 | Volcano est une sous-classe de LandForm |
| (termFormat ChineseLanguage LandForm "土地形式") | domainEnglishFormat.kif 33228-33228 | Volcano est une sous-classe de LandForm |
| (termFormat ChineseTraditionalLanguage LandForm "土地形式") | domainEnglishFormat.kif 33227-33227 | 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 6223-6230 | |
| (=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 2840-2845 |
|
|
|