| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18376-18376 | Disfuncao Psicologica e' uma sub-classe de Atributo Psicologico |
| 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. | Mid-level-ontology.kif 6365-6365 | Neurosis e' uma sub-classe de Disfuncao Psicologica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6369-6369 | Psychosis e' uma sub-classe de Disfuncao Psicologica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6373-6373 | Depression e' uma sub-classe de Disfuncao Psicologica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9730-9730 | PostTraumaticStressDisorder e' uma sub-classe de Disfuncao Psicologica |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3293-3293 | ADHD e' uma sub-classe de Disfuncao Psicologica |
|
|