![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| IntentionalPsychologicalProcess(intentional psychological process) | Americanise, Americanize, abase, abash, abhor, abominate, about-face, absorb, abstract, accredit, acerbate, ache, acquaint, acquire, addle, admire, adopt, adore, afflict, affright, aggravate, aggrieve, agitate, agonise, agonize, aim, alarm, alien, alienate, allay, amaze, ambition, analyse, analytic, analytical, analytically, analyze, analyzed, anger, anguish, animate, annoy, answer, anthropomorphise, anthropomorphize, anticipate, apotheose, apotheosise, apotheosize, appal... |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?H1 ADHD) (not (attribute ?H2 ADHD)) (not (equal ?H1 ?H2)) (instance ?I1 ?IC) (instance ?I2 ?IC) (subclass ?IC IntentionalPsychologicalProcess) (agent ?I1 ?H1) (agent ?I2 ?H2) (duration (WhenFn ?I1) ?D1) (duration (WhenFn ?I2) ?D2)) (modalAttribute (greaterThan ?D2 ?D1) Likely)) |
Medicine.kif 4018-4038 | If All of the following hold: (1) attention deficit hyperactivity disorder is an attribute of X (2) attention deficit hyperactivity disorder is not an attribute of Y (3) equal X and Y (4) Z is an instance of W (5) V is an instance of W (6) W is a subclass of intentional psychological process (7) X is an agent of Z (8) Y is an agent of V (9) duration of the time of existence of Z is U (10) duration of the time of existence of V is T, then the statement T is greater than U has the modal force of likely |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?A Interested)) (exists (?O ?I) (and (instance ?O Object) (patient ?I ?O) (instance ?I IntentionalPsychologicalProcess) (agent ?I ?A) (enjoys ?A ?I) (during ?T (WhenFn ?I))))) |
emotion.kif 707-718 | If interest is an attribute of X holds during Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of object (3) Z is a patient of W (4) W is an instance of intentional psychological process (5) X is an agent of W (6) X enjoys W (7) Y takes place during the time of existence of W |
| statement |
|
|
| (subclass BrainFog (ImpairmentFn IntentionalPsychologicalProcess)) |
Medicine.kif 2981-2981 | Brain fog is a subclass of impairment in intentional psychological process |