No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5826-5826	子類 傳染病 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1025-1025	子類 危及生命的疾病 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5800-5800	子類 非特異性疾病 and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5861-5861	子類 ParasiticDisease and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2502-2502	子類 Pellagra and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5815-5815	子類 PhysicalDisease and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18355-18355	子類 PsychologicalDysfunction and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5096-5096	子類 RectalTenesmus and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2652-2652	子類 Rickets and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2626-2626	子類 Scurvy and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5685-5685	子類 Sinusitis and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1282-1282	子類 TraumaticBrainInjury and DiseaseOrSyndrome
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1357-1357	子類 傷寒 and DiseaseOrSyndrome
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