hasSort
P28010
predicate
Indicates that one entity is associated with, or classified by, a particular sort, type, or category.
Sample triples (2)
| Subject | Object |
|---|---|
| von Neumann–Bernays–Gödel set theory | class → |
| von Neumann–Bernays–Gödel set theory | set → |