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

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. 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 3462-3492
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 3499-3525
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 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 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