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 MilitaryOperation è una sottoclasse di ProcessoMilitare

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


(range AbortedMissionFn MilitaryOperation) MilitaryProcesses.kif 2432-2432 rango di AbortedMissionFn è un'istanza di MilitaryOperation
(subclass CivilAffairsActivity MilitaryOperation) MilitaryProcesses.kif 2362-2362 CivilAffairsActivity è una sottoclasse di MilitaryOperation
(subclass CounterOperation MilitaryOperation) MilitaryProcesses.kif 2168-2168 CounterOperation è una sottoclasse di MilitaryOperation
(subclass DirectActionActivity MilitaryOperation) MilitaryProcesses.kif 388-388 DirectActionActivity è una sottoclasse di MilitaryOperation
(subclass FoodDistributionOperation MilitaryOperation) Military.kif 49-49 FoodDistributionOperation è una sottoclasse di MilitaryOperation
(subclass ForeignInternalDefense MilitaryOperation) MilitaryProcesses.kif 1905-1905 ForeignInternalDefense è una sottoclasse di MilitaryOperation
(subclass InformationOperation MilitaryOperation) MilitaryProcesses.kif 1850-1850 InformationOperation è una sottoclasse di MilitaryOperation
(subclass JointOperation MilitaryOperation) MilitaryProcesses.kif 1716-1716 JointOperation è una sottoclasse di MilitaryOperation
(subclass MilitaryAssault MilitaryOperation) MilitaryProcesses.kif 422-422 MilitaryAssault è una sottoclasse di MilitaryOperation
(subclass OperationPlanning MilitaryOperation) MilitaryProcesses.kif 1521-1521 OperationPlanning è una sottoclasse di MilitaryOperation
(subclass PsychologicalOperation MilitaryOperation) MilitaryProcesses.kif 1105-1105 PsychologicalOperation è una sottoclasse di MilitaryOperation
(subclass ReconnaissanceOperation MilitaryOperation) MilitaryProcesses.kif 673-673 ReconnaissanceOperation è una sottoclasse di MilitaryOperation
(subclass SecurityOperation MilitaryOperation) Military.kif 80-80 SecurityOperation è una sottoclasse di MilitaryOperation
(subclass SpecialOperation MilitaryOperation) MilitaryProcesses.kif 272-272 SpecialOperation è una sottoclasse di MilitaryOperation
(termFormat ChineseLanguage MilitaryOperation "军事行动") domainEnglishFormat.kif 37673-37673
(termFormat ChineseTraditionalLanguage MilitaryOperation "軍事行動") domainEnglishFormat.kif 37672-37672
(termFormat EnglishLanguage MilitaryOperation "military operation") domainEnglishFormat.kif 37671-37671

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


(domain AbortedMissionFn 2 MilitaryOperation) MilitaryProcesses.kif 2431-2431 Il numero 2 argomenti di AbortedMissionFn è un istanza di MilitaryOperation
(domain areaOfOperation 2 MilitaryOperation) MilitaryProcesses.kif 1315-1315 Il numero 2 argomenti di areaOfOperation è un istanza di MilitaryOperation

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
(=>
    (instance ?CO CounterOperation)
    (hasPurpose ?CO
        (exists (?AGENT ?ENEMY ?OP ?CLASS)
            (and
                (agent ?CO ?AGENT)
                (enemy ?AGENT ?ENEMY)
                (subclass ?CLASS MilitaryOperation)
                (instance ?OP ?CLASS)
                (agent ?OP ?ENEMY)
                (prevents ?CO ?CLASS)))))		 MilitaryProcesses.kif 2174-2184


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 3.0 is open source software produced by Articulate Software and its partners