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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Destruction

Sigma KEE - Destruction
Destructionการทำลายล้าง, การทำให้พังพินาศ, การทำลาย, การขจัด, การดับเพลิง, การดับไฟ, การแท้งค้าง, การทำให้แท้ง, การทำลายทารกในครรภ์, การทำแท้งเพื่อรักษา, การบีบ, การบีบอัด, การอัด, การบด, ภารกิจค้นหาและทำลาย, การรื้อถอน, การทำลายพยานหลักฐาน, การทำลายล้าง, การกำจัดให้สิ้นซาก, การดับสิ้น, การสูญพันธุ์, การทำลาย, การรื้อถอน, การทำลาย, ความพินาศ, ความพังพินาศ, ความหายนะ, เปลี่ยแปลงทันที, เพิ่มขึ้นจนไม่อาจควบคุม, เพิ่มขึ้นโดยไม่อาจควบคุม, ระเบิดอยู่ภายใน, ระเบิดเสียงดัง, ระเบิด, ระเบิด, ระเบิด, แตก, แตกโป๊ะ, ลบ, ทำไม่เสร็จ, แตก...

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


(documentation Destruction ChineseLanguage "这是 Damagingsubclass,当中 patient (或者是 patient 的一样基本要素)受到破坏。注:这个概念和它的超类别之间的区别只在于程度的差别。") Merge.kif 12159-12160
(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 12155-12158
(subclass Destruction Damaging) Merge.kif 12154-12154

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


(relatedInternalConcept Creation Destruction) Merge.kif 12657-12657
(subclass Arson Destruction) Mid-level-ontology.kif 19544-19544
(subclass Bombing Destruction) Mid-level-ontology.kif 19548-19548
(subclass ClosingGraphicalWindow Destruction) ComputerInput.kif 2012-2012
(subclass Killing Destruction) Merge.kif 12171-12171
(subclass PreciseDestruction Destruction) MilitaryProcesses.kif 579-579
(subclass Vandalism Destruction) Mid-level-ontology.kif 19852-19852
(termFormat ChineseLanguage Destruction "摧毁") chinese_format.kif 1161-1161
(termFormat EnglishLanguage Destruction "destruction") english_format.kif 848-848
(termFormat FrenchLanguage Destruction "destruction") french_format.kif 839-839
(termFormat Hindi Destruction "vinaasha") terms-hindi.txt 371-371
(termFormat ItalianLanguage Destruction "Distruggere") terms-it.txt 372-372
(termFormat PortugueseLanguage Destruction "Destrucao") portuguese_format.kif 791-791
(termFormat cb Destruction "pagkaguba") terms-cb.txt 376-376
(termFormat cz Destruction "destruction") terms-cz.txt 410-410
(termFormat tg Destruction "pagsira") terms-tg.txt 375-375

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


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

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


(=>
    (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 9132-9139
(=>
    (instance ?DISMANTLE DismantlingWeaponOfMassDestruction)
    (exists (?PROCESS)
        (and
            (subProcess ?PROCESS ?DISMANTLE)
            (or
                (instance ?PROCESS Destruction)
                (instance ?PROCESS Removing)))))
WMD.kif 735-742


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