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

VerbNet: hurt-40.8.3|prick, break-45.1|fracture, carve-21.2|bruise, other_cos-45.4|burn, hurt-40.8.3|chafe, carve-21.2|bruise, orphan-29.7|cripple, break-45.1|crush, hurt-40.8.3|chafe, break-45.1|fracture, hurt-40.8.3|injure, break-45.1|crush, orphan-29.7|cripple, destroy-44|maim, destroy-44|mutilate, destroy-44|mutilate, hurt-40.8.3|pull, hurt-40.8.3|prick, hurt-40.8.3|pull, hurt-40.8.3|wrench, cut-21.1|scarify, hurt-40.8.3|skin, hurt-40.8.3|skin, hurt-40.8.3|wrench, hurt-40.8.3|prick, other_cos-45.4|burn, hurt-40.8.3|wrench, hurt-40.8.3|wrench, entity_specific_cos-45.5|blister, hurt-40.8.3|injure, hurt-40.8.3|wrench, hurt-40.8.3|wrench,


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


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

chinese_format.kif 2925-2926
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 9784-9786
s__subclass(s__Injuring,s__Damaging)

s__instance(s__Damaging,s__SetOrClass)

s__instance(s__Injuring,s__SetOrClass)

Merge.kif 9782-9782 Injuring is a subclass of damaging
s__instance(s__PathologicProcess,s__SetOrClass)

s__subclass(s__Injuring,s__PathologicProcess)

s__instance(s__Injuring,s__SetOrClass)

Merge.kif 9781-9781 Injuring is a subclass of pathologic process

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


s__subclass(s__Poisoning,s__Injuring)

s__instance(s__Injuring,s__SetOrClass)

s__instance(s__Poisoning,s__SetOrClass)

Merge.kif 9804-9804 Poisoning is a subclass of injuring
s__termFormat(s__ChineseLanguage,s__Injuring,'"受伤"')

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

english_format.kif 1394-1394

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))))))
   &
   ((s__instance(V__INJ,s__Damaging) &
       ( ? [V__ORGANISM] :
         ((s__instance(V__ORGANISM,s__Organism) &
             s__patient(V__INJ,V__ORGANISM)))))
   =>
   s__instance(V__INJ,s__Injuring))
)
)

Merge.kif 9795-9802 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
( ! [V__INJ] :
   (s__instance(V__INJ,s__Injuring) =>
     ( ? [V__STRUCT] :
       ((s__instance(V__STRUCT,s__AnatomicalStructure) &
           s__patient(V__INJ,V__STRUCT))))
   )
)

Merge.kif 9788-9793

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1896-1911
( ! [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 19042-19047
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 3423-3453
( ! [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 9012-9017
No TPTP formula. May not be expressible in strict first order. Cars.kif 3459-3485
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1867-1887
No TPTP formula. May not be expressible in strict first order. Cars.kif 3364-3393
No TPTP formula. May not be expressible in strict first order. Cars.kif 3535-3559
No TPTP formula. May not be expressible in strict first order. Cars.kif 3606-3630
No TPTP formula. May not be expressible in strict first order. Cars.kif 3506-3528
No TPTP formula. May not be expressible in strict first order. Cars.kif 3330-3348
No TPTP formula. May not be expressible in strict first order. Cars.kif 3649-3678
( ! [V__O1,V__O2] :
   ((s__instance(V__O1,s__Organism) &
       s__instance(V__O2,s__Organism))
     =>
     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