| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10406-10406 | Processus pathologique est une sous-classe de processus biologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5737-5737 | SkinRash est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5927-5927 | TakingIll est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6218-6218 | AllergicReaction est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6417-6417 | Hallucination est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6440-6440 | Atrophy est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6453-6453 | Bloating est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9938-9938 | Edema est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11349-11349 | HeartAttack est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11409-11409 | Pericarditis est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11746-11746 | Choking est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11891-11891 | Stroke est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16441-16441 | Insomnia est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19328-19328 | Pain est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19333-19333 | Headache est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10448-10448 | Blesser est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1893-1893 | GERefluxDisease est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2047-2047 | HeartPalpitations est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2194-2194 | AutoImmuneDisorder est une sous-classe de processus pathologique |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4324-4324 | HeartPalpitation est une sous-classe de processus pathologique |
|
|