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

(documentation McgPerKg ChineseLanguage "McgPerKg 指吸取生物活性物质 (BiologicallyActiveSubstance)的生物（Organism）体重(weight)每公斤 (Kilogram)所用该物质(Substance)以微克（microgram）计算的重量(weight)。")	WMD.kif 817-819
(documentation McgPerKg EnglishLanguage "McgPerKg refers to a microgram of BiologicallyActiveSubstance per Kilogram of the body weight of the Organism taking the Substance.")	WMD.kif 814-816
(instance McgPerKg CompositeUnitOfMeasure)	WMD.kif 812-812	Micrograms per kilogram is an instance of composite unit of measure
(instance McgPerKg FunctionQuantity)	WMD.kif 813-813	Micrograms per kilogram is an instance of function quantity

appearance as argument number 2

(termFormat ChineseLanguage McgPerKg "每公斤微克")	WMD.kif 821-821
(termFormat EnglishLanguage McgPerKg "micrograms per kilogram")	WMD.kif 820-820

antecedent

(=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2))))	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
(=> (and (instance ?U McgPerKg) (effectiveDose ?AGENT (MeasureFn ?NUMBER1 ?U)) (lethalDose ?AGENT (MeasureFn ?NUMBER2 ?U))) (greaterThan ?NUMBER2 ?NUMBER1))	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