consequent

(=>     (and         (instance ?ATT TerrainAttribute)         (attribute ?OBJECT ?ATT))     (instance ?OBJECT LandArea))	Geography.kif 3134-3138	If an attribute is an instance of terrain attribute and the attribute is an attribute of an object, then the object is an instance of land area
(=>     (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 2449-2470	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
(=>     (and         (instance ?ISLE Island)         (instance ?AREA GeographicArea)         (meetsSpatially ?ISLE ?AREA))     (not         (instance ?AREA LandArea)))	Merge.kif 14358-14364	If an object is an instance of island and another object is an instance of geographic area and the object meets the other object, then the other object is not an instance of land area
(=>     (and         (instance ?Isthmus Isthmus)         (side ?Leftside ?Isthmus)         (side ?Rightside ?Isthmus)         (not             (equal ?Leftside ?Rightside)))     (exists (?Region1 ?Region2 ?Water1 ?Water2)         (and             (instance ?Region1 LandArea)             (instance ?Region2 LandArea)             (between ?Region1 ?Isthmus ?Region2)             (instance ?Water1 WaterArea)             (instance ?Water2 WaterArea)             (meetsSpatially ?Leftside ?Water1)             (meetsSpatially ?Rightside ?Water2))))	Geography.kif 7359-7373	If a self connected object is an instance of isthmus and a side of the self connected object is another self connected object and a side of the self connected object is a third self connected object and equal the other self connected object and the third self connected object, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of land area and the other object is an instance of land area and the self connected object is between the object and the other object and the third object is an instance of water area and the fourth object is an instance of water area and the other self connected object meets the third object and the third self connected object meets the fourth object
(=>     (and         (instance ?TC TropicalCyclone)         (destination ?TC ?DEST)         (instance ?DEST GeographicArea))     (not         (exists (?L ?SL ?X)             (and                 (instance ?L LandArea)                 (instance ?SL Shoreline)                 (located ?DEST ?L)                 (distance ?L ?SL                     (MeasureFn ?X Mile))                 (greaterThan ?X 200.0)))))	Weather.kif 1132-1145	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
(=>     (and         (instance ?X Argument)         (instance ?R Reasoning)         (instance ?A Archeology)         (subProposition ?X ?A)         (realization ?R ?X))     (exists (?D ?S ?O ?T ?W ?L)         (and             (instance ?D Discovering)             (instance ?O Object)             (patient ?D ?O)             (refers ?R ?D)             (earlier                 (WhenFn ?D)                 (WhenFn ?R))             (age ?O                 (MeasureFn ?T YearDuration))             (greaterThan ?T 50)             (holdsDuring                 (ImmediatePastFn                     (WhenFn ?D))                 (or                     (and                         (surface ?S ?W)                         (instance ?W BodyOfWater)                         (orientation ?O ?S Below))                     (and                         (surface ?S ?L)                         (instance ?L LandArea)                         (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 22752-22782	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of the other entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of the third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
(=>     (and         (otherLandUseArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?OTHER)         (and             (instance ?OTHER LandArea)             (not                 (instance ?OTHER ArableLand))             (not                 (instance ?OTHER PermanentCropLand))             (geographicSubregion ?OTHER ?REGION)             (measure ?OTHER                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 3570-3588	If a real number an unit of measure(s) is an other land use area of a geographic area and the real number is greater than or equal to 0.0 and another real number the unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of unit of area, then there exists another geographic area such that the other geographic area is an instance of land area and the other geographic area is not an instance of arable land and the other geographic area is not an instance of permanent crop land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the real number and the other real number the unit of measure(s)
(=>     (attribute ?AREA MountainousTerrain)     (instance ?AREA LandArea))	Geography.kif 3185-3187	If mountainous terrain is an attribute of an object, then the object is an instance of land area
(=>     (instance ?AREA LandlockedArea)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (meetsSpatially ?AREA ?LAND))))	Geography.kif 2351-2356	If an object is an instance of landlocked area, then there exists another object such that the other object is an instance of land area and the object meets the other object
(=>     (instance ?B Bridge)     (hasPurpose ?B         (exists (?T ?X)             (and                 (instance ?T Translocation)                 (path ?T ?B)                 (orientation ?B ?X Above)                 (or                     (instance ?X LandArea)                     (instance ?X BodyOfWater))))))	Transportation.kif 1752-1762	If a physical is an instance of bridge, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the physical is above to the other entity and the other entity is an instance of land area or the other entity is an instance of body of water
(=>     (instance ?BALCONY Balcony)     (exists (?WALL ?LANDAREA)         (and             (meetsSpatially ?WALL ?BALCONY)             (instance ?LANDAREA LandArea)             (located ?WALL ?LANDAREA)             (orientation ?BALCONY ?LANDAREA Above))))	Mid-level-ontology.kif 16747-16754	If an object is an instance of balcony, then there exist another object and a third object such that the other object meets the object and the third object is an instance of land area and the other object is located at the third object and the object is above to the third object
(=>     (instance ?EXCLUSIVEWATERAREA WaterOnlyArea)     (not         (exists (?LANDAREA)             (and                 (instance ?LANDAREA LandArea)                 (part ?LANDAREA ?EXCLUSIVEWATERAREA)))))	Geography.kif 1999-2005	If an object is an instance of water only area, then there doesn't exist another object such that the other object is an instance of land area and the other object is a part of the object
(=>     (instance ?Estate RealEstate)     (or         (instance ?Estate StationaryArtifact)         (instance ?Estate LandArea)         (exists (?Artifact ?Area)             (and                 (instance ?Artifact StationaryArtifact)                 (instance ?Area LandArea)                 (equal ?Estate                     (MereologicalSumFn ?Artifact ?Area))))))	FinancialOntology.kif 1375-1384	If an object is an instance of real estate, then the object is an instance of stationary artifact or the object is an instance of land area or there exist another object and a third object such that the other object is an instance of stationary artifact and the third object is an instance of land area and equal the object and the union of the parts of the other object and the third object
(=>     (instance ?FOG Fog)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (meetsSpatially ?FOG ?LAND))))	Mid-level-ontology.kif 10170-10175	If an object is an instance of fog, then there exists another object such that the other object is an instance of land area and the object meets the other object
(=>     (instance ?INLET Inlet)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (penetrates ?INLET ?LAND))))	Geography.kif 6749-6754	If an object is an instance of inlet, then there exists another object such that the other object is an instance of land area and the object penetrates the other object
(=>     (instance ?ISLAND Island)     (not         (exists (?AREA ?PART1 ?PART2)             (and                 (instance ?AREA LandArea)                 (part ?PART1 ?ISLAND)                 (part ?PART2 ?AREA)                 (not                     (part ?ISLAND ?AREA))                 (not                     (part ?AREA ?ISLAND))                 (meetsSpatially ?PART1 ?PART2)))))	Merge.kif 14344-14356	If an object is an instance of island, then there don't exist another object, a third object and a fourth object such that the other object is an instance of land area and the third object is a part of the object and the fourth object is a part of the other object and the object is not a part of the other object and the other object is not a part of the object and the third object meets the fourth object
(=>     (instance ?LAND LandTransportation)     (exists (?CRAFT ?AREA)         (and             (instance ?CRAFT LandVehicle)             (instance ?AREA LandArea)             (instrument ?LAND ?CRAFT)             (located ?CRAFT ?AREA))))	Mid-level-ontology.kif 19308-19315	If a process is an instance of land transportation, then there exist an object and another object such that the object is an instance of land vehicle and the other object is an instance of land area and the object is an instrument for the process and the object is located at the other object
(=>     (instance ?LAND LandingWaterLand)     (exists (?REGION ?WATERTRANS)         (and             (instance ?REGION LandArea)             (destination ?LAND ?REGION)             (subProcess ?WATERTRANS ?LAND)             (instance ?WATERTRANS WaterTransportation))))	MilitaryProcesses.kif 811-818	If a process is an instance of landing water land, then there exist an entity and another process such that the entity is an instance of land area and the process ends up at the entity and the other process is a subprocess of the process and the other process is an instance of water transportation
(=>     (instance ?MINE LandMine)     (hasPurpose ?MINE         (exists (?L ?E ?M ?O)             (and                 (instance ?L LandArea)                 (located ?MINE ?L)                 (instance ?E Explosion)                 (instrument ?E ?MINE)                 (locatedAtTime ?MINE                     (WhenFn ?E) ?L)                 (causes ?M ?E)                 (instance ?M Motion)                 (eventLocated ?M ?L)                 (origin ?M ?O)                 (orientation ?O ?MINE On)                 (or                     (instance ?O Human)                     (instance ?O LandVehicle))))))	Mid-level-ontology.kif 19399-19417	If a physical is an instance of land mine, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of land area and the physical is located at the entity and the other entity is an instance of explosion and the physical is an instrument for the other entity and the physical located at time the time of existence of the other entity for the entity and the third entity causes the other entity and the third entity is an instance of motion and the third entity is located at the entity and the third entity originates at the fourth entity and the fourth entity is on to the physical and the fourth entity is an instance of human or the fourth entity is an instance of land vehicle
(=>     (instance ?SEA Sea)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (meetsSpatially ?LAND ?SEA))))	Geography.kif 6264-6269	If an object is an instance of sea, then there exists another object such that the other object is an instance of land area and the other object meets the object
(=>     (instance ?SINKING LandSubsidence)     (exists (?LAND)         (and             (instance ?LAND LandArea)             (eventLocated ?SINKING ?LAND)             (patient ?SINKING ?LAND))))	Geography.kif 8341-8347	If a process is an instance of land subsidence, then there exists an object such that the object is an instance of land area and the process is located at the object and the object is a patient of the process
(=>     (instance ?WAY LandTransitway)     (hasPurpose ?WAY         (exists (?MOVE ?LAND)             (and                 (instance ?MOVE Translocation)                 (path ?MOVE ?WAY)                 (eventLocated ?MOVE ?LAND)                 (instance ?LAND LandArea)))))	Merge.kif 14439-14447	If a physical is an instance of land transitway, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of translocation and the physical is path along which the entity occurs and the entity is located at the other entity and the other entity is an instance of land area
(=>     (instance ?X Hammock)     (and         (material Fabric ?X)         (exists (?POLE1 ?POLE2 ?GROUND)             (and                 (orientation ?POLE1 ?POLE2 Near)                 (connected ?POLE1 ?X)                 (connected ?POLE2 ?X)                 (instance ?GROUND LandArea)                 (located ?X ?GROUND)                 (orientation ?X ?GROUND Above)))))	Mid-level-ontology.kif 4401-4412	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
(=>     (instance ?X PublicAddressSystem)     (hasPurpose ?X         (exists (?RS ?AREA ?GRP)             (and                 (instance ?AREA LandArea)                 (located ?X ?AREA)                 (instance ?GRP GroupOfPeople)                 (located ?GRP ?AREA)                 (instance ?RS RadiatingSound)                 (instrument ?RS ?X)                 (forall (?PERSON)                     (=>                         (member ?PERSON ?GRP)                         (exists (?HEAR)                             (and                                 (instance ?HEAR Hearing)                                 (patient ?HEAR ?RS)                                 (agent ?HEAR ?PERSON)))))))))	Mid-level-ontology.kif 27989-28007	If a physical is an instance of public address system, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of land area and the physical is located at the other entity and the third entity is an instance of group of people and the third entity is located at the other entity and the entity is an instance of radiating sound and the physical is an instrument for the entity and for all a fourth entity if the fourth entity is a member of the third entity, then there exists a fifth entity such that the fifth entity is an instance of hearing and the entity is a patient of the fifth entity and the fourth entity is an agent of the fifth entity

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