|
| 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 10480-10480 | 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 6302-6302 | 麻痹 是 疾病或综合症 的 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 6189-6189 | 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 1248-1248 | 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 6403-6403 | 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 18262-18262 | DeadOrMissingBodyPartFn 的 range 是 疾病或综合症 的实例 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18241-18241 | 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 5905-5905 | 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 19750-19750 | 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 5873-5873 | 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