|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 626-626 | 例 Hypothermia and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 99-99 | 例 Injury and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2079-2079 | 例 Insomnia and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11812-11812 | 例 LowBloodPressure and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4775-4775 | 例 Narcolepsy and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7240-7240 | 例 麻痺 and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4972-4972 | 例 PepticUlcers and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7127-7127 | 例 Pneumonia and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 778-778 | 例 Pneumothorax and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1449-1449 | 例 PostExertionalMalaise and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5312-5312 | 例 Reinfection and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1257-1257 | 例 RespiratoryDistress and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5981-5981 | 例 SevereBloodLoss and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7341-7341 | 例 SexualDysfunction and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5795-5795 | 例 Shock and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4153-4153 | 例 SleepApnea and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18427-18427 | 範圍 DeadOrMissingBodyPartFn and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18406-18406 | 範圍 ImpairedBodyPartFn and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1342-1342 | 子類 獲得性免疫缺陷綜合症 and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6843-6843 | 子類 ChronicDisease and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2118-2118 | 子類 Diabetes and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21322-21322 | 子類 Disability and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4224-4224 | 子類 Dysautonomia and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4528-4528 | 子類 Fibromyalgia and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6811-6811 | 子類 FungalDisease and DiseaseOrSyndrome |
| 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