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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PropositionalAttitude

Sigma KEE - PropositionalAttitude
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

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


(=>
    (and
        (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