No TPTP formula. May not be expressible in strict first order. | Merge.kif 18211-18211 | 疾病或综合症 是 生物属性 的 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 5800-5800 | 非特异性疾病 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5815-5815 | PhysicalDisease 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5826-5826 | 传染病 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5861-5861 | ParasiticDisease 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5874-5874 | FungalDisease 是 疾病或综合症 的 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. | Mid-level-ontology.kif 19751-19751 | Disability 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18355-18355 | 心理功能障碍 是 疾病或综合症 的 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 |