McgPerKg - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - McgPerKg

McgPerKg(micrograms per kilogram)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 817-819
No TPTP formula. May not be expressible in strict first order.	WMD.kif 814-816
No TPTP formula. May not be expressible in strict first order.	WMD.kif 812-812	Micrograms per kilogram is an instance of composite unit of measure
No TPTP formula. May not be expressible in strict first order.	WMD.kif 813-813	Micrograms per kilogram is an instance of function quantity

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 821-821
No TPTP formula. May not be expressible in strict first order.	WMD.kif 820-820

antecedent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
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

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 3.0 is open source software produced by Articulate Software and its partners