subclass

class whose elements are all elements of a given other class

Wikidata entity: Q3965271



P1571 codomain ... Q217594 (class) class
P1568 definition domain ... Q217594 (class) class
P1889 different from ... Q21514624 (subclass of) subclass of
P31 instance of ... Q64861 (transitive relation) transitive relation
P31 instance of ... Q130901 (binary relation) binary relation
P2579 studied by ... Q904423 (axiomatic set theory) axiomatic set theory
P279 subclass of ... Q217594 (class) class

External Ids
P646Freebase ID/m/012whr6z
P8408KBpedia IDSubclass
P12888Metamath statement IDdf-ss
P6366Microsoft Academic ID (discontinued)2776194381
P10283OpenAlex IDC2776194381

Why not click here or view trends?

log id: 1563169