consequent

(=>     (holdsDuring ?NOW         (attribute ?P CivilianInternee))     (not         (holdsDuring ?NOW             (instance ?P MilitaryForce))))	MilitaryPersons.kif 324-329	If civilian internee is an attribute of X holds during Y, then X is not an instance of military force doesn't hold during Y
(=>     (instance ?HN HostNation)     (exists (?GETTING ?FORCES ?OTHERNATION ?MILITARY)         (and             (instance ?OTHERNATION Nation)             (instance ?MILITARY MilitaryForce)             (militaryOfArea ?MILITARY ?OTHERNATION)             (subOrganization ?FORCES ?MILITARY)             (not                 (equal ?HN ?OTHERNATION))             (not                 (enemy ?HN ?OTHERNATION))             (instance ?GETTING Getting)             (agent ?GETTING ?HN)             (patient ?GETTING ?FORCES)             (instance ?FORCES MilitaryForce)             (located ?FORCES ?HN))))	MilitaryProcesses.kif 1379-1395	If X is an instance of host nation, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that W is an instance of nation (3) V is an instance of military force (4) W is a military of area of V (5) Z is a part of the organization V (6) equal X (7) W (8) X (9) W are not enemies of each other (10) Y is an instance of getting (11) X is an agent of Y (12) Z is a patient of Y (13) Z is an instance of military force (14) Z is located at X
(=>     (instance ?OP MilitaryProcess)     (exists (?FORCE)         (and             (agent ?OP ?FORCE)             (instance ?FORCE MilitaryForce))))	MilitaryProcesses.kif 1536-1541	If X is an instance of military process, then there exists Y such that Y is an agent of X and Y is an instance of military force
(=>     (and         (instance ?PLANNING OperationPlanning)         (agent ?PLANNING ?COMMANDER))     (or         (and             (instance ?COMMANDER CombatantCommander)             (exists (?REQUEST ?CHAIRMAN)                 (and                     (instance ?REQUEST Requesting)                     (agent ?REQUEST ?CHAIRMAN)                     (attribute ?CHAIRMAN ChairmanJCS)                     (causes ?REQUEST ?PLANNING))))         (and             (instance ?COMMANDER SubunifiedCommander)             (exists (?REQUEST ?COMMANDERSUPER ?MILITARY)                 (and                     (instance ?REQUEST Requesting)                     (agent ?REQUEST ?COMMANDERSUPER)                     (attribute ?COMMANDERSUPER MilitaryCommander)                     (subordinatePosition ?MILITARY ?COMMANDER ?COMMANDERSUPER)                     (instance ?MILITARY MilitaryForce)                     (causes ?REQUEST ?PLANNING))))))	MilitaryProcesses.kif 1604-1626	If X is an instance of operation planning and Y is an agent of X, then Y is an instance of combatant commander and there exist Z, W such that Z is an instance of requesting, W is an agent of Z, chairmanJC s is an attribute of W, and Z causes X or Y is an instance of subunified commander and All of the following hold: (1) there exist Z, V (2) U such that Z is an instance of requesting (3) V is an agent of Z (4) military commander is an attribute of V (5) U is subordinate position Y for V (6) U is an instance of military force (7) Z causes X
(=>     (instance ?ORDER OperationOrder)     (exists (?SUPERIORCOMMANDER ?SUBORDINATECOMMANDER ?MILITARY)         (and             (agent ?ORDER ?SUPERIORCOMMANDER)             (origin ?ORDER ?SUPERIORCOMMANDER)             (destination ?ORDER ?SUBORDINATECOMMANDER)             (instance ?SUPERIORCOMMANDER MilitaryCommander)             (instance ?SUBORDINATECOMMANDER MilitaryCommander)             (subordinatePosition ?MILITARY ?SUBORDINATECOMMANDER ?SUPERIORCOMMANDER)             (instance ?MILITARY MilitaryForce))))	MilitaryProcesses.kif 1685-1695	If X is an instance of operation order, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) X originates at Y (4) X ends up at Z (5) Y is an instance of military commander (6) Z is an instance of military commander (7) W is subordinate position Z for Y (8) W is an instance of military force
(=>     (and         (instance ?FID ForeignInternalDefense)         (agent ?FID ?MIL)         (experiencer ?FID ?HN))     (hasPurpose ?FID         (exists (?ORG ?LEARNING)             (and                 (instance ?LEARNING Learning)                 (experiencer ?LEARNING ?ORG)                 (agent ?LEARNING ?MIL)                 (or                     (militaryOfArea ?ORG ?HN)                     (and                         (instance ?ORG MilitaryForce)                         (located ?ORG ?HN)))))))	MilitaryProcesses.kif 1983-1998	If X is an instance of foreign internal defense, Y is an agent of X, and Z experiences X, then X has the purpose there exist W, V such that V is an instance of learning, W experiences V, Y is an agent of V, Z is a military of area of W or W is an instance of military force, and W is located at Z
(=>     (instance ?B MilitaryBase)     (exists (?F)         (and             (instance ?F MilitaryForce)             (possesses ?F ?B))))	MilitaryProcesses.kif 2792-2797	If X is an instance of military base, then there exists Y such that Y is an instance of military force and Y possesses X

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners