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 The number 2 argument of effective dose is an instance of function quantity
No TPTP formula. May not be expressible in strict first order. WMD.kif 796-796 The number 1 argument of effective dose is a subclass of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 795-795 effective dose is an instance of binary predicate

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 lethal dose is internally related to effective dose
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21285-21285
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21284-21284
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21283-21283

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 1430-1430 The per of 0.0004 one millionth of a gram(s) and 1.0 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b


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