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 9852-9854
No TPTP formula. May not be expressible in strict first order. Merge.kif 9850-9850 Injuring is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 9849-9849 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 9872-9872 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 9863-9870 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 9856-9861

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26923-26943
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1914-1929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17754-17759
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 3462-3492
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8141-8146
No TPTP formula. May not be expressible in strict first order. Cars.kif 3499-3525
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1409-1429
No TPTP formula. May not be expressible in strict first order. Cars.kif 3403-3432
No TPTP formula. May not be expressible in strict first order. Cars.kif 3575-3599
No TPTP formula. May not be expressible in strict first order. Cars.kif 3649-3673
No TPTP formula. May not be expressible in strict first order. Cars.kif 3546-3568
No TPTP formula. May not be expressible in strict first order. Cars.kif 3369-3387
No TPTP formula. May not be expressible in strict first order. Cars.kif 3692-3721
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5508-5514


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