DiseaseOrSyndrome(disease or syndrome) |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 635-635 | Hypothermia is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 99-99 | Injury is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2082-2082 | Insomnia is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10481-10481 | Hypotension is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4768-4768 | Narcolepsy is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6303-6303 | Paralysis is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4965-4965 | Stomach ulcers is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6190-6190 | Pneumonia is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 787-787 | Collapsed lung is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1457-1457 | PEM is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5303-5303 | Reinfection is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1249-1249 | Respiratory distress is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5964-5964 | Severe blood loss is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6404-6404 | Sexual dysfunction is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5784-5784 | Shock is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4147-4147 | Sleep apnea is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18240-18240 | The range of dead or missing body part fn is an instance of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18219-18219 | The range of impaired body part fn is an instance 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. | 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. | Medicine.kif 2121-2121 | Diabetes mellitus 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. | 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. | Mid-level-ontology.kif 5874-5874 | Fungal disease is a subclass of disease or syndrome |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |