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



KB Term:  Term intersection
English Word: 

  memberMeasure

Sigma KEE - emotionTendency
emotionTendency

appearance as argument number 1
-------------------------


(instance emotionTendency BinaryPredicate) emotion.kif 119-119 emotion tendency is an instance of binary predicate
(domain emotionTendency 1 AutonomousAgent) emotion.kif 120-120 The number 1 argument of emotion tendency is an instance of agent
(domain emotionTendency 2 EmotionalState) emotion.kif 121-121 The number 2 argument of emotion tendency is an instance of emotional state
(documentation emotionTendency EnglishLanguage "A tendency of an Agent to exhibit a particular emotion. Someone with such a tendency is more likely to exhibit an emotion, a priori, than someone without such tendency.") emotion.kif 122-124 The number 2 argument of emotion tendency is an instance of emotional state

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


(termFormat EnglishLanguage emotionTendency "emotion tendency") domainEnglishFormat.kif 65829-65829

antecedent
-------------------------


(=>
    (emotionTendency ?A ?ES)
    (greaterThan
        (ProbabilityFn
            (attribute ?A ?ES))
        (ProbabilityFn
            (not
                (attribute ?A ?ES)))))
emotion.kif 126-133 If emotion tendency X and Y, then the probability of Y is an attribute of X is greater than the probability of Y is not an attribute of X


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners