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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Poisoning

appearance as argument number 1

(documentation Poisoning ChineseLanguage " Poisoning 是由外来物质造成的,因为 Poisoning 不可能不对影响到生物的某些物理功能造成伤害,所以它属于 BiologicalProcess 的子类别。") chinese_format.kif 2927-2928
(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 10363-10366
(subclass Poisoning Injuring) Merge.kif 10361-10361

appearance as argument number 2

(termFormat ChineseLanguage Poisoning "中毒") chinese_format.kif 1090-1090
(termFormat EnglishLanguage Poisoning "poisoning") english_format.kif 1391-1391


    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 10377-10382
    (instance ?POISON Poisoning)
    (exists (?THING)
            (patient ?POISON ?THING)
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 10368-10375

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