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 10347-10349
No TPTP formula. May not be expressible in strict first order. Merge.kif 10345-10345 Injuring is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 10344-10344 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 10374-10374 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 1389-1389

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10358-10365
No TPTP formula. May not be expressible in strict first order. Merge.kif 10351-10356

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10367-10372
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30211-30231
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1906-1921
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20783-20788
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 3448-3478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9032-9037
No TPTP formula. May not be expressible in strict first order. Cars.kif 3485-3511
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1437-1457
No TPTP formula. May not be expressible in strict first order. Cars.kif 3389-3418
No TPTP formula. May not be expressible in strict first order. Cars.kif 3562-3586
No TPTP formula. May not be expressible in strict first order. Cars.kif 3636-3660
No TPTP formula. May not be expressible in strict first order. Cars.kif 3533-3555
No TPTP formula. May not be expressible in strict first order. Cars.kif 3355-3373
No TPTP formula. May not be expressible in strict first order. Cars.kif 3679-3708
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5991-5997


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