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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Injuring

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

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 9837-9839
No TPTP formula. May not be expressible in strict first order. Merge.kif 9835-9835 Injuring is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 9834-9834 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 9857-9857 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 9848-9855 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 9841-9846

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 19073-19078
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 8993-8998
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 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