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 9874-9877
(subclass Poisoning Injuring) Merge.kif 9872-9872

appearance as argument number 2

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


    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 9888-9893
    (instance ?POISON Poisoning)
    (exists (?THING)
            (patient ?POISON ?THING)
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 9879-9886

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 3.0 is open source software produced by Articulate Software and its partners