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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - PropositionalAttitude

appearance as argument number 1

(documentation PropositionalAttitude ChineseLanguage "这是一个 IntentionalRelation Class,它的 AgentProposition 有认知。") chinese_format.kif 1925-1926
(documentation PropositionalAttitude EnglishLanguage "The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.") Merge.kif 2646-2648
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2643-2643
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2644-2644
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2642-2642

appearance as argument number 2

(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2658-2658
(instance believes PropositionalAttitude) Merge.kif 2755-2755
(instance considers PropositionalAttitude) Merge.kif 2745-2745
(instance desires PropositionalAttitude) Merge.kif 2732-2732
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7151-7151
(instance doubts PropositionalAttitude) Mid-level-ontology.kif 7123-7123
(instance knows PropositionalAttitude) Merge.kif 2770-2770
(termFormat ChineseLanguage PropositionalAttitude "命题态度") chinese_format.kif 908-908
(termFormat EnglishLanguage PropositionalAttitude "propositional attitude") english_format.kif 1023-1023


        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))
Merge.kif 2650-2654

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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