|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 635-635 | 例 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 2082-2082 | 例 Insomnia and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10481-10481 | 例 LowBloodPressure and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4768-4768 | 例 Narcolepsy and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6303-6303 | 例 麻痺 and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4965-4965 | 例 PepticUlcers and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6190-6190 | 例 Pneumonia and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 787-787 | 例 Pneumothorax and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1457-1457 | 例 PostExertionalMalaise and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5303-5303 | 例 Reinfection and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1249-1249 | 例 RespiratoryDistress and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5964-5964 | 例 SevereBloodLoss and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6404-6404 | 例 SexualDysfunction and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5784-5784 | 例 Shock and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4147-4147 | 例 SleepApnea and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18240-18240 | 範圍 DeadOrMissingBodyPartFn and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18219-18219 | 範圍 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 5906-5906 | 子類 ChronicDisease and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2121-2121 | 子類 Diabetes and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19751-19751 | 子類 Disability and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4217-4217 | 子類 Dysautonomia and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4521-4521 | 子類 Fibromyalgia and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5874-5874 | 子類 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