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 Le nombre 2 argument de lethalDose est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order. WMD.kif 843-843 Le nombre 1 argument de lethalDose est une sous-classe de BiochemicalAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 842-842 lethalDose est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. WMD.kif 845-845 lethalDose est reli� � l'int�rieur de SUMO � effectiveDose

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 lethalDose AbrinToxin and PerFn 0.04 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 310-310 lethalDose Batrachotoxin and PerFn 2.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 325-325 lethalDose BotulinumToxin and PerFn 0.001 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1840-1840 lethalDose Diacetoxyscirpenol and PerFn 23.0 un milli�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 431-431 lethalDose RicinToxin and PerFn 3.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 586-586 lethalDose Sarin and PerFn 100.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1339-1339 lethalDose ShigaToxin and PerFn 0.002 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 582-582 lethalDose Soman and PerFn 64.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1440-1440 lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 1845-1845 lethalDose T2Toxin and PerFn 5.2 un milli�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order. WMD.kif 599-599 lethalDose VX and PerFn 15.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)


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