| 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 2038-2038 | |
| (subclass Toxin BiologicalAgent) | WMD.kif 159-159 | |
| (subclass Toxin BiologicallyActiveSubstance) | WMD.kif 160-160 |
| appearance as argument number 2 |
|
|
| (partition BiologicalAgent Toxin ToxicOrganism) | WMD.kif 157-157 | |
| (subclass AbrinToxin Toxin) | WMD.kif 437-437 | |
| (subclass Batrachotoxin Toxin) | WMD.kif 308-308 | |
| (subclass BotulinumToxin Toxin) | WMD.kif 322-322 | |
| (subclass Conotoxin Toxin) | WMD.kif 1467-1467 | |
| (subclass EpsilonToxin Toxin) | WMD.kif 348-348 | |
| (subclass Mycotoxin Toxin) | WMD.kif 217-217 | |
| (subclass RicinToxin Toxin) | WMD.kif 429-429 | |
| (subclass Saxitoxin Toxin) | WMD.kif 1452-1452 | |
| (subclass ShigaToxin Toxin) | WMD.kif 1338-1338 | |
| (subclass StaphylococcalEnterotoxinB Toxin) | WMD.kif 1437-1437 | |
| (subclass Tetrodotoxin Toxin) | WMD.kif 1476-1476 | |
| (termFormat ChineseLanguage Toxin "毒素") | domainEnglishFormat.kif 58727-58727 | |
| (termFormat ChineseTraditionalLanguage Toxin "毒素") | domainEnglishFormat.kif 58726-58726 | |
| (termFormat EnglishLanguage Toxin "toxin") | domainEnglishFormat.kif 58725-58725 |
| appearance as argument number 3 |
|
|
| (domainSubclass secretesToxin 2 Toxin) | WMD.kif 984-984 |
| 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 |
|
|
|