No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3507-3507 | Epidemic est une sous-classe de LargeGroupProcess |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3531-3531 | Pandemic est une sous-classe de Epidemic |