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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SlopedArea

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 3965-3967
(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 3963-3963

appearance as argument number 2
-------------------------


(subclass Cliff SlopedArea) Geography.kif 3985-3985
(termFormat ChineseLanguage SlopedArea "倾斜的区域") domainEnglishFormat.kif 53385-53385
(termFormat ChineseTraditionalLanguage SlopedArea "傾斜的區域") domainEnglishFormat.kif 53384-53384
(termFormat EnglishLanguage SlopedArea "sloped area") domainEnglishFormat.kif 53383-53383

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 3969-3980

consequent
-------------------------


(=>
    (instance ?FACILITY SkiingFacility)
    (exists (?SLOPE ?SKIING)
        (and
            (instance ?SLOPE SlopedArea)
            (part ?SLOPE ?FACILITY)
            (instance ?SKIING Skiing)
            (eventLocated ?SKIING ?SLOPE))))
Sports.kif 1021-1028
(=>
    (instance ?Hill Hill)
    (exists (?Incline)
        (and
            (instance ?Incline SlopedArea)
            (part ?Incline ?Hill))))
Geography.kif 3912-3917
(=>
    (instance ?Mountain Mountain)
    (exists (?Incline)
        (and
            (instance ?Incline SlopedArea)
            (attribute ?Incline SteepTerrain)
            (part ?Incline ?Mountain))))
Geography.kif 3894-3900
(=>
    (instance ?SKI CrossCountrySkiing)
    (not
        (exists (?SLOPE)
            (and
                (instance ?SLOPE SlopedArea)
                (eventLocated ?SKI ?SLOPE)))))
Sports.kif 1008-1014
(=>
    (instance ?plateau Plateau)
    (exists (?slope)
        (and
            (instance ?slope SlopedArea)
            (attribute ?slope SteepTerrain)
            (overlapsSpatially ?slope ?plateau))))
Geography.kif 4008-4014


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners