| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18211-18211 | 子類 DiseaseOrSyndrome and BiologicalAttribute |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1025-1025 | 子類 危及生命的疾病 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. | WMD.kif 1357-1357 | 子類 傷寒 and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5800-5800 | 子類 非特異性疾病 and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5815-5815 | 子類 PhysicalDisease and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5826-5826 | 子類 傳染病 and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5861-5861 | 子類 ParasiticDisease and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5874-5874 | 子類 FungalDisease 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. | Mid-level-ontology.kif 19751-19751 | 子類 Disability and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18355-18355 | 子類 PsychologicalDysfunction and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1282-1282 | 子類 TraumaticBrainInjury 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. | Medicine.kif 2502-2502 | 子類 Pellagra and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2626-2626 | 子類 Scurvy and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2652-2652 | 子類 Rickets 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. | Medicine.kif 5096-5096 | 子類 RectalTenesmus and DiseaseOrSyndrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5685-5685 | 子類 Sinusitis and DiseaseOrSyndrome |
|
|