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, propositional_attitude, recognition, straddle, transference, 命题态度

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2884-2885
No TPTP formula. May not be expressible in strict first order. Merge.kif 2881-2883
No TPTP formula. May not be expressible in strict first order. Merge.kif 2879-2879 Propositional attitude is a subclass of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2880-2880 Propositional attitude is a subclass of inheritable relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 2878-2878 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 2895-2895 Object attitude is disjoint from propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 3000-3000 believes is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2989-2989 considers is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 2974-2974 desires is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7139-7139 disapproves is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7112-7112 doubts is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order. Merge.kif 3016-3016 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2887-2891


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