Relations & Concepts
A fact is a statement that is True. Joe Smith lives in New York could be a fact. In this example, Joe Smith could be seen as an instance of a Person and New York as an instance of a City. The following Ampersand terminology applies here:
- Person and City are concepts
- Joe Smith is an atom of the concept Person
- lives in is the relation name of a relation with the sign [Person, City]
Properties of relations
In many cases, there can be restrictions on the population of a relation, called properties.
The following properties can be specified on any relation
There are additional relations that can be specified on endo relations. An endo relation is a relation where the source and target concepts are equal.
|SYM||symmetric||For each (
|PROP||-||shortcut for the combination of symmetric and antisymmetric.|