Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Batrachotoxin

Sigma KEE - Batrachotoxin
Batrachotoxin(batrachotoxin)
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 "http://upload.wikimedia.org/wikipedia/commons/b/b2/ Batrachotoxin.png" is a URL depicting batrachotoxin
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 310-310 The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin
(subclass Batrachotoxin BodySubstance) WMD.kif 309-309 Batrachotoxin is a subclass of body substance
(subclass Batrachotoxin Toxin) WMD.kif 308-308 Batrachotoxin is a subclass of toxin

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Batrachotoxin "batrachotoxin") domainEnglishFormat.kif 2135-2135 "batrachotoxin" is the printable form of batrachotoxin in english language

antecedent
-------------------------


(=>
    (secretesToxin ?FROG Batrachotoxin)
    (subclass ?FROG Amphibian))
WMD.kif 313-315


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners