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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lethalDose
lethalDose

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


(documentation lethalDose EnglishLanguage "(lethalDose ?AGENT ?QUANTITY) means that ?QUANTITY is the lethal dose, or LD50, for the BiochemicalAgent ?AGENT. This is the dose that would result in death for 50% of the exposed human population. Note that ?QUANTITY is generally expressed in micrograms per kilogram (mcg/ kg).") WMD.kif 846-849
(domain lethalDose 2 FunctionQuantity) WMD.kif 844-844 lethalDose の数値 2 引数は 関数量 の instance では %n
(domainSubclass lethalDose 1 BiochemicalAgent) WMD.kif 843-843 lethalDose の数値 1 引数は BiochemicalAgent のsubclass では %n
(instance lethalDose BinaryPredicate) WMD.kif 842-842 lethalDose は 2進述語 の instance では %n
(relatedInternalConcept lethalDose effectiveDose) WMD.kif 845-845 lethalDose は effectiveDose に internally 関連して %n

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


(format ChineseLanguage lethalDose "%2 %n 是 %1 的 lethal 剂量") domainEnglishFormat.kif 1527-1527
(format ChineseTraditionalLanguage lethalDose "%2 %n 是 %1 的 lethal 劑量") domainEnglishFormat.kif 1526-1526
(format EnglishLanguage lethalDose "%2 is %n a lethal dose of %1") domainEnglishFormat.kif 1525-1525
(termFormat ChineseLanguage lethalDose "致死剂量") domainEnglishFormat.kif 34157-34157
(termFormat ChineseTraditionalLanguage lethalDose "致死劑量") domainEnglishFormat.kif 34156-34156
(termFormat EnglishLanguage lethalDose "lethal dose") domainEnglishFormat.kif 34155-34155

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


(=>
    (and
        (instance ?AGENT ?CLASS)
        (lethalDose ?CLASS
            (MeasureFn ?NUMBER ?UNIT))
        (greaterThan ?NUMBER 0.0))
    (instance ?AGENT LifeThreateningAgent))		 WMD.kif 1017-1023
(=>
    (and
        (instance ?U McgPerKg)
        (effectiveDose ?AGENT
            (MeasureFn ?NUMBER1 ?U))
        (lethalDose ?AGENT
            (MeasureFn ?NUMBER2 ?U)))
    (greaterThan ?NUMBER2 ?NUMBER1))		 WMD.kif 851-858
(=>
    (lethalDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 UnitOfMass)
        (instance ?UNIT2 UnitOfMass)))		 WMD.kif 860-867

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


(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 439-439 lethalDose AbrinToxin and PerFn 0.04 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 310-310 lethalDose Batrachotoxin and PerFn 2.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 325-325 lethalDose BotulinumToxin and PerFn 0.001 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23.0
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1840-1840 lethalDose Diacetoxyscirpenol and PerFn 23.0 の 1 の thousandth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 431-431 lethalDose RicinToxin and PerFn 3.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 586-586 lethalDose Sarin and PerFn 100.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1339-1339 lethalDose ShigaToxin and PerFn 0.002 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 582-582 lethalDose Soman and PerFn 64.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1440-1440 lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 の 1 の millionth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 1845-1845 lethalDose T2Toxin and PerFn 5.2 の 1 の thousandth Gram(s) and 1.0 の 1 の thousand Grams(s)
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))		 WMD.kif 599-599 lethalDose VX and PerFn 15.0 の 1 の millionth Gram(s) and 1.0 の 1 の thousand 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