No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5819-5819 |
PhysicalDisease est disjoint de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5024-5024 |
Anorexia est une instance de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4987-4987 |
Bulimia est une instance de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4006-4006 |
ObsessiveCompulsiveDisorder est une instance de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3293-3293 |
ADHD est une sous-classe de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6373-6373 |
Depression est une sous-classe de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6365-6365 |
Neurosis est une sous-classe de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9730-9730 |
PostTraumaticStressDisorder est une sous-classe de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6369-6369 |
Psychosis est une sous-classe de dysfonctionement psychologique |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1270-1270 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1761-1761 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 948-948 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 483-483 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 487-487 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2632-2632 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 900-900 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 523-523 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 969-969 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 488-488 |
|