TreeView Knowledge Base Browser - OperationPlanning

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

OperationPlanning

Sigma KEE - OperationPlanning

OperationPlanning(operation planning)

appearance as argument number 1

(documentation OperationPlanning EnglishLanguage "The Process of planning a military operation. This involves military personell. The result of the planning process is a an OperationPlan")	MilitaryProcesses.kif 1523-1525
(subclass OperationPlanning MilitaryOperation)	MilitaryProcesses.kif 1521-1521	Operation planning is a subclass of military operation
(subclass OperationPlanning Planning)	MilitaryProcesses.kif 1522-1522	Operation planning is a subclass of planning

appearance as argument number 2

(subclass JointOperationPlanning OperationPlanning)	MilitaryProcesses.kif 1762-1762	Joint operation planning is a subclass of operation planning
(termFormat ChineseLanguage OperationPlanning "运营计划")	domainEnglishFormat.kif 42283-42283	Joint operation planning is a subclass of operation planning
(termFormat ChineseTraditionalLanguage OperationPlanning "運營計劃")	domainEnglishFormat.kif 42282-42282	Joint operation planning is a subclass of operation planning
(termFormat EnglishLanguage OperationPlanning "operation planning")	domainEnglishFormat.kif 42281-42281	Joint operation planning is a subclass of operation planning

antecedent

(=> (and (instance ?EVENT OperationPlanning) (result ?EVENT ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OperationPlan))	MilitaryProcesses.kif 1527-1533	If a process is an instance of operation planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object and the content bearing physical contains information a proposition, then the proposition is an instance of operation plan
(=> (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 1582-1604	If a process is an instance of operation planning and an agent is an agent of the process, then the agent is an instance of combatant commander and there exist another process and another agent such that the other process is an instance of requesting and the other agent is an agent of the other process and chairmanJC s is an attribute of the other agent and the other process causes the process or the agent is an instance of subunified commander and there exist the other process, the agentSUPER and an organization such that the other process is an instance of requesting and the agentSUPER is an agent of the other process and military commander is an attribute of the agentSUPER and the organization is subordinate position the agent for the agentSUPER and the organization is an instance of military force and the other process causes the process
(=> (and (instance ?STRAT CounterTerrorismStrategy) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?STRAT)) (exists (?CT) (and (patient ?PLANNING ?CT) (instance ?CT CounterTerrorism))))	MilitaryProcesses.kif 2082-2090	If an entity is an instance of counter terrorism strategy and a process is an instance of operation planning and the entity is a result of the process, then there exists another entity such that the other entity is a patient of the process and the other entity is an instance of counter terrorism

consequent

(=> (and (instance ?PLAN OperationPlan) (containsInformation ?CBO ?PLAN) (instance ?CBO ContentBearingObject) (result ?EVENT ?CBO)) (instance ?EVENT OperationPlanning))	MilitaryProcesses.kif 1535-1541	If a proposition is an instance of operation plan and a content bearing physical contains information the proposition and the content bearing physical is an instance of content bearing object and the content bearing physical is a result of a process, then the process is an instance of operation planning
(=> (instance ?ORDER OperationOrder) (exists (?PLAN ?PLANNING) (and (instance ?PLAN OPLAN) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?PLAN) (causes ?PLANNING ?ORDER) (refers ?PLAN ?ORDER))))	MilitaryProcesses.kif 1686-1694	If a process is an instance of operation order, then there exist an entity and the entityNING such that the entity is an instance of OPLAN and the entityNING is an instance of operation planning and the entity is a result of the entityNING and the entityNING causes the process and the entity includes a reference to the process

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

Show without tree

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