TreeView Knowledge Base Browser

appearance as argument number 1

(instance actionTendency BinaryPredicate)	emotion.kif 135-135	action tendency is an instance of binary predicate
(domain actionTendency 1 EmotionalState)	emotion.kif 136-136	The number 1 argument of action tendency is an instance of emotional state
(domainSubclass actionTendency 2 EmotionalBehavioralProcess)	emotion.kif 137-137	The number 2 argument of action tendency is a subclass of emotional behavioral process
(documentation actionTendency EnglishLanguage "A tendency of an emotion to cause a particular type of action.")	emotion.kif 138-139	The number 2 argument of action tendency is a subclass of emotional behavioral process

appearance as argument number 2

(termFormat EnglishLanguage actionTendency "action tendency")

domainEnglishFormat.kif 65774-65774

antecedent

(=>
    (and
        (holdsDuring ?T
            (attribute ?A ?ES))
        (actionTendency ?ES ?PI))
    (modalAttribute
        (exists (?P)
            (and
                (instance ?P ?PI)
                (during
                    (WhenFn ?P) ?T)
                (experiencer ?P ?A))) Likely))

emotion.kif 141-152

If X is an attribute of Y holds during Z and action tendency X and W, then the statement there exists V such that V is an instance of W, the time of existence of V takes place during Z, and Y experiences V has the modal force of likely

appearance as argument number 0

(actionTendency Surprise SurprisedFacialExpression)	emotion.kif 154-154	action tendency surprise and surprised facial expression
(actionTendency Grief Weeping)	emotion.kif 155-155	action tendency grief and weeping
(actionTendency Happiness Laughing)	emotion.kif 156-156	action tendency happiness and laughing
(actionTendency Happiness Smiling)	emotion.kif 157-157	action tendency happiness and smiling
(actionTendency Unhappiness Frowning)	emotion.kif 158-158	action tendency unhappiness and frowning
(actionTendency Surprise JawDropping)	emotion.kif 159-159	action tendency surprise and jaw dropping
(actionTendency Surprise OpeningEyesWidely)	emotion.kif 160-160	action tendency surprise and opening eyes widely
(actionTendency Surprise RaisingEyebrows)	emotion.kif 161-161	action tendency surprise and raising eyebrows
(actionTendency Disgust DisgustedFacialExpression)	emotion.kif 162-162	action tendency disgust and disgusted facial expression
(actionTendency Fear FearfulFacialExpression)	emotion.kif 163-163	action tendency angst and fearful facial expression
(actionTendency Happiness HappyFacialExpression)	emotion.kif 164-164	action tendency happiness and happy facial expression
(actionTendency Sadness SadFacialExpression)	emotion.kif 165-165	action tendency sadness and sad facial expression
(actionTendency Anger AngryFacialExpression)	emotion.kif 166-166	action tendency anger and angry facial expression
(actionTendency Interested PupilsDilation)	emotion.kif 705-705	action tendency interest and dilated pupils
(actionTendency Fear PupilsDilation)	emotion.kif 793-793	action tendency angst and dilated pupils
(actionTendency Love PupilsDilation)	emotion.kif 794-794	action tendency love and dilated pupils
(actionTendency Anxiety PupilsDilation)	emotion.kif 795-795	action tendency anxiety and dilated pupils
(actionTendency Surprise PupilsDilation)	emotion.kif 796-796	action tendency surprise and dilated pupils
(actionTendency Anger PupilsConstriction)	emotion.kif 901-901	action tendency anger and miosis
(actionTendency Disgust PupilsConstriction)	emotion.kif 902-902	action tendency disgust and miosis

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

KB Term:			Term intersection

English Word: