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 811-814
(domain lethalDose 2 FunctionQuantity) WMD.kif 809-809 domain lethalDose, 2 and FunctionQuantity
(domainSubclass lethalDose 1 BiochemicalAgent) WMD.kif 808-808 domainSubclass lethalDose, 1 and BiochemicalAgent
(instance lethalDose BinaryPredicate) WMD.kif 807-807 instance lethalDose and BinaryPredicate
(relatedInternalConcept lethalDose effectiveDose) WMD.kif 810-810 relatedInternalConcept lethalDose and effectiveDose

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 34051-34051
(termFormat ChineseTraditionalLanguage lethalDose "致死劑量") domainEnglishFormat.kif 34050-34050
(termFormat EnglishLanguage lethalDose "lethal dose") domainEnglishFormat.kif 34049-34049

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


(=>
    (and
        (effectiveDose ?AGENT ?NUMBER1)
        (lethalDose ?AGENT ?NUMBER2))
    (greaterThan ?NUMBER2 ?NUMBER1))
WMD.kif 816-820
(=>
    (and
        (lethalDose ?AGENT ?NUMBER)
        (greaterThan ?NUMBER 0))
    (instance ?AGENT LifeThreateningAgent))
WMD.kif 972-976
(=>
    (lethalDose ?AGENT
        (PerFn
            (MeasureFn ?NUMBER1 ?UNIT1)
            (MeasureFn ?NUMBER2 ?UNIT2)))
    (and
        (instance ?UNIT1 MassMeasure)
        (instance ?UNIT2 MassMeasure)))
WMD.kif 822-829

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


(lethalDose AbrinToxin
    (PerFn
        (MeasureFn 0.04
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 434-434 lethalDose AbrinToxin and PerFn MeasureFn 0.04 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Batrachotoxin
    (PerFn
        (MeasureFn 2.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 310-310 lethalDose Batrachotoxin and PerFn MeasureFn 2.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram
(lethalDose BotulinumToxin
    (PerFn
        (MeasureFn 0.001
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 325-325 lethalDose BotulinumToxin and PerFn MeasureFn 0.001 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Diacetoxyscirpenol
    (PerFn
        (MeasureFn 23
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1706-1706 lethalDose Diacetoxyscirpenol and PerFn MeasureFn 23 and MilliFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose RicinToxin
    (PerFn
        (MeasureFn 3.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 426-426 lethalDose RicinToxin and PerFn MeasureFn 3.0 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Sarin
    (PerFn
        (MeasureFn 100.0
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 581-581 lethalDose Sarin and PerFn MeasureFn 100.0 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose ShigaToxin
    (PerFn
        (MeasureFn 0.002
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1257-1257 lethalDose ShigaToxin and PerFn MeasureFn 0.002 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose Soman
    (PerFn
        (MeasureFn 64.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 577-577 lethalDose Soman and PerFn MeasureFn 64.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram
(lethalDose StaphylococcalEnterotoxinB
    (PerFn
        (MeasureFn 0.02
            (MicroFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1343-1343 lethalDose StaphylococcalEnterotoxinB and PerFn MeasureFn 0.02 and MicroFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose T2Toxin
    (PerFn
        (MeasureFn 5.2
            (MilliFn Gram))
        (MeasureFn 1
            (KiloFn Gram))))
WMD.kif 1711-1711 lethalDose T2Toxin and PerFn MeasureFn 5.2 and MilliFn Gram and MeasureFn 1 and KiloFn Gram
(lethalDose VX
    (PerFn
        (MeasureFn 15.0
            (MicroFn Gram))
        (MeasureFn 1.0
            (KiloFn Gram))))
WMD.kif 594-594 lethalDose VX and PerFn MeasureFn 15.0 and MicroFn Gram and MeasureFn 1.0 and KiloFn Gram


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners