Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PropositionalAttitude
PropositionalAttitude(propositional attitude)وَضْع القَضِيَّة, Atitude_pProposicional, AtteggiamentoProposizionale, Kalashnikov_culture, attitude, attitude_propositionnelle, binabalak_na_kilos, bird's_eye_view, countertransference, culture, cyberculture, floodgate, futurism, hard_line, high_horse, mental_attitude, mosaic_culture, panoramic_view, prastaavaatmak_abhivQtti, propositional_attitude, recognition, straddle, transference, 命题态度

appearance as argument number 1
-------------------------


(documentation PropositionalAttitude ChineseLanguage "这是一个 IntentionalRelation Class,它的 AgentProposition 有认知。") Merge.kif 2871-2872
(documentation PropositionalAttitude EnglishLanguage "The Class of IntentionalRelations where the Agent has awareness of a Proposition.") Merge.kif 2868-2870
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2866-2866 Propositional attitude is a subclass of asymmetric relation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2867-2867 Propositional attitude is a subclass of inheritable relation
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2865-2865 Propositional attitude is a subclass of intentional relation

appearance as argument number 2
-------------------------


(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2882-2882 Object attitude is disjoint from propositional attitude
(instance believes PropositionalAttitude) Merge.kif 2987-2987 believes is an instance of propositional attitude
(instance considers PropositionalAttitude) Merge.kif 2976-2976 considers is an instance of propositional attitude
(instance desires PropositionalAttitude) Merge.kif 2961-2961 desires is an instance of propositional attitude
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7139-7139 disapproves is an instance of propositional attitude
(instance doubts PropositionalAttitude) Mid-level-ontology.kif 7112-7112 doubts is an instance of propositional attitude
(instance knows PropositionalAttitude) Merge.kif 3003-3003 knows is an instance of propositional attitude
(termFormat ChineseLanguage PropositionalAttitude "命题态度") chinese_format.kif 908-908 "命题态度" is the printable form of propositional attitude in ChineseLanguage
(termFormat EnglishLanguage PropositionalAttitude "propositional attitude") english_format.kif 595-595 "propositional attitude" is the printable form of propositional attitude in english language
(termFormat FrenchLanguage PropositionalAttitude "attitude propositionnelle") french_format.kif 584-584 "attitude propositionnelle" is the printable form of propositional attitude in french language
(termFormat Hindi PropositionalAttitude "prastaavaatmak abhivQtti") terms-hindi.txt 114-114 "prastaavaatmak abhivQtti" is the printable form of propositional attitude in Hindi
(termFormat ItalianLanguage PropositionalAttitude "AtteggiamentoProposizionale") terms-it.txt 115-115 "AtteggiamentoProposizionale" is the printable form of propositional attitude in italian language
(termFormat PortugueseLanguage PropositionalAttitude "Atitude pProposicional") portuguese_format.kif 536-536 "Atitude pProposicional" is the printable form of propositional attitude in portuguese language
(termFormat ar PropositionalAttitude "وَضْع القَضِيَّة") arabic_format.kif 320-320 "وَضْع القَضِيَّة" is the printable form of propositional attitude in ar
(termFormat cz PropositionalAttitude "propositional attitude") terms-cz.txt 151-151 "propositional attitude" is the printable form of propositional attitude in cz
(termFormat tg PropositionalAttitude "binabalak na kilos") terms-tg.txt 118-118 "binabalak na kilos" is the printable form of propositional attitude in tg

antecedent
-------------------------


(=>
    (and
        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))
Merge.kif 2874-2878


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners