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


KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryOperation
MilitaryOperation(military operation)

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


(documentation MilitaryOperation EnglishLanguage "A MilitaryOperation is distinguished from the broader class of MilitaryProcess in that it is planned in advance.") Military.kif 19-21
(subclass MilitaryOperation MilitaryProcess) Military.kif 23-23 Military operation is a subclass of military process

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


(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49 Food distribution operation is a subclass of military operation
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80 Security operation is a subclass of military operation
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272 Special operation is a subclass of military operation
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 Direct action activity is a subclass of military operation
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422 Military assault is a subclass of military operation
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 692-692 Reconnaissance operation is a subclass of military operation
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1124-1124 Psychological operation is a subclass of military operation
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1540-1540 Operation planning is a subclass of military operation
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1735-1735 Joint operation is a subclass of military operation
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1869-1869 Information operation is a subclass of military operation
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1924-1924 Foreign internal defense is a subclass of military operation
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2187-2187 Counter operation is a subclass of military operation
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2381-2381 Civil affairs activity is a subclass of military operation
(range AbortedMissionFn MilitaryOperation) MilitaryProcesses.kif 2456-2456 The range of aborted mission is an instance of military operation
(termFormat EnglishLanguage MilitaryOperation "military operation") domainEnglishFormat.kif 37673-37673 The range of aborted mission is an instance of military operation
(termFormat ChineseTraditionalLanguage MilitaryOperation "軍事行動") domainEnglishFormat.kif 37674-37674 The range of aborted mission is an instance of military operation
(termFormat ChineseLanguage MilitaryOperation "军事行动") domainEnglishFormat.kif 37675-37675 The range of aborted mission is an instance of military operation

appearance as argument number 3
-------------------------


(domain areaOfOperation 2 MilitaryOperation) MilitaryProcesses.kif 1334-1334 The number 2 argument of area of operation is an instance of military operation
(domain AbortedMissionFn 2 MilitaryOperation) MilitaryProcesses.kif 2455-2455 The number 2 argument of aborted mission is an instance of military operation

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


(=>
    (instance ?MO MilitaryOperation)
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (represents ?PLAN ?MO))))		 Military.kif 25-30 If X is an instance of military operation, then there exists Y such that Y is an instance of plan and Y expresses X
(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))		 MilitaryProcesses.kif 1345-1350 If X is an instance of military operation, X is located at Y, and Y is an instance of region, then Y is the operational area for X
(=>
    (and
        (instance ?PLAN OperationPlan)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PLAN)
        (instance ?OP MilitaryOperation)
        (result ?OP ?CBO))
    (represents ?PLAN ?OP))		 MilitaryProcesses.kif 1592-1599 If X is an instance of operation plan, Y is an instance of content bearing object, Y contains information X, Z is an instance of military operation, and Y is a result of Z, then X expresses Z
(=>
    (and
        (instance ?ORDER OperationOrder)
        (instance ?OPERATION MilitaryOperation))
    (hasPurpose ?ORDER
        (coordinates ?ORDER ?OPERATION)))		 MilitaryProcesses.kif 1697-1702 If X is an instance of operation order and Y is an instance of military operation, then X has the purpose X coordinates Y
(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))		 MilitaryProcesses.kif 1813-1819 If X is an instance of OPLAN, X expresses Y, Y is an instance of military operation, and Z is a subprocess of Y, then X expresses Z

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


(=>
    (and
        (instance ?SHN SupportHNAssistance)
        (experiencer ?SHN ?HN)
        (instance ?HN HostNation))
    (exists (?OP)
        (and
            (instance ?OP MilitaryOperation)
            (instance ?OP Helping)
            (experiencer ?OP ?HN)
            (patient ?SHN ?OP))))		 MilitaryProcesses.kif 1312-1322 If X is an instance of support to HN assistance, Y experiences X, and Y is an instance of host nation, then there exists Z such that Z is an instance of military operation, Z is an instance of helping, Y experiences Z, and Z is a patient of X
(=>
    (instance ?CO CounterOperation)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS MilitaryOperation)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))		 MilitaryProcesses.kif 2193-2203 If X is an instance of counter operation, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an agent of X (3) Y (4) Z are enemies of each other (5) V is a subclass of military operation (6) W is an instance of V (7) Z is an agent of W (8) X prevents the occurrence of V


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