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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - effectiveDose
effectiveDose

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 792-795
No TPTP formula. May not be expressible in strict first order. WMD.kif 791-791 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 790-790 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 789-789 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 217-217
No TPTP formula. May not be expressible in strict first order. WMD.kif 806-806 lethal dose is internally related to effective dose
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3970-3970 "effective dose" is the printable form of effective dose in english language

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 812-816
No TPTP formula. May not be expressible in strict first order. WMD.kif 797-801

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1325-1325 The per of 0.0004 one millionth of a gram(s) and 1 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners