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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - Batrachotoxin

appearance as argument number 1

(documentation Batrachotoxin EnglishLanguage "A Toxin produced by some species of Frogs.") WMD.kif 311-311
(externalImage Batrachotoxin " b/ b2/ Batrachotoxin.png") pictureList.kif 4541-4541 " Batrachotoxin.png" is a URL depicting batrachotoxin
(lethalDose Batrachotoxin
        (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


    (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