|
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 attitude | The Class of IntentionalRelations where the AutonomousAgent has awareness of an instance of Physical. |
| | propositional attitude | The Class of IntentionalRelations where the AutonomousAgent has awareness of a Proposition. |
| Instances | cohabitant | (holdsDuring ?T1 (cohabitant ?H1 ?H2)) means that during the time ?T1, ?H1 and ?H2 have the same home. |
| | connected in social network | This refers to a connection made between two distinct people who have SocialNetworkingAccounts on the same SocialNetworkingSite. Some examples would be facebookFriends, classmates, colleagues, and followers. Note that connections can be symmetrical (e.g. facebookFriend or asymmetrical (e.g. follower). Therefore, this is neither a SymmetricRelation nor an AntisymmetricRelation. |
| | 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. |
| | Facebook friend | This is a term that refers to the relationship between two people who have been deemed 'friends' on Facebook. This does not necessarily mean that they are friends in real life or that they even know each other outside of Facebook. Therefore, this term is not to be confused with friend. It is possible for two people to be friends and not facebookFriends and vice versa. |
| | follow | This is an example of a connection within a SocialNetworkingSite such as Twitter or Tumblr. (follows ?USER1 ?USER2) means that ?USER1 has subscribed to ?USER2's posts. In other words, ?USER1 will be able to see DigitalPost that ?USER2 has posted (Posting). |
| | 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 interest | A 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. |