more pictures...
| SlopedArea
more pictures... | |
| appearance as argument number 1 |
|
|
| (documentation SlopedArea EnglishLanguage "A SlopedArea is a land surface which lies at an angle to the horizontal so that some points on it are higher than others, a slope.") | Geography.kif 4079-4081 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Ski_slope_Verbier_Valais_024.JPG") | pictureList-ImageNet.kif 722-722 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d6/ Ski_slope_Verbier_Valais_026.JPG") | pictureList-ImageNet.kif 724-724 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ Strada_Stelvio.JPG") | pictureList-ImageNet.kif 726-726 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Akademia_Nauk_from_slope_of_Kaymsky.jpg") | pictureList-ImageNet.kif 721-721 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 37/ Ibergeregg_sea_of_fog.jpg/ 800px_Ibergeregg_sea_of_fog.jpg") | pictureList-ImageNet.kif 723-723 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 67/ Monte_Cimone_versante_nord.jpg/ 300px_Monte_Cimone_versante_nord.jpg") | pictureList-ImageNet.kif 720-720 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 76/ Rastkogel_ski_slope.jpg/ 300px_Rastkogel_ski_slope.jpg") | pictureList-ImageNet.kif 729-729 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ be/ GeologicalExfoliationOfGraniteRock.jpg/ 250px_GeologicalExfoliationOfGraniteRock.jpg") | pictureList-ImageNet.kif 728-728 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ fa/ Monte_Fasce.JPG/ 300px_Monte_Fasce.JPG") | pictureList-ImageNet.kif 727-727 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/en/thumb/ 2/ 27/ Cromford_And_High_Peak_Railway_Former_incline_near_Whaley_Bridge.jpg/ 250px_Cromford_And_High_Peak_Railway_Former_incline_near_Whaley_Bridge.jpg") | pictureList-ImageNet.kif 725-725 | |
| (subclass SlopedArea LandForm) | Geography.kif 4077-4077 | SlopedArea è una sottoclasse di LandForm |
| appearance as argument number 2 |
|
|
| (subclass Cliff SlopedArea) | Geography.kif 4099-4099 | Cliff è una sottoclasse di SlopedArea |
| (termFormat ChineseLanguage SlopedArea "倾斜的区域") | domainEnglishFormat.kif 53437-53437 | Cliff è una sottoclasse di SlopedArea |
| (termFormat ChineseTraditionalLanguage SlopedArea "傾斜的區域") | domainEnglishFormat.kif 53436-53436 | Cliff è una sottoclasse di SlopedArea |
| (termFormat EnglishLanguage SlopedArea "sloped area") | domainEnglishFormat.kif 53435-53435 | Cliff è una sottoclasse di SlopedArea |
| antecedent |
|
|
| (=> (instance ?incline SlopedArea) (exists (?top ?bottom ?height1 ?height2 ?U) (and (top ?top ?incline) (bottom ?bottom ?incline) (instance ?U UnitOfLength) (earthAltitude ?top (MeasureFn ?height1 ?U)) (earthAltitude ?bottom (MeasureFn ?height2 ?U)) (greaterThan ?height1 ?height2)))) |
Geography.kif 4083-4094 |
|
| consequent |
|
|
| (=> (instance ?FACILITY SkiingFacility) (exists (?SLOPE ?SKIING) (and (instance ?SLOPE SlopedArea) (part ?SLOPE ?FACILITY) (instance ?SKIING Skiing) (eventLocated ?SKIING ?SLOPE)))) |
Sports.kif 1095-1102 | |
| (=> (instance ?Hill Hill) (exists (?Incline) (and (instance ?Incline SlopedArea) (part ?Incline ?Hill)))) |
Geography.kif 4026-4031 | |
| (=> (instance ?Mountain Mountain) (exists (?Incline) (and (instance ?Incline SlopedArea) (attribute ?Incline SteepTerrain) (part ?Incline ?Mountain)))) |
Geography.kif 4008-4014 | |
| (=> (instance ?SKI CrossCountrySkiing) (not (exists (?SLOPE) (and (instance ?SLOPE SlopedArea) (eventLocated ?SKI ?SLOPE))))) |
Sports.kif 1082-1088 |
|
| (=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau)))) |
Geography.kif 4122-4128 |
|
|
|