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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Destruction
Destruction

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 12299-12302
No TPTP formula. May not be expressible in strict first order. Merge.kif 12298-12298 子類 Destruction and Damaging

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12807-12807 相關的內部概念 Creation and Destruction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21814-21814 子類 縱火 and Destruction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21818-21818 子類 轟炸 and Destruction
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2433-2433 子類 ClosingGraphicalWindow and Destruction
No TPTP formula. May not be expressible in strict first order. Merge.kif 12313-12313 子類 Killing and Destruction
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 590-590 子類 精確破壞 and Destruction
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22120-22120 子類 人為破壞 and 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 12304-12311

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 11933-11944
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9628-9636
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 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 3.0 is open source software produced by Articulate Software and its partners