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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - McgPerKg
McgPerKg

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
(instance McgPerKg FunctionQuantity) WMD.kif 813-813

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
(=>
    (and
        (instance ?U McgPerKg)
        (effectiveDose ?AGENT
            (MeasureFn ?NUMBER1 ?U))
        (lethalDose ?AGENT
            (MeasureFn ?NUMBER2 ?U)))
    (greaterThan ?NUMBER2 ?NUMBER1))
WMD.kif 851-858


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