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 10480-10480	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 6302-6302	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 6189-6189	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 1248-1248	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 6403-6403	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 18262-18262	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 18241-18241	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 5905-5905	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 19750-19750	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 5873-5873	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