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
-------------------------


(documentation effectiveDose EnglishLanguage "(effectiveDose ?AGENT ?QUANTITY) means that ?QUANTITY is the effective dose, or ED50, for the BiochemicalAgent ?AGENT. This is the dose that would incapacitate 50% of the exposed human population. Note that ?QUANTITY is generally expressed in micrograms per kilogram (mcg/ kg).") WMD.kif 798-801
(domain effectiveDose 2 FunctionQuantity) WMD.kif 797-797 Le nombre 2 argument de effectiveDose est une instance de function de quantit�
(domainSubclass effectiveDose 1 BiochemicalAgent) WMD.kif 796-796 Le nombre 1 argument de effectiveDose est une sous-classe de BiochemicalAgent
(instance effectiveDose BinaryPredicate) WMD.kif 795-795 effectiveDose est une instance de pr�dicat binaire

appearance as argument number 2
-------------------------


(format ChineseLanguage effectiveDose "%2 %n 是 %1 的 effective 剂量") domainEnglishFormat.kif 832-832
(format ChineseTraditionalLanguage effectiveDose "%2 %n 是 %1 的 effective 劑量") domainEnglishFormat.kif 831-831
(format EnglishLanguage effectiveDose "%2 is %n an effective dose of %1") domainEnglishFormat.kif 830-830
(relatedInternalConcept lethalDose effectiveDose) WMD.kif 845-845 lethalDose est reli� � l'int�rieur de SUMO � effectiveDose
(termFormat ChineseLanguage effectiveDose "有效剂量") domainEnglishFormat.kif 21294-21294
(termFormat ChineseTraditionalLanguage effectiveDose "有效劑量") domainEnglishFormat.kif 21293-21293
(termFormat EnglishLanguage effectiveDose "effective dose") domainEnglishFormat.kif 21292-21292

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


(=>
    (and
        (instance ?U McgPerKg)
        (effectiveDose ?AGENT
            (MeasureFn ?NUMBER1 ?U))
        (lethalDose ?AGENT
            (MeasureFn ?NUMBER2 ?U)))
    (greaterThan ?NUMBER2 ?NUMBER1))
WMD.kif 851-858
(=>
    (effectiveDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 UnitOfMass)
        (instance ?UNIT2 UnitOfMass)))
WMD.kif 803-810

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


(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 1439-1439 effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)


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