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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 916-919
(domain biochemicalAgentAntidote 1 BiochemicalAgent) WMD.kif 913-913 O argumento numero 1 de biochemicalAgentAntidote e' uma instancia de BiochemicalAgent
(domainSubclass biochemicalAgentAntidote 2 BiologicallyActiveSubstance) WMD.kif 914-914 O argumento numero 2 de biochemicalAgentAntidote e' uma sub-classe de Substancia Biologica Ativa
(domainSubclass biochemicalAgentAntidote 3 Process) WMD.kif 915-915 O argumento numero 3 de biochemicalAgentAntidote e' uma sub-classe de Processo
(instance biochemicalAgentAntidote TernaryPredicate) WMD.kif 912-912 biochemicalAgentAntidote e' uma instancia de Predicado Ternario

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


(format ChineseLanguage biochemicalAgentAntidote "%1 %n{不是} biochemical 病毒解毒制剂 %2 对于 %3") domainEnglishFormat.kif 288-288
(format ChineseTraditionalLanguage biochemicalAgentAntidote "%1 %n{不是} biochemical 病毒解毒製劑 %2 對於 %3 ") domainEnglishFormat.kif 287-287
(format EnglishLanguage biochemicalAgentAntidote "%1 %n{doesn't} biochemical agent antidote %2 for %3 ") domainEnglishFormat.kif 286-286
(termFormat ChineseLanguage biochemicalAgentAntidote "生化剂解毒剂") domainEnglishFormat.kif 11033-11033
(termFormat ChineseTraditionalLanguage biochemicalAgentAntidote "生化劑解毒劑") domainEnglishFormat.kif 11032-11032
(termFormat EnglishLanguage biochemicalAgentAntidote "biochemical agent antidote") domainEnglishFormat.kif 11031-11031

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


(decreasesLikelihood
    (and
        (biochemicalAgentSyndrome ?AGENT ?SYMPTOM)
        (biochemicalAgentAntidote ?AGENT ?SUBSTANCE ?PROCESS)
        (instance ?SAMPLE ?SUBSTANCE)
        (instance ?THERAPY ?PROCESS)
        (experiencer ?THERAPY ?ORGANISM)
        (patient ?THERAPY ?SAMPLE))
    (attribute ?ORGANISM ?SYMPTOM))
WMD.kif 921-929 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM

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


(biochemicalAgentAntidote Lewisite Dimercaprol Covering) WMD.kif 507-507 biochemicalAgentAntidote Lewisite, Dimercaprol and Cobrir
(biochemicalAgentAntidote NerveAgent Atropine Injecting) WMD.kif 561-561 biochemicalAgentAntidote NerveAgent, Atropine and Injecting
(biochemicalAgentAntidote Soman PyridostigmineBromide Putting) WMD.kif 581-581 biochemicalAgentAntidote Soman, PyridostigmineBromide and Colocar


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