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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PropositionalAttitude
PropositionalAttitude(命题态度)

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


(documentation PropositionalAttitude ChineseLanguage "这是一个 IntentionalRelation Class,它的 AgentProposition 有认知。") chinese_format.kif 1925-1926
(documentation PropositionalAttitude EnglishLanguage "The Class of IntentionalRelations where the Agent has awareness of a Proposition.") Merge.kif 2644-2646
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2641-2641 命题态度非对称关系subclass
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2642-2642 命题态度可继承的关系subclass
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2640-2640 命题态度有意图的关系subclass

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


(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2656-2656 对象态度 和 % 2 是 disjoint
(instance believes PropositionalAttitude) Merge.kif 2753-2753 相信命题态度instance
(instance considers PropositionalAttitude) Merge.kif 2743-2743 考虑命题态度instance
(instance desires PropositionalAttitude) Merge.kif 2730-2730 渴望命题态度instance
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7116-7116 不赞成命题态度instance
(instance doubts PropositionalAttitude) Mid-level-ontology.kif 7088-7088 疑惑命题态度instance
(instance knows PropositionalAttitude) Merge.kif 2768-2768 知道命题态度instance
(termFormat ChineseLanguage PropositionalAttitude "命题态度") chinese_format.kif 908-908
(termFormat EnglishLanguage PropositionalAttitude "propositional attitude") english_format.kif 1023-1023

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


(=>
    (and
        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))
Merge.kif 2648-2652


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