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 O argumento numero 2 de effectiveDose e' uma instancia de Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. WMD.kif 796-796 O argumento numero 1 de effectiveDose e' uma sub-classe de BiochemicalAgent
No TPTP formula. May not be expressible in strict first order. WMD.kif 795-795 effectiveDose e' uma instancia de Predicado Binario

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 e' relacionado internamente por SUMO a 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 um milhonesimo de Gram(s) and 1.0 1 mil 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