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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PropositionalAttitude

 Sigma KEE - PropositionalAttitude
PropositionalAttitude(AtteggiamentoProposizionale)

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


(documentation PropositionalAttitude ChineseLanguage "这是一个 IntentionalRelation Class，它的 Agent 对 Proposition 有认知。") chinese_format.kif 1925-1926
(documentation PropositionalAttitude EnglishLanguage "The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.") Merge.kif 2698-2700
(documentation PropositionalAttitude JapaneseLanguage "Agent が Proposition の認識を 持っている IntentionalRelations IR の Class。") japanese_format.kif 552-553
(subclass PropositionalAttitude AsymmetricRelation) Merge.kif 2695-2695 AtteggiamentoProposizionale è una sottoclasse di RelazioneAsimmetrica
(subclass PropositionalAttitude InheritableRelation) Merge.kif 2696-2696 AtteggiamentoProposizionale è una sottoclasse di InheritableRelation
(subclass PropositionalAttitude IntentionalRelation) Merge.kif 2694-2694 AtteggiamentoProposizionale è una sottoclasse di IntentionalRelation

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


(disjoint ObjectAttitude PropositionalAttitude) Merge.kif 2710-2710 AtteggiamentoOggettuale è disgiunto da AtteggiamentoProposizionale
(instance believes PropositionalAttitude) Merge.kif 2807-2807 believes è un' istanza di AtteggiamentoProposizionale
(instance considers PropositionalAttitude) Merge.kif 2797-2797 considers è un' istanza di AtteggiamentoProposizionale
(instance desires PropositionalAttitude) Merge.kif 2784-2784 desires è un' istanza di AtteggiamentoProposizionale
(instance disapproves PropositionalAttitude) Mid-level-ontology.kif 7436-7436 disapproves è un' istanza di AtteggiamentoProposizionale
(instance doubts PropositionalAttitude) Mid-level-ontology.kif 7408-7408 doubts è un' istanza di AtteggiamentoProposizionale
(instance knows PropositionalAttitude) Merge.kif 2822-2822 knows è un' istanza di AtteggiamentoProposizionale
(instance says PropositionalAttitude) Merge.kif 2842-2842 says è un' istanza di AtteggiamentoProposizionale
(termFormat ChineseLanguage PropositionalAttitude "命题态度") chinese_format.kif 908-908
(termFormat EnglishLanguage PropositionalAttitude "propositional attitude") english_format.kif 1023-1023
(termFormat FrenchLanguage PropositionalAttitude "attitude propositionnelle") french_format.kif 584-584
(termFormat Hindi PropositionalAttitude "prastaavaatmak abhivQtti") terms-hindi.txt 114-114
(termFormat ItalianLanguage PropositionalAttitude "AtteggiamentoProposizionale") terms-it.txt 117-117
(termFormat JapaneseLanguage PropositionalAttitude "命題態度") japanese_format.kif 2269-2269
(termFormat PortugueseLanguage PropositionalAttitude "Atitude pProposicional") portuguese_format.kif 536-536
(termFormat cz PropositionalAttitude "propositional attitude") terms-cz.txt 151-151
(termFormat ro PropositionalAttitude "atitudine propoziþionalã") relations-ro.kif 605-605
(termFormat tg PropositionalAttitude "binabalak na kilos") terms-tg.txt 118-118

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


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


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