OPLAN - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OPLAN

OPLAN(OPLAN)

appearance as argument number 1

(disjoint OPLAN CONPLAN)	MilitaryProcesses.kif 1607-1607	OPLAN is disjoint from CONPLAN
(documentation OPLAN EnglishLanguage "An operation plan for the conduct of joint operations that can be used as a basis for development of an operation order (OPORD). An OPLAN identifies the forces and supplies required to execute the combatant commander's strategic concept and a movement schedule of these resources to the theater of operations. The forces and supplies are identified in TPFDD files. OPLANs will include all phases of the tasked operation. The plan is prepared with the appropriate annexes, appendixes, and TPFDD files as described in the Joint Operation Planning and Execution System manuals containing planning policies, procedures, and formats. Also called OPLAN. ")	MilitaryProcesses.kif 1783-1792	OPLAN is disjoint from CONPLAN
(subclass OPLAN OperationPlan)	MilitaryProcesses.kif 1782-1782	OPLAN is a subclass of operation plan

appearance as argument number 2

(termFormat ChineseLanguage OPLAN "OPLAN")	domainEnglishFormat.kif 42356-42356
(termFormat ChineseTraditionalLanguage OPLAN "OPLAN")	domainEnglishFormat.kif 42355-42355
(termFormat EnglishLanguage OPLAN "OPLAN")	domainEnglishFormat.kif 42354-42354

antecedent

(=> (and (instance ?OPLAN OPLAN) (represents ?OPLAN ?OP) (instance ?OP MilitaryOperation) (subProcess ?OPSUB ?OP)) (represents ?OPLAN ?OPSUB))	MilitaryProcesses.kif 1794-1800	If an entity is an instance of OPLAN and the entity expresses a process and the process is an instance of military operation and the processSUB is a subprocess of the process, then the entity expresses the processSUB
(=> (instance ?OPLAN OPLAN) (exists (?CBO) (and (instance ?CBO TPFDDFile) (containsInformation ?CBO ?OPLAN))))	MilitaryProcesses.kif 1802-1807	If a proposition is an instance of OPLAN, then there exists a content bearing physical such that the content bearing physical is an instance of TPFDD file and the content bearing physical contains information the proposition
(=> (instance ?PLAN OPLAN) (exists (?OP) (and (represents ?PLAN ?OP) (instance ?OP JointOperation))))	MilitaryProcesses.kif 1821-1826	If an entity is an instance of OPLAN, then there exists another entity such that the entity expresses the other entity and the other entity is an instance of joint operation

consequent

(=> (and (instance ?PLANNING JointOperationPlanning) (result ?PLANNING ?CBO) (instance ?CBO ContentBearingObject) (containsInformation ?CBO ?INFO)) (instance ?INFO OPLAN))	MilitaryProcesses.kif 1812-1818	If a process is an instance of joint 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 OPLAN
(=> (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 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