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.	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.	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 5861-5861	Parasitic disease 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.	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.	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 5096-5096	Rectal tenesmus 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 2626-2626	Scurvy 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
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.	WMD.kif 1357-1357	Typhoid fever is a subclass of disease or syndrome
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1261-1261
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1743-1743
No TPTP formula. May not be expressible in strict first order.	french_format.kif 939-939
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 475-475
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 478-478
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2623-2623
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 891-891
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 480-480
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 514-514
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 960-960
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 479-479
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