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 10429-10431
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1675-1676
No TPTP formula. May not be expressible in strict first order. Merge.kif 10427-10427 Injuring is a subclass of damaging
No TPTP formula. May not be expressible in strict first order. Merge.kif 10426-10426 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 10456-10456 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
No TPTP formula. May not be expressible in strict first order. french_format.kif 767-767
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 299-299
No TPTP formula. May not be expressible in strict first order. terms-it.txt 302-302
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2451-2451
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 719-719
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 304-304
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 338-338
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 788-788
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 303-303

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 104-111
No TPTP formula. May not be expressible in strict first order. Merge.kif 10440-10447
No TPTP formula. May not be expressible in strict first order. Merge.kif 10433-10438

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3447-3476
No TPTP formula. May not be expressible in strict first order. Merge.kif 10449-10454
No TPTP formula. May not be expressible in strict first order. Cars.kif 3389-3417
No TPTP formula. May not be expressible in strict first order. Medicine.kif 698-715
No TPTP formula. May not be expressible in strict first order. Cars.kif 3531-3552
No TPTP formula. May not be expressible in strict first order. Medicine.kif 403-410
No TPTP formula. May not be expressible in strict first order. Medicine.kif 425-432
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30707-30727
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 21382-21387
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. Medicine.kif 828-844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9389-9394
No TPTP formula. May not be expressible in strict first order. Cars.kif 3482-3509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1472-1492
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6290-6298
No TPTP formula. May not be expressible in strict first order. Cars.kif 3558-3582
No TPTP formula. May not be expressible in strict first order. Cars.kif 3632-3656
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 3675-3704
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6284-6290


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