(=>
(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
|
oppositeDirection