TreeView Knowledge Base Browser

appearance as argument number 1

(instance Boredom EmotionalState)	emotion.kif 1929-1929	Boredom is an instance of emotional state
(documentation Boredom EnglishLanguage "Boredom is an emotion characterized by uninterest in one's surrounding, often caused by a lack of distractions or occupations. It seems to be a specific mental state that people find unpleasant. [Wikipedia] Here, it is defined as lack of interest in doing an intentional process in the near future. And People don't desire to be bored.")	emotion.kif 1933-1937	Boredom is an instance of emotional state

appearance as argument number 2

(utterance EnglishLanguage Boredom "bored")	emotion.kif 1928-1928	utterance english language, boredom and "bored"
(termFormat EnglishLanguage Boredom "boredom")	emotion.kif 1930-1930	utterance english language, boredom and "bored"
(names "ennui" Boredom)	emotion.kif 1931-1931	Boredom has name "ennui"
(names "tedium" Boredom)	emotion.kif 1932-1932	Boredom has name "tedium"

antecedent

(=> (holdsDuring ?T (attribute ?A Boredom)) (not (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?A) (enjoys ?H ?P) (during (ImmediateFutureFn ?P) ?T)))))	emotion.kif 1939-1949	If boredom is an attribute of X holds during Y, then there doesn't exist Z such that Z is an instance of intentional process, X is an agent of Z, W enjoys Z, and immediately after Z takes place during Y
(=> (holdsDuring ?T (attribute ?A Boredom)) (not (desires ?A (exists (?P) (and (instance ?P IntentionalProcess) (agent ?P ?A) (during (ImmediateFutureFn ?P) ?T))))))	emotion.kif 1957-1967	If boredom is an attribute of X holds during Y, then X doesn't desire there doesn't exist Z such that Z is an instance of intentional process, X is an agent of Z, and immediately after Z takes place during Y

consequent

(=>
    (instance ?H Human)
    (not
        (desires ?H
            (attribute ?H Boredom))))

If X is an instance of human, then X doesn't desire boredom is not an attribute of X