About: Type Variable

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Type Variable Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Class, within Data Space : yang.eurecom.fr associated with source document(s)

An unqualified identifier used as a placeholder for a not yet specified `Type`, introduced by the declaration of a generic `Class`, `Enum`, `Interface` or `Executable`.

Attributes	Values
rdf:type	Class
rdfs:subClassOf	Type nodeID://b12369 nodeID://b12373 nodeID://b12379 nodeID://b12380 nodeID://b12385 nodeID://b13561 nodeID://b13565 nodeID://b13571 nodeID://b13572 nodeID://b13577
rdfs:label	Type Variable
rdfs:comment	An unqualified identifier used as a placeholder for a not yet specified `Type`, introduced by the declaration of a generic `Class`, `Enum`, `Interface` or `Executable`. (en)
is rdf:first of	nodeID://b11592 nodeID://b11630 nodeID://b11670 nodeID://b11673 nodeID://b11799 nodeID://b11809 nodeID://b11814 nodeID://b11916 nodeID://b12035 nodeID://b12041 nodeID://b12136 nodeID://b12145 nodeID://b12206 nodeID://b12368 nodeID://b12377 nodeID://b12450 nodeID://b12479 nodeID://b12723 nodeID://b12784 nodeID://b12822 nodeID://b12862 nodeID://b12865 nodeID://b12991 nodeID://b13001 nodeID://b13006 nodeID://b13108 nodeID://b13227 nodeID://b13233 nodeID://b13328 nodeID://b13337 nodeID://b13398 nodeID://b13560 nodeID://b13569 nodeID://b13642 nodeID://b13671 nodeID://b13915
is rdfs:domain of	has type variable position
is rdfs:range of	has formal type parameter
is allValuesFrom of	nodeID://b12161 nodeID://b12408 nodeID://b12452 nodeID://b12491 nodeID://b13353 nodeID://b13600 nodeID://b13644 nodeID://b13683

Faceted Search & Find service v1.16.120 as of Nov 11 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (252 GB total memory, 480 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software