Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 912-915
(
domain
biochemicalAgentAntidote
1
BiochemicalAgent
)
WMD.kif 909-909
domain
biochemicalAgentAntidote
, 1 and
BiochemicalAgent
(
domainSubclass
biochemicalAgentAntidote
2
BiologicallyActiveSubstance
)
WMD.kif 910-910
domainSubclass
biochemicalAgentAntidote
, 2 and
BiologicallyActiveSubstance
(
domainSubclass
biochemicalAgentAntidote
3
Process
)
WMD.kif 911-911
domainSubclass
biochemicalAgentAntidote
, 3 and
Process
(
instance
biochemicalAgentAntidote
TernaryPredicate
)
WMD.kif 908-908
instance
biochemicalAgentAntidote
and
TernaryPredicate
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 11042-11042
(
termFormat
ChineseTraditionalLanguage
biochemicalAgentAntidote
"生化劑解毒劑")
domainEnglishFormat.kif 11041-11041
(
termFormat
EnglishLanguage
biochemicalAgentAntidote
"biochemical agent antidote")
domainEnglishFormat.kif 11040-11040
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 917-925
decreasesLikelihood
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentAntidote
?AGENT, ?SUBSTANCE and ?PROCESS
instance
?SAMPLE and ?SUBSTANCE
instance
?THERAPY and ?PROCESS
experiencer
?THERAPY and ?ORGANISM
patient
?THERAPY and ?SAMPLE and
attribute
?ORGANISM and ?SYMPTOM
appearance as argument number 0
(
biochemicalAgentAntidote
Lewisite
Dimercaprol
Covering
)
WMD.kif 507-507
biochemicalAgentAntidote
Lewisite
,
Dimercaprol
and
Covering
(
biochemicalAgentAntidote
NerveAgent
Atropine
Poking
)
WMD.kif 561-561
biochemicalAgentAntidote
NerveAgent
,
Atropine
and
Poking
(
biochemicalAgentAntidote
Soman
PyridostigmineBromide
Putting
)
WMD.kif 581-581
biochemicalAgentAntidote
Soman
,
PyridostigmineBromide
and
Putting
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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