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


KB Term:  Term intersection
English Word: 

  StateOfMind

 Sigma KEE - StateOfMind
StateOfMind(state of mind)Anglophilic, Anglophobic, absent, absently, absentminded, absentmindedly, absorbed, abstracted, abstractedly, aching, achy, adoring, advertent, agonising, agonizing, anti, apathetic, appreciate, approvingly, askance, assuredly, attentive, awed, aweless, awestricken, awestruck, awful, awless, barefacedly, beguiled, bewilderedly, bewitched, bored, bowed_down, burdened, captivated, captive, case, chafed, charmed, chilly, climate, clinical, cold, cold-blooded, cold-eyed, comfortably, con, confidently, confoundedly...

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


(subclass StateOfMind PsychologicalAttribute) Merge.kif 18625-18625 State of mind is a subclass of psychological attribute
(documentation StateOfMind EnglishLanguage "The class StateOfMind is distinguished from its complement TraitAttribute by the fact that instances of the former are transient while instances of the latter are persistent features of a creature's behavioral/ psychological make-up.") Merge.kif 18626-18629 State of mind is a subclass of psychological attribute

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


(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 18599-18599 Psychological attribute is exhaustively partitioned into state of mind and trait attribute
(subclass EmotionalState StateOfMind) Merge.kif 18631-18631 Emotional state is a subclass of state of mind
(subclass ConsciousnessAttribute StateOfMind) Merge.kif 18642-18642 Consciousness attribute is a subclass of state of mind
(subclass Appraisal StateOfMind) emotion.kif 89-89 Appraisal is a subclass of state of mind
(termFormat EnglishLanguage StateOfMind "state of mind") english_format.kif 1751-1751 Appraisal is a subclass of state of mind

consequent
-------------------------


(=>
    (and
        (instance ?EXPRESS Expressing)
        (agent ?EXPRESS ?AGENT))
    (exists (?STATE)
        (and
            (instance ?STATE StateOfMind)
            (attribute ?AGENT ?STATE)
            (represents ?EXPRESS ?STATE))))		 Merge.kif 13415-13423 If X is an instance of expressing and Y is an agent of X, then there exists Z such that Z is an instance of state of mind, Z is an attribute of Y, and X expresses Z


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