(=>
(and
(instance ?ATT TerrainAttribute)
(attribute ?OBJECT ?ATT))
(instance ?OBJECT LandArea)) |
Geography.kif 1742-1746 |
|
(=>
(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 1259-1280 |
- 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 14254-14260 |
|
(=>
(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 5823-5837 |
|
(=>
(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 677-690 |
|
(=>
(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 21405-21435 |
- 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 2178-2196 |
|
(=>
(attribute ?AREA MountainousTerrain)
(instance ?AREA LandArea)) |
Geography.kif 1793-1795 |
|
(=>
(instance ?AREA LandlockedArea)
(exists (?LAND)
(and
(instance ?LAND LandArea)
(meetsSpatially ?AREA ?LAND)))) |
Geography.kif 952-957 |
|
(=>
(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 |
|
(=>
(instance ?BALCONY Balcony)
(exists (?WALL ?LANDAREA)
(and
(meetsSpatially ?WALL ?BALCONY)
(instance ?LANDAREA LandArea)
(located ?WALL ?LANDAREA)
(orientation ?BALCONY ?LANDAREA Above)))) |
Mid-level-ontology.kif 15603-15610 |
|
(=>
(instance ?EXCLUSIVEWATERAREA WaterOnlyArea)
(not
(exists (?LANDAREA)
(and
(instance ?LANDAREA LandArea)
(part ?LANDAREA ?EXCLUSIVEWATERAREA))))) |
Geography.kif 595-601 |
|
(=>
(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 1359-1368 |
|
(=>
(instance ?FOG Fog)
(exists (?LAND)
(and
(instance ?LAND LandArea)
(meetsSpatially ?FOG ?LAND)))) |
Mid-level-ontology.kif 9187-9192 |
|
(=>
(instance ?INLET Inlet)
(exists (?LAND)
(and
(instance ?LAND LandArea)
(penetrates ?INLET ?LAND)))) |
Geography.kif 5225-5230 |
|
(=>
(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 14240-14252 |
|
(=>
(instance ?LAND LandTransportation)
(exists (?CRAFT ?AREA)
(and
(instance ?CRAFT LandVehicle)
(instance ?AREA LandArea)
(instrument ?LAND ?CRAFT)
(located ?CRAFT ?AREA)))) |
Mid-level-ontology.kif 18029-18036 |
|
(=>
(instance ?LAND LandingWaterLand)
(exists (?REGION ?WATERTRANS)
(and
(instance ?REGION LandArea)
(destination ?LAND ?REGION)
(subProcess ?WATERTRANS ?LAND)
(instance ?WATERTRANS WaterTransportation)))) |
MilitaryProcesses.kif 811-818 |
|
(=>
(instance ?SEA Sea)
(exists (?LAND)
(and
(instance ?LAND LandArea)
(meetsSpatially ?LAND ?SEA)))) |
Geography.kif 4791-4796 |
|
(=>
(instance ?SINKING LandSubsidence)
(exists (?LAND)
(and
(instance ?LAND LandArea)
(eventLocated ?SINKING ?LAND)
(patient ?SINKING ?LAND)))) |
Geography.kif 6771-6777 |
|
(=>
(instance ?WAY LandTransitway)
(hasPurpose ?WAY
(exists (?MOVE ?LAND)
(and
(instance ?MOVE Translocation)
(path ?MOVE ?WAY)
(eventLocated ?MOVE ?LAND)
(instance ?LAND LandArea))))) |
Merge.kif 14335-14343 |
|
(=>
(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 3951-3962 |
|
(=>
(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 26368-26386 |
|
