No TPTP formula. May not be expressible in strict first order. | Merge.kif 18233-18233 | 疾病或综合症 是 生物属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 1025-1025 | 危及生命的疾病 是 疾病或综合症 的 subclass |
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. | WMD.kif 1357-1357 | 伤寒 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5799-5799 | 非特异性疾病 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5814-5814 | PhysicalDisease 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5825-5825 | 传染病 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5860-5860 | ParasiticDisease 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5873-5873 | FungalDisease 是 疾病或综合症 的 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. | Mid-level-ontology.kif 19750-19750 | Disability 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18377-18377 | 心理功能障碍 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1282-1282 | TraumaticBrainInjury 是 疾病或综合症 的 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. | Medicine.kif 2502-2502 | Pellagra 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2626-2626 | Scurvy 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2652-2652 | Rickets 是 疾病或综合症 的 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. | Medicine.kif 5096-5096 | RectalTenesmus 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5685-5685 | Sinusitis 是 疾病或综合症 的 subclass |