Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PsychologicalProcess
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners