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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - StateOfMind
StateOfMind(精神状態)

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 18285-18288
(subclass StateOfMind PsychologicalAttribute) Merge.kif 18284-18284 精神状態心理的属性subclass では %n

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


(partition PsychologicalAttribute StateOfMind TraitAttribute) Merge.kif 18258-18258 心理的属性精神状態 + 特性属性exhaustively partitioned %n
(subclass Appraisal StateOfMind) emotion.kif 79-79 Appraisal精神状態subclass では %n
(subclass ConsciousnessAttribute StateOfMind) Merge.kif 18294-18294 意識属性精神状態subclass では %n
(subclass EmotionalState StateOfMind) Merge.kif 18290-18290 感情状態精神状態subclass では %n
(termFormat ChineseLanguage StateOfMind "心理状态") chinese_format.kif 1263-1263
(termFormat EnglishLanguage StateOfMind "state of mind") english_format.kif 1747-1747
(termFormat FrenchLanguage StateOfMind "�tat d'esprit") french_format.kif 941-941
(termFormat Hindi StateOfMind "mano avasthaa, EmotionalState(bhaavaatmaka avasthaa") terms-hindi.txt 477-477
(termFormat ItalianLanguage StateOfMind "StatoMentale") terms-it.txt 480-480
(termFormat JapaneseLanguage StateOfMind "精神状態") japanese_format.kif 2625-2625
(termFormat PortugueseLanguage StateOfMind "Estado de Espirito") portuguese_format.kif 893-893
(termFormat cz StateOfMind "state of mind") terms-cz.txt 516-516
(termFormat ro StateOfMind "stare mentalã") relations-ro.kif 962-962
(termFormat tg StateOfMind "kalagayan ng pag-iisip") terms-tg.txt 481-481

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


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


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 3.0 is open source software produced by Articulate Software and its partners