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 and "http://upload.wikimedia.org/wikipedia/commons/c/c1/ Ski_slope_Verbier_Valais_024.JPG" |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ d/ d6/ Ski_slope_Verbier_Valais_026.JPG") | pictureList-ImageNet.kif 725-725 | externalImage SlopedArea and "http://upload.wikimedia.org/wikipedia/commons/d/d6/ Ski_slope_Verbier_Valais_026.JPG" |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f0/ Strada_Stelvio.JPG") | pictureList-ImageNet.kif 727-727 | externalImage SlopedArea and "http://upload.wikimedia.org/wikipedia/commons/f/f0/ Strada_Stelvio.JPG" |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ f/ f1/ Akademia_Nauk_from_slope_of_Kaymsky.jpg") | pictureList-ImageNet.kif 722-722 | externalImage SlopedArea and "http://upload.wikimedia.org/wikipedia/commons/f/f1/ Akademia_Nauk_from_slope_of_Kaymsky.jpg" |
| (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 and "http://upload.wikimedia.org/wikipedia/commons/thumb/ 3/ 37/ Ibergeregg_sea_of_fog.jpg/ 800px-Ibergeregg_sea_of_fog.jpg" |
| (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 and "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 67/ Monte_Cimone_versante_nord.jpg/ 300px-Monte_Cimone_versante_nord.jpg" |
| (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 and "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 76/ Rastkogel_ski_slope.jpg/ 300px-Rastkogel_ski_slope.jpg" |
| (externalImage SlopedArea "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ be/ GeologicalExfoliationOfGraniteRock.jpg/ 250px-GeologicalExfoliationOfGraniteRock.jpg") | pictureList-ImageNet.kif 729-729 | externalImage SlopedArea and "http://upload.wikimedia.org/wikipedia/commons/thumb/ b/ be/ GeologicalExfoliationOfGraniteRock.jpg/ 250px-GeologicalExfoliationOfGraniteRock.jpg" |
| (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 and "http://upload.wikimedia.org/wikipedia/commons/thumb/ f/ fa/ Monte_Fasce.JPG/ 300px-Monte_Fasce.JPG" |
| (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 | externalImage SlopedArea and "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" |
| (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 53341-53341 | termFormat ChineseLanguage, SlopedArea and "倾斜的区域" |
| (termFormat ChineseTraditionalLanguage SlopedArea "傾斜的區域") | domainEnglishFormat.kif 53340-53340 | termFormat ChineseTraditionalLanguage, SlopedArea and "傾斜的區域" |
| (termFormat EnglishLanguage SlopedArea "sloped area") | domainEnglishFormat.kif 53339-53339 | termFormat EnglishLanguage, SlopedArea and "sloped area" |
| 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 |
|
|
|
|