direction
|
|
Sigma KEE - direction
appearance as argument number 1
|
|
appearance as argument number 2
|
|
antecedent
|
|
(=>
(and
(instance ?T Tornado)
(instance ?R Rotating)
(instance ?A Air)
(instance ?TRAN Translocation)
(subProcess ?R ?T)
(subProcess ?TRAN ?R)
(patient ?TRAN ?A)
(direction ?TRAN Horizontal))
(exists (?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(and
(instance ?G GeographicArea)
(eventLocated ?T ?G)
(part ?FUNNEL ?A)
(attribute ?FUNNEL ConeSegment)
(top ?TOP ?FUNNEL)
(bottom ?BOTTOM ?FUNNEL)
(instance ?C Cloud)
(bottom ?BASE ?C)
(meetsSpatially ?TOP ?BASE)
(meetsSpatially ?BOTTOM ?G)))) |
Weather.kif 1651-1672 |
- Wenn Process ist ein fall von Tornado %n{nicht} und ** Process ist ein fall von Rotating %n{nicht} und Object ist ein fall von Air %n{nicht} und ** ProcessRAN ist ein fall von Translocation %n{nicht} und ** ** Process ist ein subProzess von ** Process und ** ProcessRAN ist ein subProzess von ** ** Process und ** Object ist ein patient von ** ProcessRAN %n{nicht} und Wesen bei ** ProcessRAN bewegen Horizontal,
- dann es gibt ** Object, SelfConnectedObject,, , ** ProcessOP,, , ** SelfConnectedObject,, , ** SelfConnectedObject, and und ** SelfConnectedObject um ** ** Object ist ein fall von GeographicArea %n{nicht} und eventLocated ** Process and ** ** Object und ** SelfConnectedObject ist ein teil von ** Object %n{nicht} und ConeSegment ist ein attribut von ** SelfConnectedObject %n{nicht} und die oberseite von ** SelfConnectedObject ist ** ProcessOP und die unterseite von ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ** SelfConnectedObject ist ein fall von Cloud %n{nicht} und die unterseite von ** ** SelfConnectedObject ist ** ** SelfConnectedObject und ** ProcessOP schliesst ** ** SelfConnectedObject raeumlich an und ** ** SelfConnectedObject schliesst ** ** Object raeumlich an
|
(=>
(holdsDuring ?TIME
(direction ?PROC ?ATTR1))
(forall (?ATTR2)
(=>
(holdsDuring ?TIME
(direction ?PROC ?ATTR2))
(equal ?ATTR2 ?ATTR1)))) |
Merge.kif 16946-16951 |
|
consequent
|
|
(=>
(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 18150-18184 |
- 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
|
(=>
(holdsDuring ?TIME
(direction ?PROC ?ATTR1))
(forall (?ATTR2)
(=>
(holdsDuring ?TIME
(direction ?PROC ?ATTR2))
(equal ?ATTR2 ?ATTR1)))) |
Merge.kif 16946-16951 |
|
(=>
(instance ?CS CyclonicStorm)
(exists (?R ?A ?TRAN ?T)
(and
(instance ?R Rotating)
(instance ?A Air)
(instance ?TRAN Translocation)
(subProcess ?R ?T)
(subProcess ?TRAN ?R)
(patient ?TRAN ?A)
(direction ?TRAN Horizontal)))) |
Weather.kif 560-570 |
|
|
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|