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 13553-13558	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 13516-13521	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 13575-13580	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 16834-16836	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 24247-24252	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