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 18259-18260 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18258-18258 | 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 18256-18256 | 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 18354-18354 | Psychological dysfunction is a subclass of psychological attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18284-18284 | State of mind is a subclass of psychological attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18350-18350 | 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 18278-18282 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18270-18276 |
|