No TPTP formula. May not be expressible in strict first order. | WMD.kif 1066-1066 | Vaccination e' uma sub-classe de Processo Terapeutico |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1067-1067 | Vaccination e' uma sub-classe de Translocation |