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 2694-2696
(documentation PropositionalAttitude JapaneseLanguage "Agent が Proposition の認識を持っている IntentionalRelations IR の Class。")	japanese_format.kif 552-553
(subclass PropositionalAttitude AsymmetricRelation)	Merge.kif 2691-2691	Propositional attitude is a subclass of asymmetric relation
(subclass PropositionalAttitude InheritableRelation)	Merge.kif 2692-2692	Propositional attitude is a subclass of inheritable relation
(subclass PropositionalAttitude IntentionalRelation)	Merge.kif 2690-2690	Propositional attitude is a subclass of intentional relation

appearance as argument number 2

(disjoint ObjectAttitude PropositionalAttitude)	Merge.kif 2706-2706	Object attitude is disjoint from propositional attitude
(instance believes PropositionalAttitude)	Merge.kif 2803-2803	believes is an instance of propositional attitude
(instance considers PropositionalAttitude)	Merge.kif 2793-2793	considers is an instance of propositional attitude
(instance desires PropositionalAttitude)	Merge.kif 2780-2780	desires is an instance of propositional attitude
(instance disapproves PropositionalAttitude)	Mid-level-ontology.kif 8620-8620	disapproves is an instance of propositional attitude
(instance doubts PropositionalAttitude)	Mid-level-ontology.kif 8592-8592	doubts is an instance of propositional attitude
(instance knows PropositionalAttitude)	Merge.kif 2819-2819	knows is an instance of propositional attitude
(instance says PropositionalAttitude)	Merge.kif 2839-2839	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 de PropositionalAttitude "propositionale Einstellung")	terms-de.txt 410-410	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 2698-2702

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