(=>
(and
(instance ?PLACE GeographicArea)
(located ?PLACE ?T)
(instance ?T Tropics))
(exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
(and
(objectGeographicCoordinates ?PLACE
(MeasureFn ?NUM1 ?U) ?LONG)
(instance ?U UnitOfAngularMeasure)
(lessThan ?NUM1 ?NUM2)
(equal
(MeasureFn ?NUM2 ?U)
(LatitudeFn ?DIR
(MeasureFn 23.0 AngularDegree)
(MeasureFn 26.0 ArcMinute)
(MeasureFn 11.5 ArcSecond)))
(instance ?DIR DirectionalAttribute)
(or
(equal ?DIR North)
(equal ?DIR South))))) |
Geography.kif 3595-3615 |
- Wenn Object ist ein fall von GeographicArea %n{nicht} und ** Object befindet sich an %n{nicht} und ** Object ist ein fall von Tropics %n{nicht},
- dann es gibt RealNumber, Longitude,, , DirectionalAttribute,, , ** RealNumber, and und UnitOfMeasure um objectGeographicCoordinates ** Object, ** RealNumber ** UnitOfMeasure(s) and ** Longitude und ** UnitOfMeasure ist ein fall von UnitOfAngularMeasure %n{nicht} und ** RealNumber ist kleinerAls ** ** RealNumber %n{nicht} und ** ** RealNumber ** UnitOfMeasure(s) ist gleich LatitudeFn ** DirectionalAttribute, 23.0 AngularDegree(s), 26.0 ArcMinute(s) and 11.5 ArcSecond(s) %n{nicht} und ** DirectionalAttribute ist ein fall von DirectionalAttribute %n{nicht} und ** DirectionalAttribute ist gleich North %n{nicht} oder ** DirectionalAttribute ist gleich South %n{nicht}
|
(=>
(and
(instance ?SAW Saw)
(instance ?CUT Cutting)
(instrument ?CUT ?SAW)
(instance ?OBJ Object)
(patient ?CUT ?OBJ))
(exists (?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(and
(instance ?MOTION Motion)
(subProcess ?MOTION ?CUT)
(instance ?PART CuttingDevice)
(part ?PART ?SAW)
(meetsSpatially ?PART ?OBJ)
(patient ?MOTION ?PART)
(instance ?T2 TimeInterval)
(instance ?T2 TimeInterval)
(equal
(WhenFn ?MOTION) ?TIME)
(temporalPart ?TIME ?T1)
(temporalPart ?TIME ?T2)
(instance ?DIR1 DirectionalAttribute)
(instance ?DIR2 DirectionalAttribute)
(=>
(holdsDuring ?T1
(direction ?MOTION ?DIR1))
(holdsDuring ?T2
(and
(direction ?MOTION ?DIR2)
(or
(equal ?DIR1 ?DIR2)
(oppositeDirection ?DIR1 ?DIR2))
(not
(and
(equal ?DIR1 ?DIR2)
(oppositeDirection ?DIR1 ?DIR2))))))))) |
Mid-level-ontology.kif 18177-18211 |
- Wenn Object ist ein fall von Saw %n{nicht} und Process ist ein fall von Cutting %n{nicht} und ** Object ist ein instrument fuer ** Process %n{nicht} und ** Object ist ein fall von Object %n{nicht} und ** ** Object ist ein patient von ** Process %n{nicht},
- dann es gibt ** Process, Entity,, , ** Entity,, , TimeInterval,, , TimePosition,, , ** TimePosition, and und ** Object um ** ** Process ist ein fall von Motion %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ** Object ist ein fall von CuttingDevice %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und ** ** Object schliesst ** ** Object raeumlich an und ** ** Object ist ein patient von ** ** Process %n{nicht} und ** ** TimePosition ist ein fall von TimeInterval %n{nicht} und ** ** TimePosition ist ein fall von TimeInterval %n{nicht} und die zeit des Bestehens von ** ** Process ist gleich ** TimeInterval %n{nicht} und ** TimeInterval ist ein teil von ** TimePosition %n{nicht} und ** TimeInterval ist ein teil von ** ** TimePosition %n{nicht} und ** Entity ist ein fall von DirectionalAttribute %n{nicht} und ** ** Entity ist ein fall von DirectionalAttribute %n{nicht} und
|
(=>
(and
(instance ?TC TropicalCyclonicSystem)
(origin ?TC ?SEA)
(or
(instance ?SEA NorthAtlanticOcean)
(instance ?SEA PacificOcean)
(instance ?SEA IndianOcean)))
(not
(exists (?AREA ?DIR ?NUM ?LONG)
(and
(located ?AREA ?SEA)
(instance ?DIR DirectionalAttribute)
(objectGeographicCoordinates ?AREA
(LatitudeFn ?DIR
(MeasureFn ?NUM AngularDegree)) ?LONG)
(or
(equal ?DIR North)
(equal ?DIR South))
(lessThan ?NUM 5.0))))) |
Weather.kif 611-630 |
|
(=>
(instance ?C Compass)
(exists (?D)
(and
(instance ?D DirectionalAttribute)
(represents ?C ?D)))) |
Mid-level-ontology.kif 2257-2262 |
|
(=>
(instance ?PROC DirectionChange)
(exists (?ATTR)
(and
(instance ?ATTR DirectionalAttribute)
(or
(and
(holdsDuring
(BeginFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(EndFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR))))
(and
(holdsDuring
(EndFn
(WhenFn ?PROC))
(manner ?PROC ?ATTR))
(holdsDuring
(BeginFn
(WhenFn ?PROC))
(not
(manner ?PROC ?ATTR)))))))) |
Merge.kif 11325-11336 |
|