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 3976-3978 | |
(subclass LandForm GeographicArea) | Geography.kif 3975-3975 | LandForm est une sous-classe de secteur g�ographique |
appearance as argument number 2 |
(subclass Archipelago LandForm) | Geography.kif 5841-5841 | Archipelago est une sous-classe de LandForm |
(subclass Basin LandForm) | Geography.kif 4243-4243 | Basin est une sous-classe de LandForm |
(subclass Butte LandForm) | Geography.kif 4172-4172 | Butte est une sous-classe de LandForm |
(subclass Canyon LandForm) | Geography.kif 4259-4259 | Canyon est une sous-classe de LandForm |
(subclass Cape LandForm) | Geography.kif 5807-5807 | Cape est une sous-classe de LandForm |
(subclass CaveMatrix LandForm) | Geography.kif 6048-6048 | CaveMatrix est une sous-classe de LandForm |
(subclass Delta LandForm) | Geography.kif 5776-5776 | Delta est une sous-classe de LandForm |
(subclass Glacier LandForm) | Geography.kif 5998-5998 | Glacier est une sous-classe de LandForm |
(subclass Hill LandForm) | Geography.kif 4043-4043 | Hill est une sous-classe de LandForm |
(subclass LowlandArea LandForm) | Geography.kif 3984-3984 | LowlandArea est une sous-classe de LandForm |
(subclass Mesa LandForm) | Geography.kif 4154-4154 | Mesa est une sous-classe de LandForm |
(subclass Mountain LandForm) | Geography.kif 4026-4026 | Mountain est une sous-classe de LandForm |
(subclass MountainRange LandForm) | Geography.kif 4012-4012 | MountainRange est une sous-classe de LandForm |
(subclass Peninsula LandForm) | Geography.kif 5793-5793 | Peninsula est une sous-classe de LandForm |
(subclass Plateau LandForm) | Geography.kif 4135-4135 | Plateau est une sous-classe de LandForm |
(subclass Reef LandForm) | Geography.kif 5937-5937 | Reef est une sous-classe de LandForm |
(subclass RiverBank LandForm) | Geography.kif 5757-5757 | RiverBank est une sous-classe de LandForm |
(subclass Seacoast LandForm) | Geography.kif 6120-6120 | Seacoast est une sous-classe de LandForm |
(subclass Shoal LandForm) | Geography.kif 5911-5911 | Shoal est une sous-classe de LandForm |
(subclass SlopedArea LandForm) | Geography.kif 4101-4101 | SlopedArea est une sous-classe de LandForm |
(subclass UplandArea LandForm) | Geography.kif 3980-3980 | UplandArea est une sous-classe de LandForm |
(subclass Valley LandForm) | Geography.kif 4226-4226 | Valley est une sous-classe de LandForm |
(subclass Volcano LandForm) | Geography.kif 4057-4057 | Volcano est une sous-classe de LandForm |
(termFormat ChineseLanguage LandForm "土地形式") | domainEnglishFormat.kif 33217-33217 | |
(termFormat ChineseTraditionalLanguage LandForm "土地形式") | domainEnglishFormat.kif 33216-33216 | |
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 5920-5927 | |
(=> (instance ?WEARING Erosion) (exists (?LAND) (and (patient ?WEARING ?LAND) (instance ?LAND LandForm)))) |
Geography.kif 2682-2687 |