(<=>
(earthAltitude ?OBJ ?ALT)
(exists (?SEA)
(and
(altitude ?OBJ ?SEA ?ALT)
(surface ?SEA PlanetEarth)))) |
Geography.kif 2781-2786 |
earthAltitude Object and LengthMeasure genau dann wenn es gibt SelfConnectedObject um das altitude von ** Object ist ** SelfConnectedObject %n{nicht} und ** SelfConnectedObject ist eine flaeche von PlanetEarth %n{nicht} |
(=>
(and
(instance ?LD LiquidDrop)
(surface ?S ?LD))
(modalAttribute
(exists (?SS ?LL)
(and
(instance ?LL Substance)
(attribute ?LL Liquid)
(not
(equal ?LD ?LL))
(surface ?SS ?LL)
(meetsSpatially ?S ?SS))) Unlikely)) |
Geography.kif 7497-7509 |
|
(=>
(and
(instance ?MEASURE Measuring)
(patient ?MEASURE ?OBJ)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?ABSOLUTEMETER)
(instance ?ABSOLUTEMETER AbsoluteAltimeter))
(exists (?OBJ2)
(and
(altitude ?OBJ ?OBJ2 ?QUANTITY)
(surface ?OBJ2 PlanetEarth)))) |
MilitaryDevices.kif 1441-1451 |
|
(=>
(and
(instance ?PAINT Painting)
(patient ?PAINT ?SURFACE)
(resource ?PAINT ?STUFF))
(exists (?OBJ)
(and
(surface ?SURFACE ?OBJ)
(instance ?STUFF Paint)))) |
Mid-level-ontology.kif 3188-3196 |
|
(=>
(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 21147-21177 |
- Wenn Proposition ist ein fall von Argument %n{nicht} und Process ist ein fall von Reasoning %n{nicht} und ** Proposition ist ein fall von Archeology %n{nicht} und ** Proposition ist eine teilangelegenheit von ** ** Proposition %n{nicht} und ** Process druekt den Inhalt von ** Proposition aus,
- dann es gibt ** Process, entity,, , Physical,, , RealNumber,, , ** entity, and und ** entity um ** ** Process ist ein fall von Discovering %n{nicht} und ** Physical ist ein fall von Object %n{nicht} und ** Physical ist ein patient von ** ** Process %n{nicht} und ** Process umfasst einen hinweis auf ** ** Process und die zeit des Bestehens von ** ** Process geschieht frueh als die zeit des Bestehens von ** Process %n{nicht} und das alter von ** Physical ist ** RealNumber YearDuration(s) %n{nicht} und ** RealNumber ist groesserAls 50 %n{nicht} und ** entity ist eine flaeche von ** ** entity %n{nicht} und ** ** entity ist ein fall von BodyOfWater %n{nicht} und ** Physical ist Below hinsichlich ** entity %n{nicht} oder ** entity ist eine flaeche von ** ** entity %n{nicht} und ** ** entity ist ein fall von LandArea %n{nicht} und ** Physical ist Below hinsichlich ** entity %n{nicht} haelt waehrend direkt vor die zeit des Bestehens von ** ** Process %n{nicht}
|
(=>
(instance ?B Bubble)
(exists (?S)
(and
(surface ?S ?B)
(attribute ?S Liquid)))) |
Mid-level-ontology.kif 5003-5008 |
|
(=>
(instance ?DETERGENT Detergent)
(hasPurpose ?DETERGENT
(exists (?REMOVE ?SUBSTANCE ?SURFACE ?OBJECT)
(and
(instance ?REMOVE Removing)
(instance ?SUBSTANCE Substance)
(patient ?REMOVE ?SUBSTANCE)
(origin ?REMOVE ?SURFACE)
(surface ?SURFACE ?OBJECT))))) |
Mid-level-ontology.kif 8848-8857 |
|
(=>
(instance ?L Lesion)
(exists (?S ?O)
(and
(surface ?S ?O)
(instance ?O Organ)
(located ?L ?S)))) |
Mid-level-ontology.kif 9396-9402 |
|
(=>
(instance ?OBJ1 VirusCoreEnvelope)
(exists (?OBJ2)
(and
(surface ?OBJ1 ?OBJ2)
(instance ?OBJ2 ViralCore)))) |
VirusProteinAndCellPart.kif 1205-1210 |
|
(=>
(instance ?P PeelOrRind)
(exists (?X)
(and
(part ?P ?X)
(instance ?X FruitOrVegetable)
(surface ?P ?X)))) |
Food.kif 2302-2308 |
|
(=>
(instance ?PD PaintingDevice)
(hasPurpose ?PD
(exists (?STUFF ?COVER ?SURF ?OBJ)
(and
(instance ?STUFF Substance)
(instance ?COVER Covering)
(instance ?OBJ Object)
(surface ?SURF ?OBJ)
(agent ?COVER ?PD)
(instrument ?COVER ?STUFF)
(patient ?COVER ?SURF))))) |
Mid-level-ontology.kif 3262-3273 |
|
(=>
(instance ?SKIN Skin)
(exists (?SURFACE ?ANIMAL)
(and
(surface ?SURFACE ?ANIMAL)
(part ?SKIN ?ANIMAL)
(instance ?ANIMAL Animal)
(overlapsSpatially ?SKIN ?SURFACE)))) |
Mid-level-ontology.kif 10991-10998 |
|
(=>
(instance ?W CellWall)
(exists (?CELL ?SURF)
(and
(instance ?CELL Cell)
(part ?W ?CELL)
(surface ?SURF ?CELL)
(part ?SURF ?W)))) |
VirusProteinAndCellPart.kif 473-480 |
|
(=>
(instance ?X LandVehicle)
(hasPurpose ?X
(exists (?EV ?SURF)
(and
(surface ?SURF GeographicArea)
(instance ?EV Transportation)
(holdsDuring
(WhenFn ?EV)
(meetsSpatially ?X ?SURF)))))) |
Mid-level-ontology.kif 3472-3481 |
|
(=>
(instance ?X SubwaySystem)
(exists (?SURF)
(and
(surface ?SURF GeographicArea)
(orientation ?X ?SURF Below)))) |
Transportation.kif 328-333 |
|
(=>
(instance ?place UndergroundArea)
(exists (?area ?ground)
(and
(surface ?ground PlanetEarth)
(part ?area ?ground)
(orientation ?place ?area Below)))) |
Geography.kif 3991-3997 |
|