No TPTP formula. May not be expressible in strict first order. | Merge.kif 18278-18278 | Attribut psychologique est une sous-classe de attribut biologique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18306-18306 | �tat d'esprit Est une sous-classe de attribut psychologique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18372-18372 | Attribut caract�ristique est une sous-classe de attribut psychologique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18376-18376 | Dysfonctionement psychologique est une sous-classe de attribut psychologique |
![]() |