consequent

(=>     (holdsDuring ?T         (attribute ?H PostTraumaticStressDisorder))     (exists (?V)         (and             (instance ?V ViolentContest)             (earlier                 (WhenFn ?V) ?T)             (involvedInEvent ?V ?H))))	Mid-level-ontology.kif 11070-11078	If PTSD is an attribute of an entity holds during a time interval, then there exists a process such that the process is an instance of violent contest and the time of existence of the process happens earlier than the time interval and the entity is an involved in event of the process
(=>     (instance ?ATTACK Attack)     (exists (?CONTEST)         (and             (instance ?CONTEST ViolentContest)             (subProcess ?ATTACK ?CONTEST))))	Merge.kif 13578-13583	If a process is an instance of attack, then there exists another process such that the other process is an instance of violent contest and the process is a subprocess of the other process
(=>     (instance ?BATTLE Battle)     (exists (?ATTACK)         (and             (instance ?ATTACK ViolentContest)             (subProcess ?ATTACK ?BATTLE))))	Merge.kif 13541-13546	If a process is an instance of battle, then there exists another process such that the other process is an instance of violent contest and the other process is a subprocess of the process
(=>     (instance ?DEFENSE DefensiveManeuver)     (exists (?CONTEST)         (and             (instance ?CONTEST ViolentContest)             (subProcess ?DEFENSE ?CONTEST))))	Merge.kif 13600-13605	If a process is an instance of defensive maneuver, then there exists another process such that the other process is an instance of violent contest and the process is a subprocess of the other process
(=>     (instance ?ORG MilitaryForce)     (capability ViolentContest agent ?ORG))	Merge.kif 16859-16861	If an object is an instance of military force, then the object is capable of doing violent contest as a agent
(=>     (instance ?PKU PeacekeepingUnit)     (capability         (KappaFn ?P             (and                 (instance ?P Process)                 (instance ?V ViolentContest)                 (prevents ?P ?V))) agent ?PKU))	Military.kif 89-96	If an object is an instance of peacekeeping unit, then the object is capable of doing the class described by a symbolic string as a agent
(=>     (instance ?X TerroristOrganization)     (exists (?EV)         (and             (instance ?EV ViolentContest)             (agent ?EV ?X))))	Mid-level-ontology.kif 24250-24255	If an agent is an instance of terrorist organization, then there exists a process such that the process is an instance of violent contest and the agent is an agent of the process

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners