| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10393-10393 | Processus psychologique est une sous-classe de processus biologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16337-16337 | BecomingDrunk est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16358-16358 | SoberingUp est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16374-16374 | FallingAsleep est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16390-16390 | WakingUp est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16460-16460 | GainingConsciousness est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16478-16478 | LosingConsciousness est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18229-18229 | Imagining est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18244-18244 | Frightening est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10535-10535 | Processus psycholoqique intentionnel est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12180-12180 | Se rappeler est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13473-13473 | Perception est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18342-18342 | Sleeping est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 117-117 | EmotionalBehavioralProcess est une sous-classe de processus psychologique |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4446-4446 | Forgetting est une sous-classe de processus psychologique |
|
|