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


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

Merge.kif 10471-10472
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 10468-10470
s__subclass(s__Injuring,s__Damaging)

s__instance(s__Damaging,s__SetOrClass)

s__instance(s__Injuring,s__SetOrClass)

Merge.kif 10467-10467 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 10466-10466 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 10490-10490 Poisoning is a subclass of injuring
s__termFormat(s__ChineseLanguage,s__Injuring,'受伤')

chinese_format.kif 1089-1089 "受伤" is the printable form of injuring in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Injuring,'injuring')

english_format.kif 1338-1338 "injuring" is the printable form of injuring in english language
s__termFormat(s__JapaneseLanguage,s__Injuring,'けが')

english_format.kif 1339-1339 "けが" is the printable form of injuring in japanese language

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


( ! [V__INJ] :
   (s__instance(V__INJ,s__Injuring)s__<=>
    (s__instance(V__INJ,s__Damaging)s__and__m(s__exists__m[V__ORGANISM] :
       (s__instance(V__ORGANISM,s__Organism)s__and__ms__patient(V__INJ,V__ORGANISM)))))
)

Merge.kif 10481-10488 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)s__=>(s__exists__m[V__STRUCT] :
       (s__instance(V__STRUCT,s__AnatomicalStructure)s__and__ms__patient(V__INJ,V__STRUCT))))
)

Merge.kif 10474-10479

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1870-1885
( ! [V__BLEED] :
   (s__instance(V__BLEED,s__Bleeding)s__=>(s__exists__m[V__INJURY] :
       (s__instance(V__INJURY,s__Injuring)s__and__ms__causes(V__INJURY,V__BLEED))))
)

Mid-level-ontology.kif 19030-19035
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)s__=>(s__exists__m[V__I] :
       (s__instance(V__I,s__Injuring)s__and__ms__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__instance(V__O1,s__Organism)s__and__ms__instance(V__O2,s__Organism))
    s__=>(s__parasite(V__O1,V__O2)
    s__=>(s__exists__m[V__I] :
       (s__instance(V__I,s__Injuring)s__and__ms__agent(V__I,V__O1)
      s__and__ms__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