PropositionalAttitude - Sigma Knowledge base Browser

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，它的 Agent 对 Proposition 有认知。")	chinese_format.kif 1925-1926
(documentation PropositionalAttitude EnglishLanguage "The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.")	Merge.kif 2698-2700
(documentation PropositionalAttitude JapaneseLanguage "Agent が Proposition の認識を持っている IntentionalRelations IR の Class。")	japanese_format.kif 552-553
(subclass PropositionalAttitude AsymmetricRelation)	Merge.kif 2695-2695	Propositional attitude is a subclass of asymmetric relation
(subclass PropositionalAttitude InheritableRelation)	Merge.kif 2696-2696	Propositional attitude is a subclass of inheritable relation
(subclass PropositionalAttitude IntentionalRelation)	Merge.kif 2694-2694	Propositional attitude is a subclass of intentional relation

appearance as argument number 2

(disjoint ObjectAttitude PropositionalAttitude)	Merge.kif 2710-2710	Object attitude is disjoint from propositional attitude
(instance believes PropositionalAttitude)	Merge.kif 2807-2807	believes is an instance of propositional attitude
(instance considers PropositionalAttitude)	Merge.kif 2797-2797	considers is an instance of propositional attitude
(instance desires PropositionalAttitude)	Merge.kif 2784-2784	desires is an instance of propositional attitude
(instance disapproves PropositionalAttitude)	Mid-level-ontology.kif 7654-7654	disapproves is an instance of propositional attitude
(instance doubts PropositionalAttitude)	Mid-level-ontology.kif 7626-7626	doubts is an instance of propositional attitude
(instance knows PropositionalAttitude)	Merge.kif 2823-2823	knows is an instance of propositional attitude
(instance says PropositionalAttitude)	Merge.kif 2843-2843	says is an instance of propositional attitude
(termFormat ChineseLanguage PropositionalAttitude "命题态度")	chinese_format.kif 908-908	says is an instance of propositional attitude
(termFormat EnglishLanguage PropositionalAttitude "propositional attitude")	english_format.kif 1023-1023	says is an instance of propositional attitude
(termFormat FrenchLanguage PropositionalAttitude "attitude propositionnelle")	french_format.kif 584-584	says is an instance of propositional attitude
(termFormat Hindi PropositionalAttitude "prastaavaatmak abhivQtti")	terms-hindi.txt 114-114	says is an instance of propositional attitude
(termFormat ItalianLanguage PropositionalAttitude "AtteggiamentoProposizionale")	terms-it.txt 117-117	says is an instance of propositional attitude
(termFormat JapaneseLanguage PropositionalAttitude "命題態度")	japanese_format.kif 2269-2269	says is an instance of propositional attitude
(termFormat PortugueseLanguage PropositionalAttitude "Atitude pProposicional")	portuguese_format.kif 536-536	says is an instance of propositional attitude
(termFormat cz PropositionalAttitude "propositional attitude")	terms-cz.txt 151-151	says is an instance of propositional attitude
(termFormat ro PropositionalAttitude "atitudine propoziþionalã")	relations-ro.kif 605-605	says is an instance of propositional attitude
(termFormat tg PropositionalAttitude "binabalak na kilos")	terms-tg.txt 118-118	says is an instance of propositional attitude

antecedent

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

Merge.kif 2702-2706

If an entity is an instance of propositional attitude and the entity another entity and a third entity,
then the third entity is an instance of formula

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