Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Poisoning

 Sigma KEE - Poisoning
Poisoning(poisoning)Minamata_disease, alkali_poisoning, caffeine_intoxication, caffeinism, carbon_monoxide_poisoning, cyanide_poisoning, envenom, gassing, intoxicate, intoxication, malathion_poisoning, mercury_poisoning, naphthalene_poisoning, nicotine_poisoning, nobble, ophidism, paraquat_poisoning, parathion_poisoning, pesticide_poisoning, poison, poisoning, puff, salicylate_poisoning, toxic_condition, whiff

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


(subclass Poisoning Injuring) Merge.kif 10701-10701 Poisoning is a subclass of injuring
(documentation Poisoning 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 10703-10706 Poisoning is a subclass of injuring

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


(termFormat EnglishLanguage Poisoning "poisoning") english_format.kif 1395-1395

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


(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))		 Merge.kif 10708-10715 If X is an instance of poisoning, then there exists Y such that Y is a patient of X and Y is an instance of organism or Y is an instance of anatomical structure
(=>
    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))		 Merge.kif 10717-10722 If X is an instance of poisoning, then there exists Y such that Y is an instance of biologically active substance and Y is an instrument for X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners