TreeView Knowledge Base Browser

appearance as argument number 1

(documentation actionTendency EnglishLanguage "A tendency of an emotion to cause a particular type of action.")	emotion.kif 158-159
(domain actionTendency 1 EmotionalState)	emotion.kif 156-156	The number 1 argument of actionTendency is an instance of emotional state
(domainSubclass actionTendency 2 EmotionalBehavioralProcess)	emotion.kif 157-157	The number 2 argument of actionTendency is a subclass of emotional behavioral process
(instance actionTendency BinaryRelation)	emotion.kif 155-155	actionTendency is an instance of binary relation

antecedent

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

emotion.kif 161-172

If an emotional state is an attribute of an entity holds during a time position and actionTendency the emotional state and a kind of emotional behavioral process,
then the statement there exists a kind of emotional behavioral processI such that the kind of emotional behavioral process is an instance of the kind of emotional behavioral processI and the kind of emotional behavioral processI takes place during the time position and the entity experiences the kind of emotional behavioral processI has the modal force of likely

appearance as argument number 0

(actionTendency Anger AngryFacialExpression)	emotion.kif 186-186	actionTendency anger and angry facial expression
(actionTendency Disgust DisgustedFacialExpression)	emotion.kif 182-182	actionTendency disgust and disgusted facial expression
(actionTendency Fear FearfulFacialExpression)	emotion.kif 183-183	actionTendency angst and fearful facial expression
(actionTendency Grief Weeping)	emotion.kif 175-175	actionTendency grief and weeping
(actionTendency Happiness HappyFacialExpression)	emotion.kif 184-184	actionTendency happiness and happy facial expression
(actionTendency Happiness Laughing)	emotion.kif 176-176	actionTendency happiness and laughing
(actionTendency Happiness Smiling)	emotion.kif 177-177	actionTendency happiness and smiling
(actionTendency Sadness SadFacialExpression)	emotion.kif 185-185	actionTendency sadness and sad facial expression
(actionTendency Surprise JawDropping)	emotion.kif 179-179	actionTendency surprise and jaw dropping
(actionTendency Surprise OpeningEyesWidely)	emotion.kif 180-180	actionTendency surprise and opening eyes widely
(actionTendency Surprise RaisingEyebrows)	emotion.kif 181-181	actionTendency surprise and raising eyebrows
(actionTendency Surprise SurprisedFacialExpression)	emotion.kif 174-174	actionTendency surprise and surprised facial expression
(actionTendency Unhappiness Frowning)	emotion.kif 178-178	actionTendency unhappiness and frowning

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

KB Term:			Term intersection

English Word: