Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  MusicText

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


(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2803-2803 Propositional attitude is a subclass of intentional relation
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2804-2804 Propositional attitude is a subclass of asymmetric relation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2805-2805 Propositional attitude is a subclass of inheritable relation
(documentation PropositionalAttitude EnglishLanguage "The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.") Merge.kif 2807-2809 Propositional attitude is a subclass of inheritable relation

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


(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2819-2819 Object attitude is disjoint from propositional attitude
(instance desires PropositionalAttitude) Merge.kif 2893-2893 desires is an instance of propositional attitude
(instance considers PropositionalAttitude) Merge.kif 2906-2906 considers is an instance of propositional attitude
(instance believes PropositionalAttitude) Merge.kif 2916-2916 believes is an instance of propositional attitude
(instance knows PropositionalAttitude) Merge.kif 2932-2932 knows is an instance of propositional attitude
(instance says PropositionalAttitude) Merge.kif 2952-2952 says is an instance of propositional attitude
(instance doubts PropositionalAttitude) Mid-level-ontology.kif 8728-8728 doubts is an instance of propositional attitude
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 8756-8756 disapproves is an instance of propositional attitude
(termFormat EnglishLanguage PropositionalAttitude "propositional attitude") english_format.kif 1027-1027 disapproves is an instance of propositional attitude

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


(=>
    (and
        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))		 Merge.kif 2811-2815 If X is an instance of propositional attitude and X Y and Z, then Z is an instance of formula


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 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners