| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18354-18354 | Psychological dysfunction is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18355-18355 | Psychological dysfunction is a subclass of disease or syndrome |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6366-6366 | Neurosis is a subclass of psychological dysfunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6370-6370 | Psychosis is a subclass of psychological dysfunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6374-6374 | Depressed is a subclass of psychological dysfunction |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9731-9731 | PTSD is a subclass of psychological dysfunction |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3293-3293 | Attention deficit hyperactivity disorder is a subclass of psychological dysfunction |
|
|