|
Relationships
|
|
|
|
| Instances | abstract | Properties or qualities as distinguished from any particular embodiment of the properties/qualities in a physical medium. Instances of Abstract can be said to exist in the same sense as mathematical objects such as sets and relations, but they cannot exist at a particular place and time without some physical encoding or embodiment. |
| | binary relation | BinaryRelations are relations that are true only of pairs of things. BinaryRelations are represented as slots in frame systems. |
| | entity | The universal class of individuals. This is the root node of the ontology. |
| | 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. |
|
Belongs to Class
|
entity |
| | |