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

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


(range AbortedMissionFn MilitaryOperation) MilitaryProcesses.kif 2412-2412 任务中止range军事行动 的实例
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2342-2342 民政活动军事行动subclass
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2150-2150 反操作军事行动subclass
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 直接行动活动军事行动subclass
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49 食品配送业务军事行动subclass
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1886-1886 外国内部防御军事行动subclass
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1831-1831 信息操作军事行动subclass
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1697-1697 联合行动军事行动subclass
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422 军事攻击军事行动subclass
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1502-1502 运营计划军事行动subclass
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1104-1104 心理操作军事行动subclass
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673 ReconnaissanceOperation军事行动subclass
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80 安全行动军事行动subclass
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272 特别行动军事行动subclass
(termFormat ChineseLanguage MilitaryOperation "军事行动") domainEnglishFormat.kif 37573-37573
(termFormat ChineseTraditionalLanguage MilitaryOperation "軍事行動") domainEnglishFormat.kif 37572-37572
(termFormat EnglishLanguage MilitaryOperation "military operation") domainEnglishFormat.kif 37571-37571

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


(domain AbortedMissionFn 2 MilitaryOperation) MilitaryProcesses.kif 2411-2411 任务中止 的 2 数量 是 军事行动instance
(domain areaOfOperation 2 MilitaryOperation) MilitaryProcesses.kif 1314-1314 经营范围 的 2 数量 是 军事行动instance

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