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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MilitaryOperation

Sigma KEE - MilitaryOperation
MilitaryOperationعملِيّة, عملِيّة عسْكرِيّة,

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

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


(range AbortedMissionFn MilitaryOperation) MilitaryProcesses.kif 2399-2399
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2329-2329
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2137-2137
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 379-379
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1873-1873
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1818-1818
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1684-1684
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 413-413
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1489-1489
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1093-1093
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 662-662
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 263-263
(termFormat EnglishLanguage MilitaryOperation "military operation") domainEnglishFormat.kif 6699-6699

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


(domain AbortedMissionFn 2 MilitaryOperation) MilitaryProcesses.kif 2398-2398
(domain areaOfOperation 2 MilitaryOperation) MilitaryProcesses.kif 1303-1303

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