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

Formal Language: 



KB Term:  Term intersection
English Word: 

  T2Toxin

Sigma KEE - T2Toxin
T2Toxin(t2 toxin)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 1837-1838
No TPTP formula. May not be expressible in strict first order. WMD.kif 1836-1836 The per of 5.2 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of t2 toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1835-1835 T2 toxin is a subclass of mycotoxin

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56662-56662
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56661-56661
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56660-56660


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 3.0 is open source software produced by Articulate Software and its partners