Random triples
| Subject | Object |
|---|---|
| gptkb:Real_vector_space | scalar multiplication |
| gptkb:King | multiplication |
| gptkb:Lattice_(order) | gptkb:Join_(supremum,_∨) |
| gptkb:Lattice_(order_theory) | join |
| gptkb:King | addition |
| gptkb:Lattice_(order) | Meet (infimum, ∧) |
| gptkb:Queue | enqueue |
| gptkb:Real_vector_space | vector addition |
| gptkb:Queue | dequeue |
| gptkb:Queue | peek |
| gptkb:Lattice_(order_theory) | meet |