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

Formal Language: 



KB Term:  Term intersection
English Word: 

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