| Batrachotoxin
|
| appearance as argument number 1 |
|
| (documentation Batrachotoxin EnglishLanguage "A Toxin produced by some species of Frogs.") | WMD.kif 311-311 | |
| (externalImage Batrachotoxin "http://upload.wikimedia.org/wikipedia/commons/ b/ b2/ Batrachotoxin.png") | pictureList.kif 4541-4541 | |
| (lethalDose Batrachotoxin (PerFn (MeasureFn 2.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram)))) |
WMD.kif 310-310 | lethalDose Batrachotoxin and PerFn MeasureFn 2.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram |
| (subclass Batrachotoxin BodySubstance) | WMD.kif 309-309 | subclass Batrachotoxin and BodySubstance |
| (subclass Batrachotoxin Toxin) | WMD.kif 308-308 | subclass Batrachotoxin and Toxin |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Batrachotoxin "batrachotoxin") | domainEnglishFormat.kif 10217-10217 | |
| (termFormat ChineseTraditionalLanguage Batrachotoxin "batrachotoxin") | domainEnglishFormat.kif 10216-10216 | |
| (termFormat EnglishLanguage Batrachotoxin "batrachotoxin") | domainEnglishFormat.kif 10215-10215 |
| antecedent |
|
|
| (=> (secretesToxin ?FROG Batrachotoxin) (subclass ?FROG Amphibian)) |
WMD.kif 313-315 |
|
|
|