Simple Browser : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 




Sigma KEE - PropositionalAttitude
KB Term: 
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
PropositionalAttitude
The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.
Relationships      
Parents AsymmetricRelation A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation.
  InheritableRelation The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  IntentionalRelation The Class of Relations between an AutonomousAgent and one or more Entities, where the Relation requires that the AutonomousAgent have awareness of the Entity.


Show simplified definition with tree view
Show full definition (without tree view)
Show full 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