Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SlopedArea
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners