SlopedArea - Sigma Knowledge base Browser

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 4310-4312
(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 4308-4308	Sloped area is a subclass of land form

appearance as argument number 2

(subclass Cliff SlopedArea)	Geography.kif 4330-4330	Cliff is a subclass of sloped area
(termFormat ChineseLanguage SlopedArea "倾斜的区域")	domainEnglishFormat.kif 53406-53406	Cliff is a subclass of sloped area
(termFormat ChineseTraditionalLanguage SlopedArea "傾斜的區域")	domainEnglishFormat.kif 53405-53405	Cliff is a subclass of sloped area
(termFormat EnglishLanguage SlopedArea "sloped area")	domainEnglishFormat.kif 53404-53404	Cliff is a subclass of sloped area

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 4314-4325

If a self connected object is an instance of sloped area,
then there exist another self connected object, a third self connected object,, , a real number,, , another real number and an unit of measure such that the top of the self connected object is the other self connected object and the bottom of the self connected object is the third self connected object and the unit of measure is an instance of unit of length and the other self connected object is the real number the unit of measure(s) above the ground and the third self connected object is the other real number the unit of measure(s) above the ground and the real number is greater than the other real number

consequent

(=> (instance ?FACILITY SkiingFacility) (exists (?SLOPE ?SKIING) (and (instance ?SLOPE SlopedArea) (part ?SLOPE ?FACILITY) (instance ?SKIING Skiing) (eventLocated ?SKIING ?SLOPE))))	Sports.kif 1107-1114	If an object is an instance of skiing facility, then there exist another object and a process such that the other object is an instance of sloped area and the other object is a part of the object and the process is an instance of skiing and the process is located at the other object
(=> (instance ?Hill Hill) (exists (?Incline) (and (instance ?Incline SlopedArea) (part ?Incline ?Hill))))	Geography.kif 4257-4262	If an object is an instance of hill, then there exists another object such that the other object is an instance of sloped area and the other object is a part of the object
(=> (instance ?Mountain Mountain) (exists (?Incline) (and (instance ?Incline SlopedArea) (attribute ?Incline SteepTerrain) (part ?Incline ?Mountain))))	Geography.kif 4239-4245	If an object is an instance of mountain, then there exists another object such that the other object is an instance of sloped area and steep terrain is an attribute of the other object and the other object is a part of the object
(=> (instance ?SKI CrossCountrySkiing) (not (exists (?SLOPE) (and (instance ?SLOPE SlopedArea) (eventLocated ?SKI ?SLOPE)))))	Sports.kif 1094-1100	If a process is an instance of cross country skiing, then there doesn't exist an object such that the object is an instance of sloped area and the process is located at the object
(=> (instance ?plateau Plateau) (exists (?slope) (and (instance ?slope SlopedArea) (attribute ?slope SteepTerrain) (overlapsSpatially ?slope ?plateau))))	Geography.kif 4353-4359	If an object is an instance of plateau, then there exists another object such that the other object is an instance of sloped area and steep terrain is an attribute of the other object and the other object and the object overlapsSpatially

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: