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

Formal Language: 



KB Term:  Term intersection
English Word: 

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...

VerbNet: admire-31.2|value, admire-31.2|value, admire-31.2|value, admire-31.2|value,


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


(documentation StateOfMind ChineseLanguage " StateOfMind 的类别和它的补充类别 TraitAttribute 的分别在于,前者的实例是短暂的,而后者的实例却 是生物具有持久特征的行为/ 心理结构。") chinese_format.kif 4034-4036
(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 16910-16913
(subclass StateOfMind PsychologicalAttribute) Merge.kif 16909-16909 State of mind is a subclass of psychological attribute

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


(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 16883-16883 Psychological attribute is exhaustively partitioned into state of mind and trait attribute
(subclass Appraisal StateOfMind) emotion.kif 79-79 Appraisal is a subclass of state of mind
(subclass ConsciousnessAttribute StateOfMind) Merge.kif 16919-16919 Consciousness attribute is a subclass of state of mind
(subclass EmotionalState StateOfMind) Merge.kif 16915-16915 Emotional state is a subclass of state of mind
(termFormat ChineseLanguage StateOfMind "心理状态") chinese_format.kif 1263-1263
(termFormat EnglishLanguage StateOfMind "state of mind") english_format.kif 1752-1752

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


(=>
    (and
        (instance ?EXPRESS Expressing)
        (agent ?EXPRESS ?AGENT))
    (exists (?STATE)
        (and
            (instance ?STATE StateOfMind)
            (attribute ?AGENT ?STATE)
            (represents ?EXPRESS ?STATE))))
Merge.kif 12139-12147


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners