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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3155-3156
No TPTP formula. May not be expressible in strict first order. Merge.kif 12277-12280
No TPTP formula. May not be expressible in strict first order. Merge.kif 12276-12276 Destruction is a subclass of damaging

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12785-12785 Creation is internally related to destruction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21815-21815 Arson is a subclass of destruction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21819-21819 Bombing is a subclass of destruction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2433-2433 Closing graphical window is a subclass of destruction
No TPTP formula. May not be expressible in strict first order. Merge.kif 12291-12291 Killing is a subclass of destruction
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 590-590 Precise destruction is a subclass of destruction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22121-22121 Vandalism is a subclass of destruction
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1161-1161
No TPTP formula. May not be expressible in strict first order. english_format.kif 1539-1539
No TPTP formula. May not be expressible in strict first order. french_format.kif 839-839
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 371-371
No TPTP formula. May not be expressible in strict first order. terms-it.txt 374-374
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2523-2523
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 791-791
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 376-376
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 410-410
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 860-860
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 375-375

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12282-12289

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2200-2216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11934-11945
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9629-9637
No TPTP formula. May not be expressible in strict first order. WMD.kif 741-748
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3750-3762


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