No TPTP formula. May not be expressible in strict first order. | Merge.kif 10371-10371 | Psychological process is a subclass of biological process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16338-16338 | Becoming drunk is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16359-16359 | Sobering up is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16375-16375 | Falling asleep is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16391-16391 | Waking up is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16461-16461 | Gaining consciousness is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16479-16479 | Losing consciousness is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18230-18230 | Imagining is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18245-18245 | Frightening is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10513-10513 | Intentional psychological process is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12158-12158 | Remembering is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13451-13451 | Perception is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18320-18320 | Sleeping is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 117-117 | Emotional behavioral process is a subclass of psychological process |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4446-4446 | Forgetting is a subclass of psychological process |