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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Destruction

Sigma KEE - Destruction
Destruction(destruction)abolishment, abolition, aborticide, abortion, annihilated, annihilating, annihilation, annihilative, atomisation, atomization, bang_up, blotted_out, blow, blow_out, blow_up, break_apart, break_in, break_open, break_up, burn, burn_down, burn_out, burst, bust, bust_up, cataclysmal, cataclysmic, compaction, consume, crack, crash, crump, crunch, crush, decimation, demolish, demolished, demolishing, demolition, demyelinate, depredation, deracinate, desolation, despoil, destroy, destruct, destruction, destructively, detonate, devastating...

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


(documentation Destruction ChineseLanguage "这是 Damagingsubclass,当中 patient (或者是 patient 的一样基本要素)受到破坏。注:这个概念和它的超类别之间的区别只在于程度的差别。") chinese_format.kif 3155-3156
(documentation Destruction EnglishLanguage "The subclass of Damagings in which the patient (or an essential element of the patient) is destroyed. Note that the difference between this concept and its superclass is solely one of extent.") Merge.kif 12047-12050
(subclass Destruction Damaging) Merge.kif 12046-12046 Destruction is a subclass of damaging

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


(relatedInternalConcept Creation Destruction) Merge.kif 12547-12547 Creation is internally related to destruction
(subclass Arson Destruction) Mid-level-ontology.kif 21293-21293 Arson is a subclass of destruction
(subclass Bombing Destruction) Mid-level-ontology.kif 21297-21297 Bombing is a subclass of destruction
(subclass ClosingGraphicalWindow Destruction) ComputerInput.kif 2430-2430 ClosingGraphicalWindow is a subclass of destruction
(subclass Killing Destruction) Merge.kif 12061-12061 Killing is a subclass of destruction
(subclass PreciseDestruction Destruction) MilitaryProcesses.kif 590-590 Precise destruction is a subclass of destruction
(subclass Vandalism Destruction) Mid-level-ontology.kif 21598-21598 Vandalism is a subclass of destruction
(termFormat ChineseLanguage Destruction "摧毁") chinese_format.kif 1161-1161
(termFormat EnglishLanguage Destruction "destruction") english_format.kif 1539-1539

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


(=>
    (instance ?PROCESS Destruction)
    (exists (?PATIENT)
        (and
            (patient ?PROCESS ?PATIENT)
            (time ?PATIENT
                (BeginFn
                    (WhenFn ?PROCESS)))
            (not
                (time ?PATIENT
                    (EndFn
                        (WhenFn ?PROCESS)))))))
Merge.kif 12052-12059

consequent
-------------------------


(=>
    (and
        (instance ?S Stroke)
        (instance ?B Brain)
        (located ?S ?B))
    (exists (?N ?D)
        (and
            (instance ?N NerveCell)
            (located ?N ?B)
            (instance ?D Destruction)
            (subProcess ?D ?S)
            (patient ?D ?N))))
Mid-level-ontology.kif 11415-11426
(=>
    (instance ?BODY Antibody)
    (hasPurpose ?BODY
        (exists (?DEST ?ANTI)
            (and
                (instance ?DEST Destruction)
                (agent ?DEST ?BODY)
                (patient ?DEST ?ANTI)
                (instance ?ANTI Antigen)))))
Mid-level-ontology.kif 9225-9233
(=>
    (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)
    (exists (?PROCESS)
        (and
            (subProcess ?PROCESS ?DISMANTLE)
            (or
                (instance ?PROCESS Destruction)
                (instance ?PROCESS Removing)))))
WMD.kif 741-748


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