| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18233-18233 | Doenca ou Sindrome e' uma sub-classe de Atributo Biologico |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1025-1025 | LifeThreateningDisease e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1342-1342 | AcquiredImmunoDeficiencySyndrome e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1357-1357 | TyphoidFever e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5799-5799 | NonspecificDisease e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5814-5814 | PhysicalDisease e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5825-5825 | InfectiousDisease e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5860-5860 | ParasiticDisease e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5873-5873 | FungalDisease e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5905-5905 | ChronicDisease e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19750-19750 | Disability e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18377-18377 | Disfuncao Psicologica e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1282-1282 | TraumaticBrainInjury e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2121-2121 | Diabetes e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2502-2502 | Pellagra e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2626-2626 | Scurvy e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2652-2652 | Rickets e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4217-4217 | Dysautonomia e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4521-4521 | Fibromyalgia e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5096-5096 | RectalTenesmus e' uma sub-classe de Doenca ou Sindrome |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5685-5685 | Sinusitis e' uma sub-classe de Doenca ou Sindrome |
|
|