| 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 18281-18282 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18280-18280 | 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 18278-18278 | 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 18376-18376 | Psychological dysfunction is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18306-18306 | State of mind is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18372-18372 | Trait attribute is a subclass of psychological attribute |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1262-1262 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1745-1745 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 940-940 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 476-476 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 479-479 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2624-2624 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 892-892 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 515-515 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 961-961 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 480-480 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18300-18304 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18292-18298 |
|
|
|
|