(=>
(and
(instance ?D Dodging)
(agent ?D ?A)
(equal ?DT
(WhenFn ?D)))
(hasPurpose ?D
(not
(exists (?I)
(and
(or
(meetsTemporally ?DT
(WhenFn ?I))
(overlapsTemporally ?DT
(WhenFn ?I)))
(instance ?I Impacting)
(patient ?I ?A)))))) |
Mid-level-ontology.kif 443-456 |
|
(=>
(and
(instance ?KL KnockLight)
(instance ?A Human)
(attribute ?A Deaf)
(uses ?KL ?A))
(hasPurpose ?KL
(exists (?KNOCK ?DOOR)
(and
(instance ?KNOCK Impacting)
(patient ?KNOCK ?DOOR)
(instance ?DOOR Door)
(knows ?A ?KNOCK))))) |
Mid-level-ontology.kif 26104-26116 |
|
(=>
(and
(instance ?KL KnockLight)
(located ?KL ?ROOM)
(instance ?ROOM Room)
(instance ?DOOR Door)
(part ?DOOR ?ROOM))
(hasPurpose ?KL
(exists (?KNOCK ?SOUND ?LIGHT)
(and
(instance ?KNOCK Impacting)
(patient ?KNOCK ?DOOR)
(causes ?KNOCK ?SOUND)
(instance ?SOUND RadiatingSound)
(agent ?SOUND ?DOOR)
(causes ?SOUND ?LIGHT)
(instance ?LIGHT RadiatingVisibleLight)
(instrument ?LIGHT ?KL))))) |
Mid-level-ontology.kif 26085-26102 |
|
(=>
(and
(instance ?MOTION Ducking)
(agent ?MOTION ?AGENT))
(hasPurpose ?MOTION
(not
(exists (?IMPACT)
(and
(instance ?IMPACT Impacting)
(patient ?IMPACT ?AGENT)))))) |
Mid-level-ontology.kif 13342-13349 |
|
(=>
(instance ?C Crushing)
(exists (?I ?C ?O)
(and
(instance ?I Impacting)
(subProcess ?C ?I)
(instance ?C Compressing)
(patient ?I ?O)
(patient ?C ?O)
(instance ?O Object)))) |
Food.kif 969-978 |
|
(=>
(instance ?D Drumming)
(exists (?A ?DRUM ?I)
(and
(agent ?D ?A)
(instrument ?D ?DRUM)
(subProcess ?I ?D)
(agent ?I ?A)
(patient ?I ?DRUM)
(instance ?I Impacting)
(instance ?DRUM Drum)))) |
Music.kif 1365-1375 |
|
(=>
(instance ?X AutoAirbag)
(hasPurpose ?X
(exists (?CAR ?PERSON ?IMP ?INF ?INJ ?HIT)
(and
(instance ?CAR Automobile)
(part ?X ?CAR)
(instance ?PERSON Human)
(contains ?CAR ?PERSON)
(instance ?IMP Impacting)
(patient ?IMP ?CAR)
(instance ?INF Inflating)
(patient ?INF ?X)
(causes ?IMP ?INF)
(hinders ?INF
(KappaFn ?INJ
(and
(instance ?INJ Injuring)
(experiencer ?INJ ?PERSON)
(exists (?HIT)
(and
(instance ?HIT Impacting)
(destination ?HIT ?CAR)
(experiencer ?HIT ?PERSON)
(causes ?HIT ?INJ)))))))))) |
Cars.kif 3617-3641 |
- If a physical is an instance of airbag,
- then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by the fifth entity
|
(=>
(instance ?X SeatBelt)
(hasPurpose ?X
(exists (?PERSON ?STOP ?VEHICLE ?M)
(and
(instance ?VEHICLE Vehicle)
(part ?X ?VEHICLE)
(instance ?PERSON Human)
(contains ?VEHICLE ?PERSON)
(instance ?STOP Process)
(prevents ?STOP
(KappaFn ?M
(and
(instance ?M Translocation)
(patient ?M ?PERSON)
(exists (?COLLISION)
(and
(or
(instance ?COLLISION Decelerating)
(instance ?COLLISION Impacting))
(experiencer ?COLLISION ?VEHICLE)
(causes ?COLLISION ?M)))
(modalAttribute
(exists (?INJ ?IMP)
(and
(instance ?INJ Injuring)
(instance ?IMP Impacting)
(causes ?M ?INJ)
(patient ?INJ ?PERSON)
(subProcess ?IMP ?INJ))) Possibility)))))))) |
Cars.kif 3660-3689 |
|
