No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5819-5819 |
PhysicalDisease e' disjunto de Disfuncao Psicologica |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5024-5024 |
Anorexia e' uma instancia de Disfuncao Psicologica |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4987-4987 |
Bulimia e' uma instancia de Disfuncao Psicologica |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4006-4006 |
ObsessiveCompulsiveDisorder e' uma instancia 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 |
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 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 9730-9730 |
PostTraumaticStressDisorder 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. |
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 |
|