![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
PsychologicalProcess
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PsychologicalProcess BiologicalProcess) | Merge.kif 10618-10618 | Psychological process is a subclass of biological process |
| (documentation PsychologicalProcess EnglishLanguage "A BiologicalProcess which takes place in the mind or brain of an Organism and which may be manifested in the behavior of the Organism.") | Merge.kif 10620-10622 | Psychological process is a subclass of biological process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PROCESS PsychologicalProcess) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (experiencer ?PROCESS ?ANIMAL)))) |
Merge.kif 10624-10629 | If X is an instance of psychological process, then there exists Y such that Y is an instance of animal and Y experiences X |
| statement |
|
|
| (subclass ThinkingDifficulty (ImpairmentFn PsychologicalProcess)) |
Medicine.kif 2028-2028 | Brain fog is a subclass of impairment in psychological process |