formalizesRelationBetween
P151657
predicate
Indicates a relationship in which one entity defines, codifies, or gives formal structure to the relationship that exists between two or more other entities.
Observed surface forms (3)
- representsRelation ×2
- definesRelationOn ×1
- definingRelations ×1
Sample triples (6)
| Subject | Object |
|---|---|
| Askey–Wilson algebra | quadratic relations among generators A, B, C via predicate surface "definingRelations" ⓘ |
| Curry–Howard correspondence | constructive proofs ⓘ |
| Curry–Howard correspondence | programs with types ⓘ |
| Porphyrian tree | genus–species relation via predicate surface "representsRelation" ⓘ |
| Porphyrian tree | whole–part conceptual inclusion via predicate surface "representsRelation" ⓘ |
| Sharkovsky ordering | set of positive integers via predicate surface "definesRelationOn" ⓘ |