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
-------------------------


No TPTP formula. May not be expressible in strict first order. WMD.kif 874-877
No TPTP formula. May not be expressible in strict first order. WMD.kif 871-871 The number 1 argument of biochemical agent antidote is an instance of biochemical agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 872-872 The number 2 argument of biochemical agent antidote is a subclass of biologically active substance
No TPTP formula. May not be expressible in strict first order. WMD.kif 873-873 The number 3 argument of biochemical agent antidote is a subclass of process
No TPTP formula. May not be expressible in strict first order. WMD.kif 870-870 biochemical agent antidote is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 288-288
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 287-287
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 286-286
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10985-10985
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10984-10984
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10983-10983

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 879-887 ?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

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 502-502 Lewisite biochemical agent antidote dimercaprol for covering
No TPTP formula. May not be expressible in strict first order. WMD.kif 556-556 Nerve agent biochemical agent antidote atropine for poking
No TPTP formula. May not be expressible in strict first order. WMD.kif 576-576 Soman biochemical agent antidote pyridostigmine bromide for 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