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 916-919
(domain biochemicalAgentAntidote 1 BiochemicalAgent) WMD.kif 913-913 The number 1 argument of biochemical agent antidote is an instance of biochemical agent
(domainSubclass biochemicalAgentAntidote 2 BiologicallyActiveSubstance) WMD.kif 914-914 The number 2 argument of biochemical agent antidote is a subclass of biologically active substance
(domainSubclass biochemicalAgentAntidote 3 Process) WMD.kif 915-915 The number 3 argument of biochemical agent antidote is a subclass of process
(instance biochemicalAgentAntidote TernaryPredicate) WMD.kif 912-912 biochemical agent antidote is an instance of ternary predicate

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 11044-11044
(termFormat ChineseTraditionalLanguage biochemicalAgentAntidote "生化劑解毒劑") domainEnglishFormat.kif 11043-11043
(termFormat EnglishLanguage biochemicalAgentAntidote "biochemical agent antidote") domainEnglishFormat.kif 11042-11042

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 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

Show without tree


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