|
|
   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 | 子類 毒素 and 生物製劑 |
| (subclass Toxin BiologicallyActiveSubstance) | WMD.kif 160-160 | 子類 毒素 and BiologicallyActiveSubstance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass secretesToxin 2 Toxin) | WMD.kif 984-984 | 域子類 分泌毒素, 2 and 毒素 |
| 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 |
|
|
|
