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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Poisoning
PoisoningAvvelenamento, Envenenar, Minamata_disease, alkali_poisoning, caffeine_intoxication, caffeinism, carbon_monoxide_poisoning, cyanide_poisoning, empoisoner, envenom, gassing, intoxicate, intoxication, malathion_poisoning, mercury_poisoning, naphthalene_poisoning, nicotine_poisoning, nilalason, nobble, ophidism, paghilu, paraquat_poisoning, parathion_poisoning, pesticide_poisoning, poison, poisoning, puff, salicylate_poisoning, toxic_condition, vishaaktataa, whiff, 中毒

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


s__documentation(s__Poisoning,s__ChineseLanguage,' Poisoning 是由外来物质造成的,因为 Poisoning 不可能不对影响到生物的某些物理功能造成伤害,所以它属于 BiologicalProcess 的子类别。')

Merge.kif 10437-10438
s__documentation(s__Poisoning,s__EnglishLanguage,'A Poisoning is caused by an external substance. Since Poisoning is not possible without some biologic function which affects the Organism being injured, it is a subclass of BiologicalProcess.')

Merge.kif 10433-10436
s__subclass(s__Poisoning,s__Injuring)

Merge.kif 10432-10432

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


s__termFormat(s__ChineseLanguage,s__Poisoning,'中毒')

chinese_format.kif 1090-1090
s__termFormat(s__EnglishLanguage,s__Poisoning,'poisoning')

english_format.kif 777-777
s__termFormat(s__FrenchLanguage,s__Poisoning,'empoisoner')

french_format.kif 768-768
s__termFormat(s__Hindi,s__Poisoning,'vishaaktataa')

terms-hindi.txt 300-300
s__termFormat(s__ItalianLanguage,s__Poisoning,'Avvelenamento')

terms-it.txt 301-301
s__termFormat(s__PortugueseLanguage,s__Poisoning,'Envenenar')

portuguese_format.kif 720-720
s__termFormat(s__cb__m,s__Poisoning,'paghilu')

terms-cb.txt 305-305
s__termFormat(s__cz__m,s__Poisoning,'poisoning')

terms-cz.txt 339-339
s__termFormat(s__tg__m,s__Poisoning,'nilalason')

terms-tg.txt 304-304

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


( ! [V__POISON] :
   (s__instance(V__POISON,s__Poisoning) =>
     (? [V__SUBSTANCE] :
       (s__instance(V__SUBSTANCE,s__BiologicallyActiveSubstance) &
         s__instrument(V__POISON,V__SUBSTANCE))))
)

Merge.kif 10449-10454
( ! [V__POISON] :
   (s__instance(V__POISON,s__Poisoning) =>
     (? [V__THING] :
       (s__patient(V__POISON,V__THING)
       &
       (s__instance(V__THING,s__Organism) |
         s__instance(V__THING,s__AnatomicalStructure)))))
)

Merge.kif 10440-10447


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