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



KB Term:  Term intersection
English Word: 

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


(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10757-10757 Intentional psychological process is a subclass of intentional process
(subclass IntentionalPsychologicalProcess ContentBearingProcess) Merge.kif 10758-10758 Intentional psychological process is a subclass of content bearing process
(subclass IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10759-10759 Intentional psychological process is a subclass of psychological process
(documentation IntentionalPsychologicalProcess EnglishLanguage "An IntentionalProcess is a process that can be realized entirely within the mind or brain of an Organism. Thus,for example, Reasoning is a subclass of IntentionalPsychologicalProcess, because one can reason simply by exercising one's mind/ brain. On the other hand, RecreationOrExercise is not a subclass of IntentionalPsychologicalProcess, because many instances of RecreationOrExercise necessarily have subProcesses of BodyMotion.") Merge.kif 10761-10767 Intentional psychological process is a subclass of psychological process

appearance as argument number 2
-------------------------


(subclass Planning IntentionalPsychologicalProcess) Merge.kif 11082-11082 Planning is a subclass of intentional psychological process
(subclass Interpreting IntentionalPsychologicalProcess) Merge.kif 11105-11105 Interpreting is a subclass of intentional psychological process
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 12215-12215 Learning is a subclass of intentional psychological process
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 12241-12241 Discovering is a subclass of intentional psychological process
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 12270-12270 Classifying is a subclass of intentional psychological process
(subclass Reasoning IntentionalPsychologicalProcess) Merge.kif 12278-12278 Reasoning is a subclass of intentional psychological process
(subclass Selecting IntentionalPsychologicalProcess) Merge.kif 12287-12287 Selecting is a subclass of intentional psychological process
(subclass Comparing IntentionalPsychologicalProcess) Merge.kif 12394-12394 Comparing is a subclass of intentional psychological process
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12400-12400 Calculating is a subclass of intentional psychological process
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12430-12430 Predicting is a subclass of intentional psychological process
(subclass Investigating IntentionalPsychologicalProcess) Merge.kif 13212-13212 Investigating is a subclass of intentional psychological process
(subclass AppraisalProcess IntentionalPsychologicalProcess) emotion.kif 48-48 Appraisal process is a subclass of intentional psychological process
(termFormat EnglishLanguage IntentionalPsychologicalProcess "intentional psychological process") english_format.kif 1399-1399 Appraisal process is a subclass of intentional psychological process

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