| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18335-18335 | Attribut psychologique est une sous-classe de attribut biologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18363-18363 | �tat d'esprit Est une sous-classe de attribut psychologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18429-18429 | Attribut caract�ristique est une sous-classe de attribut psychologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18433-18433 | Dysfonctionement psychologique est une sous-classe de attribut psychologique |
|
|