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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PropositionalAttitude

Sigma KEE - PropositionalAttitude
PropositionalAttitude(propositional attitude)Kalashnikov_culture, attitude, bird's_eye_view, countertransference, culture, cyberculture, floodgate, futurism, hard_line, high_horse, mental_attitude, mosaic_culture, panoramic_view, recognition, straddle, transference

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 2599-2601
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2596-2596 Propositional attitude is a subclass of asymmetric relation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2597-2597 Propositional attitude is a subclass of inheritable relation
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2595-2595 Propositional attitude is a subclass of intentional relation

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


(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2611-2611 Object attitude is disjoint from propositional attitude
(instance believes PropositionalAttitude) Merge.kif 2708-2708 believes is an instance of propositional attitude
(instance considers PropositionalAttitude) Merge.kif 2698-2698 considers is an instance of propositional attitude
(instance desires PropositionalAttitude) Merge.kif 2685-2685 desires is an instance of propositional attitude
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7147-7147 disapproves is an instance of propositional attitude
(instance doubts PropositionalAttitude) Mid-level-ontology.kif 7119-7119 doubts is an instance of propositional attitude
(instance knows PropositionalAttitude) Merge.kif 2723-2723 knows is an instance of propositional attitude
(termFormat ChineseLanguage PropositionalAttitude "命题态度") chinese_format.kif 908-908
(termFormat EnglishLanguage PropositionalAttitude "propositional attitude") english_format.kif 1028-1028

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners