| PsychologicalProcess(psychological process) | | Passion, Passion_of_Christ, accept, act_on, adhere, adopt, advisement, affect, afterthought, air_castle, anticipate, apperception, apply, associative, associatory, await, bank, basic_cognitive_process, bedaze, believe, believe_in, besot, brainstorm, brainwave, breakdown, castle_in_Spain, castle_in_the_air, chimaera, chimera, cogitation, cognitive_operation, cognitive_process, coinage, color, colour, come, come_to, compensation, conceive, conceptualisation, conceptualization, concern, conform_to, confusion, consider, contemplation, contrivance, conversion, cost-benefit_analysis, daydream... |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2920-2921 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10395-10397 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1669-1670 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10393-10393 | Psychological process is a subclass of biological process |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16337-16337 | Becoming drunk 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. | Mid-level-ontology.kif 16374-16374 | Falling asleep 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 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18244-18244 | Frightening is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16460-16460 | Gaining consciousness is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18229-18229 | Imagining is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10535-10535 | Intentional psychological process is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16478-16478 | Losing consciousness is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13473-13473 | Perception is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12180-12180 | Remembering is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18342-18342 | Sleeping is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16358-16358 | Sobering up is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16390-16390 | Waking up is a subclass of psychological process |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1086-1086 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1383-1383 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 764-764 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 296-296 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 299-299 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2448-2448 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 716-716 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 335-335 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 785-785 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 300-300 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10399-10404 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2041-2041 | Brain fog is a subclass of impairment in psychological process |
|
|
|