|
|
   Toxin
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Toxin EnglishLanguage "BiologicalAgents that are a toxic BiologicallyActiveSubstance produced by an Organism or that are the synthetic analogue of a toxic BiologicallyActiveSubstance produced by an Organism.") | WMD.kif 161-164 | |
| (externalImage Toxin "http://upload.wikimedia.org/wikipedia/commons/3/39/ Hazard_T.svg") | pictureList.kif 2039-2039 | |
| (subclass Toxin BiologicalAgent) | WMD.kif 159-159 | Toxin ist eine teilkategorie von BiologicalAgent |
| (subclass Toxin BiologicallyActiveSubstance) | WMD.kif 160-160 | Toxin ist eine teilkategorie von BiologicallyActiveSubstance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass secretesToxin 2 Toxin) | WMD.kif 984-984 | Die Zahl 2 Argument von secretesToxin ist eine teilkategorie von Toxin %n{nicht} |
| antecedent |
|
|
| (=> (instance ?SUBSTANCE Toxin) (exists (?ORGANISM ?PROCESS) (and (instance ?ORGANISM ToxicOrganism) (instance ?PROCESS BiologicalProcess) (instrument ?PROCESS ?ORGANISM) (or (result ?PROCESS ?SUBSTANCE) (exists (?RESULT) (and (result ?PROCESS ?RESULT) (copy ?SUBSTANCE ?RESULT))))))) |
WMD.kif 166-178 |
|
| consequent |
|
|
| (=> (and (instance ?DAMAGE Damaging) (instrument ?DAMAGE ?SUBSTANCE) (instance ?SUBSTANCE BiologicallyActiveSubstance)) (instance ?SUBSTANCE Toxin)) |
WMD.kif 180-185 |
|
| (=> (instance ?ORGANISM ToxicOrganism) (exists (?SUBSTANCE) (and (instance ?SUBSTANCE Toxin) (part ?SUBSTANCE ?ORGANISM)))) |
WMD.kif 191-196 |
|
|
|
|
