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 2861-2862
(documentation PropositionalAttitude EnglishLanguage "The Class of IntentionalRelations where the Agent has awareness of a Proposition.") Merge.kif 2858-2860
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2856-2856 Propositional attitude is a subclass of asymmetric relation
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2857-2857 Propositional attitude is a subclass of inheritable relation
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2855-2855 Propositional attitude is a subclass of intentional relation

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


(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2872-2872 Object attitude is disjoint from propositional attitude
(instance believes PropositionalAttitude) Merge.kif 2977-2977 believes is an instance of propositional attitude
(instance considers PropositionalAttitude) Merge.kif 2966-2966 considers is an instance of propositional attitude
(instance desires PropositionalAttitude) Merge.kif 2951-2951 desires is an instance of propositional attitude
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7135-7135 disapproves is an instance of propositional attitude
(instance doubts PropositionalAttitude) Mid-level-ontology.kif 7108-7108 doubts is an instance of propositional attitude
(instance knows PropositionalAttitude) Merge.kif 2993-2993 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 2864-2868


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