About: Type Argument

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

About: Type Argument Goto Sponge NotDistinct Permalink

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

A mirror of a `Type` taking the place of a `Type Variable` or `Wildcard` from a generic `Type` in one of its specific parameterizations by a `Parameterized Type`.

Attributes	Values
rdf:type	Class
rdfs:subClassOf	Code Element nodeID://b12119 nodeID://b12124 nodeID://b12129 nodeID://b13311 nodeID://b13316 nodeID://b13321
rdfs:label	Type Argument (en)
rdfs:comment	A mirror of a `Type` taking the place of a `Type Variable` or `Wildcard` from a generic `Type` in one of its specific parameterizations by a `Parameterized Type`. (en)
is rdf:first of	nodeID://b11748 nodeID://b11852 nodeID://b12324 nodeID://b12698 nodeID://b12940 nodeID://b13044 nodeID://b13516 nodeID://b13890
is rdfs:domain of	has argument type has type argument position is actual type argument of
is rdfs:range of	has actual type argument is argument type of
is allValuesFrom of	nodeID://b12030 nodeID://b12148 nodeID://b12221 nodeID://b12385 nodeID://b12419 nodeID://b12489 nodeID://b13222 nodeID://b13340 nodeID://b13413 nodeID://b13577 nodeID://b13611 nodeID://b13681
is someValuesFrom of	nodeID://b12220 nodeID://b13412

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, 640 MB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software