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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lethalDose

Sigma KEE - lethalDose
lethalDose

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 846-849
No TPTP formula. May not be expressible in strict first order. WMD.kif 844-844 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 843-843 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 842-842 lethal dose is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. WMD.kif 845-845 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 1527-1527
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1526-1526
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1525-1525
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34157-34157
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34156-34156
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34155-34155

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1017-1023
No TPTP formula. May not be expressible in strict first order. WMD.kif 851-858
No TPTP formula. May not be expressible in strict first order. WMD.kif 860-867

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 439-439 The per of 0.04 one millionth of a gram(s) and 1.0 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.0 1 thousand grams(s) is a lethal dose of botulinum toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1840-1840 The per of 23.0 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
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. WMD.kif 586-586 The per of 100.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of sarin
No TPTP formula. May not be expressible in strict first order. WMD.kif 1339-1339 The per of 0.002 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of shiga toxin
No TPTP formula. May not be expressible in strict first order. WMD.kif 582-582 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 1440-1440 The per of 0.02 one millionth of a gram(s) and 1.0 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 1845-1845 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 599-599 The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX


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