No TPTP formula. May not be expressible in strict first order. | WMD.kif 1066-1066 | Vaccination is a subclass of therapeutic process |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1067-1067 | Vaccination is a subclass of translocation |