No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5928-5928 | Taking ill is a subclass of pathologic process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5841-5841 | Infecting is a subclass of taking ill |