| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18233-18233 | 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 5799-5799 | Nonspecific disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5814-5814 | Physical disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5825-5825 | Infectious disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5860-5860 | Parasitic disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5873-5873 | Fungal disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5905-5905 | Chronic disease is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19750-19750 | Disability is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18377-18377 | 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 |
|
|