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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Injuring
Injuring(injuring)Meckel's_diverticulum, abacinate, abarticulation, abrasion, accidental_injury, animalise, animalize, antibiosis, atrocity, barbarism, barbarity, battle-scarred, bee_sting, birth_trauma, bite, black-and-blue, black_eye, blast_trauma, blighty_wound, blister, blunt_trauma, break, broken-backed, bruise, bruising, brutalise, brutality, brutalize, bump, burn, capillary_fracture, chafe, chafing, child_abuse, child_neglect, closed_fracture, colpocele, colpocystocele, combat_injury, comminuted_fracture, complete_fracture, compound_fracture, compression_fracture, concussion, contuse, contusion, cripple, crucifixion, cruelty, crush...

VerbNet: hurt-40.8.3|prick, break-45.1|fracture, carve-21.2|bruise, other_cos-45.4|burn, hurt-40.8.3|chafe, carve-21.2|bruise, orphan-29.7|cripple, break-45.1|crush, hurt-40.8.3|chafe, break-45.1|fracture, hurt-40.8.3|injure, break-45.1|crush, orphan-29.7|cripple, destroy-44|maim, destroy-44|mutilate, destroy-44|mutilate, hurt-40.8.3|pull, hurt-40.8.3|prick, hurt-40.8.3|pull, hurt-40.8.3|wrench, cut-21.1|scarify, hurt-40.8.3|skin, hurt-40.8.3|skin, hurt-40.8.3|wrench, hurt-40.8.3|prick, other_cos-45.4|burn, hurt-40.8.3|wrench, hurt-40.8.3|wrench, entity_specific_cos-45.5|blister, hurt-40.8.3|injure, hurt-40.8.3|wrench, hurt-40.8.3|wrench,


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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2925-2926
No TPTP formula. May not be expressible in strict first order. Merge.kif 9817-9819
No TPTP formula. May not be expressible in strict first order. Merge.kif 9815-9815 Injuring is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 9814-9814 Injuring is a subclass of pathologic process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9837-9837 Poisoning is a subclass of injuring
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1089-1089
No TPTP formula. May not be expressible in strict first order. english_format.kif 1394-1394

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9828-9835 A process is an instance of injuring if and only if the process is an instance of damaging and there exists an entity such that the entity is an instance of organism and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 9821-9826

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1896-1911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19067-19072
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1345-1353
No TPTP formula. May not be expressible in strict first order. Cars.kif 3423-3453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8991-8996
No TPTP formula. May not be expressible in strict first order. Cars.kif 3460-3486
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1873-1893
No TPTP formula. May not be expressible in strict first order. Cars.kif 3364-3393
No TPTP formula. May not be expressible in strict first order. Cars.kif 3536-3560
No TPTP formula. May not be expressible in strict first order. Cars.kif 3607-3631
No TPTP formula. May not be expressible in strict first order. Cars.kif 3507-3529
No TPTP formula. May not be expressible in strict first order. Cars.kif 3330-3348
No TPTP formula. May not be expressible in strict first order. Cars.kif 3650-3679
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6108-6114


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