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

Formal Language: 



KB Term:  Term intersection
English Word: 

  biochemicalAgentAntidote

Sigma KEE - biochemicalAgentAntidote
biochemicalAgentAntidote

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


(documentation biochemicalAgentAntidote EnglishLanguage "(biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS) means that the BiologicallyActiveSubstance ?SUBSTANCE has been shown to be effective in treating someone who has been exposed to the BiochemicalAgent ?AGENT when the ?SUBSTANCE is administered via the Process ?PROCESS.") WMD.kif 865-868
(domain biochemicalAgentAntidote 1 BiochemicalAgent) WMD.kif 862-862
(domainSubclass biochemicalAgentAntidote 2 BiologicallyActiveSubstance) WMD.kif 863-863
(domainSubclass biochemicalAgentAntidote 3 Process) WMD.kif 864-864
(instance biochemicalAgentAntidote TernaryPredicate) WMD.kif 861-861

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


(format EnglishLanguage biochemicalAgentAntidote "%1 %n{doesn't} biochemical agent antidote %2 for %3") domainEnglishFormat.kif 81-81
(termFormat EnglishLanguage biochemicalAgentAntidote "biochemical agent antidote") domainEnglishFormat.kif 2263-2263

statement
-------------------------


(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SUBSTANCE))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 870-878

Show without tree


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