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

appearance as argument number 2

(disjoint ObjectAttitude PropositionalAttitude)	Merge.kif 2746-2746	Object attitude is disjoint from propositional attitude
(instance believes PropositionalAttitude)	Merge.kif 2843-2843	believes is an instance of propositional attitude
(instance considers PropositionalAttitude)	Merge.kif 2833-2833	considers is an instance of propositional attitude
(instance desires PropositionalAttitude)	Merge.kif 2820-2820	desires is an instance of propositional attitude
(instance disapproves PropositionalAttitude)	Mid-level-ontology.kif 8597-8597	disapproves is an instance of propositional attitude
(instance doubts PropositionalAttitude)	Mid-level-ontology.kif 8569-8569	doubts is an instance of propositional attitude
(instance knows PropositionalAttitude)	Merge.kif 2859-2859	knows is an instance of propositional attitude
(instance says PropositionalAttitude)	Merge.kif 2879-2879	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 2738-2742

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