Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OPLAN
OPLAN(OPLAN)OPLAN, OPLA_n

appearance as argument number 1
-------------------------


(disjoint OPLAN CONPLAN) MilitaryProcesses.kif 1575-1575 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 1751-1760
(subclass OPLAN OperationPlan) MilitaryProcesses.kif 1750-1750 OPLAN is a subclass of operation plan

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage OPLAN "OPLAN") domainEnglishFormat.kif 42229-42229 "OPLAN" is the printable form of OPLAN in ChineseLanguage
(termFormat ChineseTraditionalLanguage OPLAN "OPLAN") domainEnglishFormat.kif 42228-42228 "OPLAN" is the printable form of OPLAN in ChineseTraditionalLanguage
(termFormat EnglishLanguage OPLAN "OPLAN") domainEnglishFormat.kif 42227-42227 "OPLAN" is the printable form of OPLAN in english language

antecedent
-------------------------


(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))
MilitaryProcesses.kif 1762-1768
(=>
    (instance ?OPLAN OPLAN)
    (exists (?CBO)
        (and
            (instance ?CBO TPFDDFile)
            (containsInformation ?CBO ?OPLAN))))
MilitaryProcesses.kif 1770-1775
(=>
    (instance ?PLAN OPLAN)
    (exists (?OP)
        (and
            (represents ?PLAN ?OP)
            (instance ?OP JointOperation))))
MilitaryProcesses.kif 1789-1794

consequent
-------------------------


(=>
    (and
        (instance ?PLANNING JointOperationPlanning)
        (result ?PLANNING ?CBO)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?INFO))
    (instance ?INFO OPLAN))
MilitaryProcesses.kif 1780-1786
(=>
    (instance ?ORDER OperationOrder)
    (exists (?PLAN ?PLANNING)
        (and
            (instance ?PLAN OPLAN)
            (instance ?PLANNING OperationPlanning)
            (result ?PLANNING ?PLAN)
            (causes ?PLANNING ?ORDER)
            (refers ?PLAN ?ORDER))))
MilitaryProcesses.kif 1654-1662


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners