No TPTP formula. May not be expressible in strict first order.
WMD.kif 767-773
?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.