TreeView Knowledge Base Browser

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	O argumento numero 2 de effectiveDose e' uma instancia de Funcao de Quantidade
(domainSubclass effectiveDose 1 BiochemicalAgent)	WMD.kif 796-796	O argumento numero 1 de effectiveDose e' uma sub-classe de BiochemicalAgent
(instance effectiveDose BinaryPredicate)	WMD.kif 795-795	effectiveDose e' uma instancia de Predicado Binario

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 e' relacionado internamente por SUMO a 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	Unidade de Medida e' uma instancia de McgPerKg effectiveDose BiochemicalAgent and Numero Real Unidade de Medida(s) lethalDose BiochemicalAgent and Numero Real Unidade de Medida(s) Numero Real e' maior que Numero Real
(=> (effectiveDose ?AGENT (PerFn (MeasureFn ?NUMBER1 ?UNIT1) (MeasureFn ?NUMBER2 ?UNIT2))) (and (instance ?UNIT1 UnitOfMass) (instance ?UNIT2 UnitOfMass)))	WMD.kif 803-810	effectiveDose BiochemicalAgent and PerFn Numero Real Unidade de Medida(s) and Numero Real Unidade de Medida(s) Unidade de Medida e' uma instancia de UnitOfMass Unidade de Medida e' uma instancia de UnitOfMass

appearance as argument number 0

(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))

WMD.kif 1439-1439