| PsychologicalAttribute(psychological attribute) | | American_Dream, Anglophilia, Christ_Within, Electra_complex, Inner_Light, Light, Light_Within, Oedipal_complex, Oedipus_complex, Thanatos, abandon, abnormal, absentmindedness, absorption, abstractedness, abstraction, accept, acceptation, accepting, acceptive, accommodating, accommodative, acquiescence, acquired_taste, acumen, addiction, adeptness, adient, admired, adroitness, adventurism, affirmativeness, afraid, aggressive, aim, alertness, alienation, aloofness, amative, ambidexterity, ambidextrousness, ambition, ambitionless, ambitiousness, amenable, amicability, amicableness, amorous, analphabetism, anamnesis... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4032-4033 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18359-18360 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18358-18358 | Psychological attribute is exhaustively partitioned into state of mind and trait attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18356-18356 | Psychological attribute is a subclass of biological attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18454-18454 | Psychological dysfunction is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18384-18384 | State of mind is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18450-18450 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1262-1262 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1745-1745 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 940-940 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 476-476 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 479-479 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2624-2624 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 892-892 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 515-515 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 774-774 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 961-961 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 480-480 | Trait attribute is a subclass of psychological attribute |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18378-18382 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18370-18376 |
|
|
|
|