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 2431-2431
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2361-2361
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2169-2169
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1905-1905
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1850-1850
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1716-1716
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1521-1521
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1105-1105
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272
(termFormat ChineseLanguage MilitaryOperation "军事行动") domainEnglishFormat.kif 37662-37662
(termFormat ChineseTraditionalLanguage MilitaryOperation "軍事行動") domainEnglishFormat.kif 37661-37661
(termFormat EnglishLanguage MilitaryOperation "military operation") domainEnglishFormat.kif 37660-37660

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


(domain AbortedMissionFn 2 MilitaryOperation) MilitaryProcesses.kif 2430-2430
(domain areaOfOperation 2 MilitaryOperation) MilitaryProcesses.kif 1315-1315

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


(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))
MilitaryProcesses.kif 1326-1331
(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))
MilitaryProcesses.kif 1794-1800
(=>
    (and
        (instance ?ORDER OperationOrder)
        (instance ?OPERATION MilitaryOperation))
    (hasPurpose ?ORDER
        (coordinates ?ORDER ?OPERATION)))
MilitaryProcesses.kif 1678-1683
(=>
    (and
        (instance ?PLAN OperationPlan)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PLAN)
        (instance ?OP MilitaryOperation)
        (result ?OP ?CBO))
    (represents ?PLAN ?OP))
MilitaryProcesses.kif 1573-1580
(=>
    (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 1293-1303


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