Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - effectiveDose
effectiveDose

appearance as argument number 1
-------------------------


(instance effectiveDose BinaryPredicate) WMD.kif 790-790 effective dose is an instance of binary predicate
(domainSubclass effectiveDose 1 BiochemicalAgent) WMD.kif 791-791 The number 1 argument of effective dose is a subclass of biochemical agent
(domain effectiveDose 2 FunctionQuantity) WMD.kif 792-792 The number 2 argument of effective dose is an instance of function quantity
(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 793-796 The number 2 argument of effective dose is an instance of function quantity

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


(relatedInternalConcept lethalDose effectiveDose) WMD.kif 840-840 lethal dose is internally related to effective dose
(format EnglishLanguage effectiveDose "%2 is %n an effective dose of %1") domainEnglishFormat.kif 830-830 lethal dose is internally related to effective dose
(format ChineseTraditionalLanguage effectiveDose "%2 %n 是 %1 的 effective 劑量") domainEnglishFormat.kif 831-831 lethal dose is internally related to effective dose
(format ChineseLanguage effectiveDose "%2 %n 是 %1 的 effective 剂量") domainEnglishFormat.kif 832-832 lethal dose is internally related to effective dose
(termFormat EnglishLanguage effectiveDose "effective dose") domainEnglishFormat.kif 21294-21294 lethal dose is internally related to effective dose
(termFormat ChineseTraditionalLanguage effectiveDose "有效劑量") domainEnglishFormat.kif 21295-21295 lethal dose is internally related to effective dose
(termFormat ChineseLanguage effectiveDose "有效剂量") domainEnglishFormat.kif 21296-21296 lethal dose is internally related to effective dose

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


(=>
    (effectiveDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 UnitOfMass)
        (instance ?UNIT2 UnitOfMass)))		 WMD.kif 798-805 If the per of X Y(s) and Z W(s) is an effective dose of V, then Y is an instance of unit of mass and W is an instance of unit of mass
(=>
    (and
        (instance ?U McgPerKg)
        (effectiveDose ?AGENT
            (MeasureFn ?NUMBER1 ?U))
        (lethalDose ?AGENT
            (MeasureFn ?NUMBER2 ?U)))
    (greaterThan ?NUMBER2 ?NUMBER1))		 WMD.kif 846-853 If X is an instance of micrograms per kilogram, Y X(s) is an effective dose of Z, and W X(s) is a lethal dose of Z, then W is greater than Y

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


(effectiveDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.0004
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1435-1435 The per of 0.0004 one millionth of a gram(s) and 1.0 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners