No TPTP formula. May not be expressible in strict first order. | Merge.kif 18376-18376 | Psychological dysfunction is a subclass of psychological attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18377-18377 | Psychological dysfunction is a subclass of disease or syndrome |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6365-6365 | Neurosis is a subclass of psychological dysfunction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6369-6369 | Psychosis is a subclass of psychological dysfunction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6373-6373 | Depressed is a subclass of psychological dysfunction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9730-9730 | 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 |
![]() |