| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18335-18335 | Atributo Psicologico e' uma sub-classe de Atributo Biologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18363-18363 | Estado de Espirito e' uma sub-classe de Atributo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18429-18429 | Atributo Caracteristico e' uma sub-classe de Atributo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18433-18433 | Disfuncao Psicologica e' uma sub-classe de Atributo Psicologico |
|
|