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

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners