Knowledge base Browser - PropositionalAttitude

appearance as argument number 1

(documentation PropositionalAttitude EnglishLanguage "The class of intentional relations where the agent has awareness of a proposition.")	Merge.kif 2188-2190
(subclass PropositionalAttitude AsymmetricRelation)	Merge.kif 2186-2186	Propositional attitude is a subclass of asymmetric relation
(subclass PropositionalAttitude InheritableRelation)	Merge.kif 2187-2187	Propositional attitude is a subclass of inheritable relation
(subclass PropositionalAttitude IntentionalRelation)	Merge.kif 2185-2185	Propositional attitude is a subclass of intentional relation

appearance as argument number 2

(disjoint ObjectAttitude PropositionalAttitude)	Merge.kif 2200-2200	Object attitude is disjoint from propositional attitude
(instance believes PropositionalAttitude)	Merge.kif 2280-2280	believes is an instance of propositional attitude
(instance considers PropositionalAttitude)	Merge.kif 2271-2271	considers is an instance of propositional attitude
(instance desires PropositionalAttitude)	Merge.kif 2259-2259	desires is an instance of propositional attitude
(instance disapproves PropositionalAttitude)	Mid-level-ontology.kif 4830-4830	disapproves is an instance of propositional attitude
(instance doubts PropositionalAttitude)	Mid-level-ontology.kif 4803-4803	doubts is an instance of propositional attitude
(instance knows PropositionalAttitude)	Merge.kif 2294-2294	knows is an instance of propositional attitude
(termFormat EnglishLanguage PropositionalAttitude "propositional attitude")	english_format.kif 584-584	term format english language, propositional attitude and "propositional attitude"

antecedent

(=>
    (and
        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))

Sigma web home SUMO web home
Sigma version 2.8b (2010/03/15) is open source software produced by Articulate Software and its partners