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
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 2861-2862
No TPTP formula. May not be expressible in strict first order. Merge.kif 2858-2860
No TPTP formula. May not be expressible in strict first order. Merge.kif 2856-2856 Propositional attitude is a subclass of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2857-2857 Propositional attitude is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2855-2855 Propositional attitude is a subclass of intentional relation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2872-2872 Object attitude is disjoint from propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2977-2977 believes is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2966-2966 considers is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2951-2951 desires is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7135-7135 disapproves is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7108-7108 doubts is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2993-2993 knows is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 908-908 "命题态度" is the printable form of propositional attitude in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. english_format.kif 595-595 "propositional attitude" is the printable form of propositional attitude in english language
No TPTP formula. May not be expressible in strict first order. french_format.kif 584-584 "attitude propositionnelle" is the printable form of propositional attitude in french language
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 114-114 "prastaavaatmak abhivQtti" is the printable form of propositional attitude in Hindi
No TPTP formula. May not be expressible in strict first order. terms-it.txt 115-115 "AtteggiamentoProposizionale" is the printable form of propositional attitude in italian language
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 536-536 "Atitude pProposicional" is the printable form of propositional attitude in portuguese language
No TPTP formula. May not be expressible in strict first order. arabic_format.kif 320-320 "وَضْع القَضِيَّة" is the printable form of propositional attitude in ar
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 151-151 "propositional attitude" is the printable form of propositional attitude in cz
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 118-118 "binabalak na kilos" is the printable form of propositional attitude in tg

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


No TPTP formula. May not be expressible in strict first order. 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