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

appearance as argument number 2

(disjoint ObjectAttitude PropositionalAttitude)	Merge.kif 2704-2704	Object attitude is disjoint from propositional attitude
(instance believes PropositionalAttitude)	Merge.kif 2801-2801	believes is an instance of propositional attitude
(instance considers PropositionalAttitude)	Merge.kif 2791-2791	considers is an instance of propositional attitude
(instance desires PropositionalAttitude)	Merge.kif 2778-2778	desires is an instance of propositional attitude
(instance disapproves PropositionalAttitude)	Mid-level-ontology.kif 8209-8209	disapproves is an instance of propositional attitude
(instance doubts PropositionalAttitude)	Mid-level-ontology.kif 8181-8181	doubts is an instance of propositional attitude
(instance knows PropositionalAttitude)	Merge.kif 2817-2817	knows is an instance of propositional attitude
(instance says PropositionalAttitude)	Merge.kif 2837-2837	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 2696-2700

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