| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10406-10406 | Pathologic process is a subclass of biological process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5737-5737 | Rash is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5927-5927 | Taking ill is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6218-6218 | Allergic reaction is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6417-6417 | Hallucination is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6440-6440 | Atrophy is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6453-6453 | Bloating is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9938-9938 | Swelling is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11349-11349 | Myocardial infarction is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11409-11409 | Pericarditis is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11746-11746 | Choking is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11891-11891 | Stroke is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16441-16441 | Insomnia is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19328-19328 | Pain is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19333-19333 | Headache is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10448-10448 | Injuring is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1893-1893 | GERD is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2047-2047 | Palpitations is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2194-2194 | Auto-immune disease is a subclass of pathologic process |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4324-4324 | Palpitations is a subclass of pathologic process |
|
|