(=>
(instance ?BATTLE Battle)
(exists (?ATTACK)
(and
(instance ?ATTACK ViolentContest)
(subProcess ?ATTACK ?BATTLE)))) |
Merge.kif 13675-13680 |
If X is an instance of battle, then there exists Y such that Y is an instance of violent contest and Y is a subprocess of X |
(=>
(instance ?ATTACK Attack)
(exists (?CONTEST)
(and
(instance ?CONTEST ViolentContest)
(subProcess ?ATTACK ?CONTEST)))) |
Merge.kif 13712-13717 |
If X is an instance of attack, then there exists Y such that Y is an instance of violent contest and X is a subprocess of Y |
(=>
(instance ?DEFENSE DefensiveManeuver)
(exists (?CONTEST)
(and
(instance ?CONTEST ViolentContest)
(subProcess ?DEFENSE ?CONTEST)))) |
Merge.kif 13734-13739 |
If X is an instance of defensive maneuver, then there exists Y such that Y is an instance of violent contest and X is a subprocess of Y |
(=>
(instance ?ORG MilitaryForce)
(capability ViolentContest agent ?ORG)) |
Merge.kif 17019-17021 |
If X is an instance of military force, then X is capable of doing violent contest as a agent |
(=>
(holdsDuring ?T
(attribute ?H PostTraumaticStressDisorder))
(exists (?V)
(and
(instance ?V ViolentContest)
(earlier
(WhenFn ?V) ?T)
(involvedInEvent ?V ?H)))) |
Mid-level-ontology.kif 11192-11200 |
If PTSD is an attribute of X holds during Y, then there exists Z such that Z is an instance of violent contest, the time of existence of Z happens earlier than Y, and X is an involved in event of Z |
(=>
(instance ?X TerroristOrganization)
(exists (?EV)
(and
(instance ?EV ViolentContest)
(agent ?EV ?X)))) |
Mid-level-ontology.kif 24904-24909 |
If X is an instance of terrorist organization, then there exists Y such that Y is an instance of violent contest and X is an agent of Y |
(=>
(instance ?PKU PeacekeepingUnit)
(capability
(KappaFn ?P
(and
(instance ?P Process)
(instance ?V ViolentContest)
(prevents ?P ?V))) agent ?PKU)) |
Military.kif 91-98 |
If X is an instance of peacekeeping unit, then X is capable of doing the class described by Y as a agent |
(=>
(instance ?S Warship)
(hasPurpose ?S
(exists (?V ?R)
(and
(instance ?V ViolentContest)
(eventLocated ?V ?R)
(instance ?R BodyOfWater)
(instrument ?V ?S))))) |
Military.kif 293-301 |
If X is an instance of warship, then X has the purpose there exist Y, Z such that Y is an instance of violent contest, Y is located at Z, Z is an instance of body of water, and X is an instrument for Y |
(=>
(instance ?D Destroyer)
(hasPurpose ?D
(exists (?P ?F)
(and
(instance ?P Protecting)
(instrument ?P ?D)
(patient ?P ?F)
(instance ?F Fleet)
(memberType ?F MilitaryWaterVehicle)
(capability ViolentContest instrument ?D))))) |
Military.kif 309-319 |
If X is an instance of Destroyer, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of protecting (3) X is an instrument for Y (4) Z is a patient of Y (5) Z is an instance of Fleet (6) military water vehicle is a member type of Z (7) X is capable of doing violent contest as a instrument |
(=>
(instance ?MV MilitarySupportVehicle)
(hasPurpose ?MV
(exists (?P)
(and
(instance ?P MilitaryProcess)
(involvedInEvent ?P ?MV)
(not
(exists (?A)
(and
(instance ?A ViolentContest)
(instrument ?A ?MV)))))))) |
Military.kif 466-477 |
If X is an instance of military support vehicle, then X has the purpose there exists Y such that Y is an instance of military process, X is an involved in event of Y, there doesn't exist Z such that Z is an instance of violent contest, and X is an instrument for Z |
ViolentContest
