| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5840-5840 | Infecting e' uma sub-classe de TakingIll |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3172-3172 | BreakthroughInfection e' uma sub-classe de Infecting |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3209-3209 | CommunitySpread e' uma sub-classe de Infecting |
|
|