No TPTP formula. May not be expressible in strict first order. | Merge.kif 18376-18376 | 心理功能障碍 是 心理属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18377-18377 | 心理功能障碍 是 疾病或综合症 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6365-6365 | 神经官能症 是 心理功能障碍 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6369-6369 | 精神病 是 心理功能障碍 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6373-6373 | Depression 是 心理功能障碍 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9730-9730 | PostTraumaticStressDisorder 是 心理功能障碍 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3293-3293 | ADHD 是 心理功能障碍 的 subclass |