No TPTP formula. May not be expressible in strict first order. | Merge.kif 18211-18211 | 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 5800-5800 | NonspecificDisease e' uma sub-classe de Doenca ou Sindrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5815-5815 | PhysicalDisease e' uma sub-classe de Doenca ou Sindrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5826-5826 | InfectiousDisease e' uma sub-classe de Doenca ou Sindrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5861-5861 | ParasiticDisease e' uma sub-classe de Doenca ou Sindrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5874-5874 | FungalDisease e' uma sub-classe de Doenca ou Sindrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5906-5906 | ChronicDisease e' uma sub-classe de Doenca ou Sindrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19751-19751 | Disability e' uma sub-classe de Doenca ou Sindrome |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18355-18355 | 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 |