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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RicinToxin
RicinToxin(ricin toxin)
ricin, ricin_toxin

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 432-435
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8689-8689
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9609-9609
No TPTP formula. May not be expressible in strict first order. WMD.kif 431-431 The per of 3.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of ricin toxin
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31752-31752 roomTempState ricin toxin and solid
No TPTP formula. May not be expressible in strict first order. WMD.kif 430-430 Ricin toxin is a subclass of protein
No TPTP formula. May not be expressible in strict first order. WMD.kif 429-429 Ricin toxin is a subclass of toxin

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49979-49979
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49978-49978
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49977-49977


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



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