No TPTP formula. May not be expressible in strict first order. | WMD.kif 246-246 | Rickettsial agent is a subclass of bacterial agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 252-252 | Rickettsia rickettsii is a subclass of rickettsial agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 266-266 | Rickettsia prowazekii is a subclass of rickettsial agent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1248-1248 | Coxiella burnetii is a subclass of rickettsial agent |