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 3895-3897 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ c/ c1/ Ski_slope_Verbier_Valais_024.JPG") | pictureList-ImageNet.kif 723-723 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d6/ Ski_slope_Verbier_Valais_026.JPG") | pictureList-ImageNet.kif 725-725 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ Strada_Stelvio.JPG") | pictureList-ImageNet.kif 727-727 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Akademia_Nauk_from_slope_of_Kaymsky.jpg") | pictureList-ImageNet.kif 722-722 | |
| (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 724-724 | |
| (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 721-721 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 7/ 76/ Rastkogel_ski_slope.jpg/ 300px-Rastkogel_ski_slope.jpg") | pictureList-ImageNet.kif 730-730 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ be/ GeologicalExfoliationOfGraniteRock.jpg/ 250px-GeologicalExfoliationOfGraniteRock.jpg") | pictureList-ImageNet.kif 729-729 | |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ fa/ Monte_Fasce.JPG/ 300px-Monte_Fasce.JPG") | pictureList-ImageNet.kif 728-728 | |
| (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 726-726 | |
| (subclass SlopedArea LandForm) | Geography.kif 3893-3893 | subclass SlopedArea and LandForm |
| appearance as argument number 2 |
|
|
| (subclass Cliff SlopedArea) | Geography.kif 3910-3910 | subclass Cliff and SlopedArea |
| (termFormat ChineseLanguage SlopedArea "倾斜的区域") | domainEnglishFormat.kif 53320-53320 | |
| (termFormat ChineseTraditionalLanguage SlopedArea "傾斜的區域") | domainEnglishFormat.kif 53319-53319 | |
| (termFormat EnglishLanguage SlopedArea "sloped area") | domainEnglishFormat.kif 53318-53318 |
| antecedent |
|
|
| (=> (instance ?incline SlopedArea) (exists (?top ?bottom ?height1 ?height2) (and (top ?top ?incline) (bottom ?bottom ?incline) (earthAltitude ?top ?height1) (earthAltitude ?bottom ?height2) (successorAttributeClosure ?height2 ?height1) (greaterThan ?height1 ?height2)))) |
Geography.kif 3899-3908 |
|
| consequent |
|
|
| (=> (instance ?FACILITY SkiingFacility) (exists (?SLOPE ?SKIING) (and (instance ?SLOPE SlopedArea) (part ?SLOPE ?FACILITY) (instance ?SKIING Skiing) (eventLocated ?SKIING ?SLOPE)))) |
Sports.kif 945-952 | |
| (=> (instance ?Hill Hill) (exists (?Incline) (and (instance ?Incline SlopedArea) (part ?Incline ?Hill)))) |
Geography.kif 3842-3847 | |
| (=> (instance ?Mountain Mountain) (exists (?Incline) (and (instance ?Incline SlopedArea) (attribute ?Incline SteepTerrain) (part ?Incline ?Mountain)))) |
Geography.kif 3824-3830 | |
| (=> (instance ?SKI CrossCountrySkiing) (not (exists (?SLOPE) (and (instance ?SLOPE SlopedArea) (eventLocated ?SKI ?SLOPE))))) |
Sports.kif 932-938 | |
| (=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau)))) |
Geography.kif 3933-3939 |
|
|
|
|