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

Formal Language: 


KB Term: 

  IntentionalRelation

 Sigma KEE - IntentionalRelation
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
intentional relation
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 inheritable relation 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 object attitudeThe Class of IntentionalRelations where the AutonomousAgent has awareness of an instance of Physical.
 propositional attitudeThe 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.
 domestic partner(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.
 in scope of interestA 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.
 service provider(serviceProvider ?EVENT ?AGENT) means that ?AGENT is the supplier of the service provided in ?EVENT.
 service recipient(serviceRecipient ?EVENT ?AGENT) means that ?AGENT is the receiver of the service provided in ?EVENT.


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