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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Poisoning

Sigma KEE - Poisoning
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

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


(=>
    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 10377-10382
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (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