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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 Agent has awareness of a Proposition.") Merge.kif 2604-2606
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2601-2601
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2602-2602
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2600-2600

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


(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2616-2616
(instance believes PropositionalAttitude) Merge.kif 2713-2713
(instance considers PropositionalAttitude) Merge.kif 2703-2703
(instance desires PropositionalAttitude) Merge.kif 2690-2690
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7121-7121
(instance doubts PropositionalAttitude) Mid-level-ontology.kif 7093-7093
(instance knows PropositionalAttitude) Merge.kif 2728-2728
(termFormat ChineseLanguage PropositionalAttitude "命题态度") chinese_format.kif 908-908
(termFormat EnglishLanguage PropositionalAttitude "propositional attitude") english_format.kif 1028-1028

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


(=>
    (and
        (instance ?REL PropositionalAttitude)
        (?REL ?AGENT ?FORMULA))
    (instance ?FORMULA Formula))
Merge.kif 2608-2612


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 3.0 is open source software produced by Articulate Software and its partners