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 10373-10375 | |
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 10371-10371 | 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 16338-16338 | 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 16375-16375 | 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 18245-18245 | Frightening 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 18230-18230 | Imagining 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. | 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. | Merge.kif 13451-13451 | Perception 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 18320-18320 | Sleeping 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 16391-16391 | 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 10377-10382 |
|
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 |