TreeView Knowledge Base Browser - effectiveDose

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 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 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	If an unit of measure is an instance of micrograms per kilogram and a real number the unit of measure(s) is an effective dose of a kind of biochemical agent and another real number the unit of measure(s) is a lethal dose of a kind of biochemical agent, then the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	WMD.kif 803-810	If the per of a real number an unit of measure(s) and another real number another unit of measure(s) is an effective dose of a kind of biochemical agent, then the unit of measure is an instance of unit of mass and the other unit of measure is an instance of unit of mass

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

WMD.kif 1439-1439

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