|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 635-635 | Hypothermia 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 99-99 | Injury 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2082-2082 | Insomnia 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10481-10481 | LowBloodPressure 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4768-4768 | Narcolepsy 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6303-6303 | 麻痹 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4965-4965 | PepticUlcers 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6190-6190 | Pneumonia 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 787-787 | Pneumothorax 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1457-1457 | PostExertionalMalaise 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5303-5303 | Reinfection 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1249-1249 | RespiratoryDistress 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5964-5964 | SevereBloodLoss 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6404-6404 | SexualDysfunction 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5784-5784 | Shock 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4147-4147 | SleepApnea 是 疾病或综合症 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18240-18240 | DeadOrMissingBodyPartFn 的 range 是 疾病或综合症 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18219-18219 | ImpairedBodyPartFn 的 range 是 疾病或综合症 的实例 |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1342-1342 | 获得性免疫缺陷综合症 是 疾病或综合症 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5906-5906 | ChronicDisease 是 疾病或综合症 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2121-2121 | Diabetes 是 疾病或综合症 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19751-19751 | Disability 是 疾病或综合症 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4217-4217 | Dysautonomia 是 疾病或综合症 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4521-4521 | Fibromyalgia 是 疾病或综合症 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5874-5874 | FungalDisease 是 疾病或综合症 的 subclass |
| 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