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

Formal Language: 



Sigma KEE - IntentionalRelation
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
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.
Relationships      
Parents InheritableRelation The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
  Relation The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
Children ObjectAttitudeThe Class of IntentionalRelations where the AutonomousAgent has awareness of an instance of Physical.
 PropositionalAttitudeThe Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition.
Instancescohabitant(holdsDuring ?T1 (cohabitant ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 have the same home.
 domesticPartner(holdsDuring ?T1 (domesticPartner ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 live together and share a common domestic life but are not joined in a traditional marriage, a common-law marriage, or a civil union.
 friend(holdsDuring ?T1 (friend ?H1 ?H2)) means that during time ?T1, ?H1 and ?H2 know each other, share a relationship of mutual care and concern, and probably also share some common interests.
 inScopeOfInterestA very general Predicate. (inScopeOfInterest ?AGENT ?ENTITY) means that ?ENTITY is within the scope of interest of ?AGENT. Note that the interest indicated can be either positive or negative, i.e. the ?AGENT can have an interest in avoiding or promoting ?ENTITY.
 prefers(prefers ?AGENT ?FORMULA1 ?FORMULA2) means that CognitiveAgent ?AGENT prefers the state of affairs expressed by ?FORMULA1 over the state of affairs expressed by ?FORMULA2 all things being equal.
 serviceProvider(serviceProvider ?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT.
 serviceRecipient(serviceRecipient ?EVENT ?AGENT) means that ?AGENT is the receiver of the service provided in ?EVENT.


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