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


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 10038-10040
s__subclass(s__Injuring,s__Damaging)

s__instance(s__Injuring,s__Class)

s__instance(s__Damaging,s__Class)

Merge.kif 10036-10036 Injuring is a subclass of damaging
s__instance(s__Injuring,s__Class)

s__subclass(s__Injuring,s__PathologicProcess)

s__instance(s__PathologicProcess,s__Class)

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

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


s__instance(s__Injuring,s__Class)

s__instance(s__Poisoning,s__Class)

s__subclass(s__Poisoning,s__Injuring)

Merge.kif 10058-10058 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 1389-1389

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 10049-10056 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 10042-10047

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29939-29959
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1914-1929
( ! [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 20534-20539
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
( ! [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 8961-8966
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 1410-1430
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
( ! [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 5935-5941


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