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 10492-10495
(documentation Poisoning JapaneseLanguage "Poisoning は外部物質によって引き起こされる。 Poisoning は、Organism が負傷する影響を与えるいくつかの生物学的機能なしでは不可能であるため、 BiologicalProcess のサブクラスである。") japanese_format.kif 1677-1679
(subclass Poisoning Injuring) Merge.kif 10490-10490

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


(termFormat ChineseLanguage Poisoning "中毒") chinese_format.kif 1090-1090
(termFormat EnglishLanguage Poisoning "poisoning") english_format.kif 1391-1391
(termFormat FrenchLanguage Poisoning "empoisoner") french_format.kif 768-768
(termFormat Hindi Poisoning "vishaaktataa") terms-hindi.txt 300-300
(termFormat ItalianLanguage Poisoning "Avvelenamento") terms-it.txt 303-303
(termFormat JapaneseLanguage Poisoning "中毒") japanese_format.kif 2452-2452
(termFormat PortugueseLanguage Poisoning "Envenenar") portuguese_format.kif 720-720
(termFormat cb Poisoning "paghilu") terms-cb.txt 305-305
(termFormat cz Poisoning "poisoning") terms-cz.txt 339-339
(termFormat ro Poisoning "otrãvire") relations-ro.kif 789-789
(termFormat tg Poisoning "nilalason") terms-tg.txt 304-304

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


(=>
    (instance ?POISON Poisoning)
    (exists (?SUBSTANCE)
        (and
            (instance ?SUBSTANCE BiologicallyActiveSubstance)
            (instrument ?POISON ?SUBSTANCE))))
Merge.kif 10506-10511
(=>
    (instance ?POISON Poisoning)
    (exists (?THING)
        (and
            (patient ?POISON ?THING)
            (or
                (instance ?THING Organism)
                (instance ?THING AnatomicalStructure)))))
Merge.kif 10497-10504


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