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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MilitaryOperation
MilitaryOperation(military operation)military_operation, 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
-------------------------


(range AbortedMissionFn MilitaryOperation) MilitaryProcesses.kif 2399-2399 The range of aborted mission is an instance of military operation
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2329-2329 Civil affairs activity is a subclass of military operation
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2137-2137 Counter operation is a subclass of military operation
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 379-379 Direct action activity is a subclass of military operation
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49 Food distribution operation is a subclass of military operation
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1873-1873 Foreign internal defense is a subclass of military operation
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1818-1818 Information operation is a subclass of military operation
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1684-1684 Joint operation is a subclass of military operation
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 413-413 Military assault is a subclass of military operation
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1489-1489 Operation planning is a subclass of military operation
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1093-1093 Psychological operation is a subclass of military operation
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 662-662 Reconnaissance 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 263-263 Special operation is a subclass of military operation
(termFormat EnglishLanguage MilitaryOperation "military operation") domainEnglishFormat.kif 6699-6699 "military operation" is the printable form of military operation in english language

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


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

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


(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))
MilitaryProcesses.kif 1314-1319
(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))
MilitaryProcesses.kif 1762-1768
(=>
    (and
        (instance ?ORDER OperationOrder)
        (instance ?OPERATION MilitaryOperation))
    (hasPurpose ?ORDER
        (coordinates ?ORDER ?OPERATION)))
MilitaryProcesses.kif 1646-1651
(=>
    (and
        (instance ?PLAN OperationPlan)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PLAN)
        (instance ?OP MilitaryOperation)
        (result ?OP ?CBO))
    (represents ?PLAN ?OP))
MilitaryProcesses.kif 1541-1548
(=>
    (instance ?MO MilitaryOperation)
    (exists (?PLAN)
        (and
            (instance ?PLAN Plan)
            (represents ?PLAN ?MO))))
Military.kif 25-30

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 1281-1291


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