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 subclass MilitaryOperation and MilitaryProcess

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


(range AbortedMissionFn MilitaryOperation) MilitaryProcesses.kif 2412-2412 range AbortedMissionFn and MilitaryOperation
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2342-2342 subclass CivilAffairsActivity and MilitaryOperation
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2150-2150 subclass CounterOperation and MilitaryOperation
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 subclass DirectActionActivity and MilitaryOperation
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49 subclass FoodDistributionOperation and MilitaryOperation
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1886-1886 subclass ForeignInternalDefense and MilitaryOperation
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1831-1831 subclass InformationOperation and MilitaryOperation
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1697-1697 subclass JointOperation and MilitaryOperation
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422 subclass MilitaryAssault and MilitaryOperation
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1502-1502 subclass OperationPlanning and MilitaryOperation
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1104-1104 subclass PsychologicalOperation and MilitaryOperation
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673 subclass ReconnaissanceOperation and MilitaryOperation
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80 subclass SecurityOperation and MilitaryOperation
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272 subclass SpecialOperation and MilitaryOperation
(termFormat ChineseLanguage MilitaryOperation "军事行动") domainEnglishFormat.kif 37597-37597 termFormat ChineseLanguage, MilitaryOperation and "军事行动"
(termFormat ChineseTraditionalLanguage MilitaryOperation "軍事行動") domainEnglishFormat.kif 37596-37596 termFormat ChineseTraditionalLanguage, MilitaryOperation and "軍事行動"
(termFormat EnglishLanguage MilitaryOperation "military operation") domainEnglishFormat.kif 37595-37595 termFormat EnglishLanguage, MilitaryOperation and "military operation"

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


(domain AbortedMissionFn 2 MilitaryOperation) MilitaryProcesses.kif 2411-2411 domain AbortedMissionFn, 2 and MilitaryOperation
(domain areaOfOperation 2 MilitaryOperation) MilitaryProcesses.kif 1314-1314 domain areaOfOperation, 2 and MilitaryOperation

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


(=>
    (and
        (instance ?OP MilitaryOperation)
        (eventLocated ?OP ?REGION)
        (instance ?REGION Region))
    (areaOfOperation ?REGION ?OP))
MilitaryProcesses.kif 1325-1330
(=>
    (and
        (instance ?OPLAN OPLAN)
        (represents ?OPLAN ?OP)
        (instance ?OP MilitaryOperation)
        (subProcess ?OPSUB ?OP))
    (represents ?OPLAN ?OPSUB))
MilitaryProcesses.kif 1775-1781
(=>
    (and
        (instance ?ORDER OperationOrder)
        (instance ?OPERATION MilitaryOperation))
    (hasPurpose ?ORDER
        (coordinates ?ORDER ?OPERATION)))
MilitaryProcesses.kif 1659-1664
(=>
    (and
        (instance ?PLAN OperationPlan)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PLAN)
        (instance ?OP MilitaryOperation)
        (result ?OP ?CBO))
    (represents ?PLAN ?OP))
MilitaryProcesses.kif 1554-1561
(=>
    (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 1292-1302


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