|
Relationships
|
|
|
|
| Parents |
binary relation |
BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems.
|
| Children |
asymmetric relation | A BinaryRelation is asymmetric if and only if it is both an AntisymmetricRelation and an IrreflexiveRelation. |
| | partial ordering relation | A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation. |
| Instances | data stored | (dataStored ?REC ?OBJ) means that some ContentBearingObject, encoded in some format, is saved in some DataStorageDevice and can be accessed in some future date. |
| | key name | (keyName ?S1 ?S2) means that ?S1 is the subString of ?S2 (i.e., the component name) typically used for alphabetical name indexing. |
| | legal guardian | (holdsDuring ?T1 (legalGuardian ?H1 ?H2)) means that during the time ?T1, ?H2 has legal authority over ?H1, and is responsible for looking after ?H1's interests. |
| | located | (located ?OBJ1 ?OBJ2) means that ?OBJ1 is partlyLocated at ?OBJ2, and there is no part of ?OBJ1 that is not located at ?OBJ2. |
| | sub string | (subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString. |
| | tags | (tags ?USER1 ?USER2) means that ?USER1 has made a reference to ?USER2 in a Posting. This term is used specifically on social networking sites, and it is only a tag if both ?USER1 and ?USER2 have accounts on that specific site (e.g., if Sue and Mary have FacebookAccounts but John does not, then Sue can tag Mary and Mary can tag Sue, but neither of them can tag John, even though they may mention him in a post.) Notice that this is an antisymmetric, and not asymmetric, relation because you can tag yourself in a post. |