consequent

(=>     (and         (instance ?DUSTSTORM DustStorm)         (instance ?WIND Wind)         (subProcess ?DUSTSTORM ?WIND))     (exists (?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)         (and             (instance ?A1 LandArea)             (eventLocated ?WIND ?A1)             (surfaceWindSpeed ?A1                 (MeasureFn ?STRONG KnotUnitOfSpeed))             (greaterThan ?STRONG 30.0)             (instance ?TRANSLOCATE Translocation)             (subProcess ?TRANSLOCATE ?DUSTSTORM)             (objectTransferred ?TRANSLOCATE ?PM)             (objectTransferred ?TRANSLOCATE ?SAND)             (instance ?PM ParticulateMatter)             (instance ?SAND Sand)             (instance ?A2 LandArea)             (destination ?TRANSLOCATE ?A2)             (not                 (overlapsSpatially ?A1 ?A2)))))	Weather.kif 2451-2472	If a process is an instance of dust storm and another process is an instance of wind and the process is a subprocess of the other process, then there exist a transfer, an object,, , another object,, , a third object,, , a fourth object and a real number such that the third object is an instance of land area and the other process is located at the third object and the real number knot unit of speed(s) is a surface wind speed of the third object and the real number is greater than 30.0 and the transfer is an instance of translocation and the transfer is a subprocess of the process and the object transferred in the transfer is the object and the object transferred in the transfer is the other object and the object is an instance of PM and the other object is an instance of sand and the fourth object is an instance of land area and the transfer ends up at the fourth object and the third object and the fourth object doesn't overlapsSpatially
(=>     (instance ?D Dune)     (material Sand ?D))	Geography.kif 5949-5951	If a corpuscular object is an instance of dune, then the corpuscular object is made of sand
(=>     (instance ?DESERT Desert)     (or         (groundSurfaceType ?DESERT Rock)         (groundSurfaceType ?DESERT Sand)))	Geography.kif 8242-8246	If a land area is an instance of desert, then rock is a ground surface type of the land area or sand is a ground surface type of the land area
(=>     (instance ?Loam Loam)     (exists (?Clay ?Sand ?Gravel ?Silt ?Organic)         (and             (instance ?Clay Clay)             (piece ?Clay ?Loam)             (instance ?Gravel Gravel)             (piece ?Gravel ?Loam)             (instance ?Sand Sand)             (piece ?Sand ?Loam)             (instance ?Silt Silt)             (piece ?Silt ?Loam)             (instance ?Organic BodySubstance)             (piece ?Organic ?Loam))))	Geography.kif 5892-5905	If a substance is an instance of loam, then there exist another substance, a third substance,, , a fourth substance,, , a fifth substance and a sixth substance such that the other substance is an instance of clay and the other substance is a piece of the substance and the fourth substance is an instance of gravel and the fourth substance is a piece of the substance and the third substance is an instance of sand and the third substance is a piece of the substance and the fifth substance is an instance of silt and the fifth substance is a piece of the substance and the sixth substance is an instance of body substance and the sixth substance is a piece of the substance
(=>     (instance ?Reef Reef)     (exists (?Stuff)         (and             (or                 (instance ?Stuff Sand)                 (instance ?Stuff Rock)                 (instance ?Stuff Coral))             (part ?Stuff ?Reef))))	Geography.kif 7564-7572	If an object is an instance of reef, then there exists another object such that the other object is an instance of sand or the other object is an instance of rock or the other object is an instance of coral and the other object is a part of the object
(=>     (instance ?SS SandStorm)     (exists (?SAND)         (and             (instance ?SAND Sand)             (objectTransferred ?SS ?SAND))))	Weather.kif 2479-2484	If a transfer is an instance of sand storm, then there exists an object such that the object is an instance of sand and the object transferred in the transfer is the object

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