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 | |
(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 58732-58732 | |
(termFormat ChineseTraditionalLanguage Toxin "毒素") | domainEnglishFormat.kif 58731-58731 | |
(termFormat EnglishLanguage Toxin "toxin") | domainEnglishFormat.kif 58730-58730 |
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 |