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

Formal Language: 



KB Term:  Term intersection
English Word: 

  effectiveDose

 Sigma KEE - effectiveDose
effectiveDose

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 798-801
No TPTP formula. May not be expressible in strict first order. WMD.kif 797-797 Le nombre 2 argument de effectiveDose est une instance de function de quantit�
No TPTP formula. May not be expressible in strict first order. WMD.kif 796-796 Le nombre 1 argument de effectiveDose est une sous-classe de BiochemicalAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 795-795 effectiveDose est une instance de pr�dicat binaire

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 832-832
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 831-831
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 830-830
No TPTP formula. May not be expressible in strict first order. WMD.kif 845-845 lethalDose est reli� � l'int�rieur de SUMO � effectiveDose
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21294-21294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21293-21293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21292-21292

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


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 803-810

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1439-1439 effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 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