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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PreciseDestruction

Sigma KEE - PreciseDestruction
PreciseDestruction(precise destruction)

appearance as argument number 1
-------------------------


(documentation PreciseDestruction EnglishLanguage "These are operations in which collateral damage must be minimized, requiring highly sophisticated weapons and/ or timed detonation of specific amounts of explosives placed in exact locations to accomplish mission objectives. Precision destruction operations can be conducted against targets where precision-guided munitions cannot guarantee first strike success or when the contents of a facility must be destroyed without damage to that facility.") MilitaryProcesses.kif 591-598
(subclass PreciseDestruction Destruction) MilitaryProcesses.kif 590-590 Precise destruction is a subclass of destruction
(subclass PreciseDestruction DirectActionActivity) MilitaryProcesses.kif 589-589 Precise destruction is a subclass of direct action activity

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


(termFormat ChineseLanguage PreciseDestruction "精确破坏") domainEnglishFormat.kif 47030-47030
(termFormat ChineseTraditionalLanguage PreciseDestruction "精確破壞") domainEnglishFormat.kif 47029-47029
(termFormat EnglishLanguage PreciseDestruction "precise destruction") domainEnglishFormat.kif 47028-47028

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


(=>
    (and
        (instance ?DESTR PreciseDestruction)
        (agent ?DESTR ?AGENT))
    (exists (?WEAPON)
        (and
            (possesses ?AGENT ?WEAPON)
            (instrument ?DESTR ?WEAPON)
            (instance ?WEAPON HighPrecisionWeapon))))
MilitaryProcesses.kif 601-609
(=>
    (and
        (instance ?DESTR PreciseDestruction)
        (patient ?DESTR ?PATIENT))
    (hasPurpose ?DESTR
        (not
            (exists (?DAMAGING)
                (and
                    (instance ?DAMAGING Damaging)
                    (subProcess ?DAMAGING ?DESTR)
                    (patient ?DAMAGING ?DAMAGED)
                    (not
                        (equal ?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 618-630


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners