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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lethalDose
lethalDose

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 807-810
No TPTP formula. May not be expressible in strict first order. WMD.kif 805-805 The number 2 argument of lethal dose is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. WMD.kif 804-804 The number 1 argument of lethal dose is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 803-803 lethal dose is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. WMD.kif 806-806 lethal dose is internally related to effective dose

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 390-390
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6111-6111 "lethal dose" is the printable form of lethal dose in english language

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 812-816
No TPTP formula. May not be expressible in strict first order. WMD.kif 963-967
No TPTP formula. May not be expressible in strict first order. WMD.kif 818-822

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 434-434 The per of 0.04 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of abrin toxin
No TPTP formula. May not be expressible in strict first order. 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
No TPTP formula. May not be expressible in strict first order. WMD.kif 325-325 The per of 0.001 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of botulinum toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1689-1689 The per of 23 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
No TPTP formula. May not be expressible in strict first order. WMD.kif 426-426 The per of 3.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of ricin toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 581-581 The per of 100.0 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of sarin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1240-1240 The per of 0.002 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of shiga toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 577-577 The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman
No TPTP formula. May not be expressible in strict first order. WMD.kif 1326-1326 The per of 0.02 one millionth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b
No TPTP formula. May not be expressible in strict first order. WMD.kif 1694-1694 The per of 5.2 one thousandth of a gram(s) and 1 1 thousand grams(s) is a lethal dose of t2 toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 594-594 The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of V x


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners