| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18211-18211 | Disease or syndrome is a subclass of biological attribute |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1025-1025 | Life threatening disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1342-1342 | Acquired immuno deficiency syndrome is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1357-1357 | Typhoid fever is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5800-5800 | Nonspecific disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5815-5815 | Physical disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5826-5826 | Infectious disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5861-5861 | Parasitic disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5874-5874 | Fungal disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5906-5906 | Chronic disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19751-19751 | Disability is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18355-18355 | Psychological dysfunction is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1282-1282 | TBI is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2121-2121 | Diabetes mellitus is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2502-2502 | Pellagra is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2626-2626 | Scurvy is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2652-2652 | Rickets is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4217-4217 | Dysautonomia is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4521-4521 | Fibromyalgia is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5096-5096 | Rectal tenesmus is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5685-5685 | Sinus infection is a subclass of disease or syndrome |
|
|