No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5820-5820 |
PhysicalDisease 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5024-5024 |
Anorexia 是 心理功能障碍 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4987-4987 |
Bulimia 是 心理功能障碍 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 4006-4006 |
ObsessiveCompulsiveDisorder 是 心理功能障碍 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3293-3293 |
ADHD 是 心理功能障碍 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6374-6374 |
Depression 是 心理功能障碍 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6366-6366 |
神经官能症 是 心理功能障碍 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9731-9731 |
PostTraumaticStressDisorder 是 心理功能障碍 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6370-6370 |
精神病 是 心理功能障碍 的 subclass |
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 |
|