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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7141-7141 disapproves is an instance of propositional attitude
(instance doubts PropositionalAttitude) Mid-level-ontology.kif 7113-7113 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 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