| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10393-10393 | Processo Psicologico e' uma sub-classe de Processo Biologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16337-16337 | BecomingDrunk e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16358-16358 | SoberingUp e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16374-16374 | FallingAsleep e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16390-16390 | WakingUp e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16460-16460 | GainingConsciousness e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16478-16478 | LosingConsciousness e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18229-18229 | Imagining e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18244-18244 | Frightening e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10535-10535 | Processo Psicologico Intencional e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12180-12180 | Recordar e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13473-13473 | Percepcao e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18342-18342 | Sleeping e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 117-117 | EmotionalBehavioralProcess e' uma sub-classe de Processo Psicologico |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4446-4446 | Forgetting e' uma sub-classe de Processo Psicologico |
|
|