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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Injuring
InjuringFerir, Meckel's_diverticulum, Trauma, 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, blesser, blighty_wound, blister, blunt_trauma, break, broken-backed, bruise, bruising, brutalise, brutality, brutalize, bump, burn, capillary_fracture, chafe, chafing, child_abuse, child_neglect, chota, closed_fracture, colpocele, colpocystocele, combat_injury, comminuted_fracture, complete_fracture, compound_fracture, compression_fracture, concussion, contuse, contusion...

appearance as argument number 1
-------------------------


s__documentation(s__Injuring,s__ChineseLanguage,'导致外伤性的创伤或伤害。因为 Injuring 不可能不对生物 的某些物理功能造成伤害,所以它属于 BiologicalProcess 的子类别。')

Merge.kif 10413-10414
s__documentation(s__Injuring,s__EnglishLanguage,'The process of creating a traumatic wound or injury. Since Injuring is not possible without some biologic function of the organism being injured, it is a subclass of BiologicalProcess.')

Merge.kif 10410-10412
s__subclass(s__Injuring,s__Damaging)

Merge.kif 10409-10409
s__instance(s__PathologicProcess,s__SetOrClass)

Merge.kif 10408-10408

appearance as argument number 2
-------------------------


s__subclass(s__Poisoning,s__Injuring)

Merge.kif 10432-10432
s__termFormat(s__ChineseLanguage,s__Injuring,'受伤')

chinese_format.kif 1089-1089
s__termFormat(s__EnglishLanguage,s__Injuring,'injuring')

english_format.kif 776-776
s__termFormat(s__FrenchLanguage,s__Injuring,'blesser')

french_format.kif 767-767
s__termFormat(s__Hindi,s__Injuring,'chota')

terms-hindi.txt 299-299
s__termFormat(s__ItalianLanguage,s__Injuring,'Trauma')

terms-it.txt 300-300
s__termFormat(s__PortugueseLanguage,s__Injuring,'Ferir')

portuguese_format.kif 719-719
s__termFormat(s__cb__m,s__Injuring,'pagsamad')

terms-cb.txt 304-304
s__termFormat(s__cz__m,s__Injuring,'injuring')

terms-cz.txt 338-338
s__termFormat(s__tg__m,s__Injuring,'sinusugatan')

terms-tg.txt 303-303

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


( ! [V__INJ] :
   (s__instance(V__INJ,s__Injuring) <=>
     (s__instance(V__INJ,s__Damaging) &
       (? [V__ORGANISM] :
         (s__instance(V__ORGANISM,s__Organism) &
           s__patient(V__INJ,V__ORGANISM)))))
)

Merge.kif 10423-10430
( ! [V__INJ] :
   (s__instance(V__INJ,s__Injuring) =>
     (? [V__STRUCT] :
       (s__instance(V__STRUCT,s__AnatomicalStructure) &
         s__patient(V__INJ,V__STRUCT))))
)

Merge.kif 10416-10421

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1843-1858
( ! [V__BLEED] :
   (s__instance(V__BLEED,s__Bleeding) =>
     (? [V__INJURY] :
       (s__instance(V__INJURY,s__Injuring) &
         s__causes(V__INJURY,V__BLEED))))
)

Mid-level-ontology.kif 18972-18977
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1344-1352
No TPTP formula. May not be expressible in strict first order. Cars.kif 3416-3446
( ! [V__L] :
   (s__instance(V__L,s__Lesion) =>
     (? [V__I] :
       (s__instance(V__I,s__Injuring) &
         s__result(V__I,V__L))))
)

Mid-level-ontology.kif 9009-9014
No TPTP formula. May not be expressible in strict first order. Cars.kif 3452-3478
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1872-1892
No TPTP formula. May not be expressible in strict first order. Cars.kif 3357-3386
No TPTP formula. May not be expressible in strict first order. Cars.kif 3528-3552
No TPTP formula. May not be expressible in strict first order. Cars.kif 3599-3623
No TPTP formula. May not be expressible in strict first order. Cars.kif 3499-3521
No TPTP formula. May not be expressible in strict first order. Cars.kif 3323-3341
No TPTP formula. May not be expressible in strict first order. Cars.kif 3642-3671
( ! [V__O1,V__O2] :
   (s__parasite(V__O1,V__O2)
   =>
   (? [V__I] :
     (s__instance(V__I,s__Injuring) &
       s__agent(V__I,V__O1)
     &
     s__patient(V__I,V__O2))))
)

Mid-level-ontology.kif 6102-6108


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners