TreeView Knowledge Base Browser - biochemicalAgentAntidote

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 907-910
No TPTP formula. May not be expressible in strict first order.	WMD.kif 904-904	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 905-905	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 906-906	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 903-903	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 11042-11042
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11041-11041
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11040-11040

statement

No TPTP formula. May not be expressible in strict first order.

WMD.kif 912-920

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

KB Term:			Term intersection

English Word: