This HTML5 document contains 36 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
rdfshttp://www.w3.org/2000/01/rdf-schema#
n2http://yang.eurecom.fr/codeontology/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
xsdhhttp://www.w3.org/2001/XMLSchema#

Statements

Subject Item
n2:hasType
rdf:type
owl:ObjectProperty
rdfs:subPropertyOf
owl:topObjectProperty
owl:inverseOf
n2:isTypeOf
rdfs:label
has type
rdfs:domain
_:vb13040 _:vb11848
rdfs:range
n2:Type
rdfs:comment
Relates an entity associable to a type to its `Type` (or 'Type's).
Subject Item
_:vb11846
rdf:first
n2:Expression
rdf:rest
_:vb11849
Subject Item
_:vb11848
rdf:type
owl:Class
owl:unionOf
_:vb11846
Subject Item
_:vb11849
rdf:first
n2:Function
rdf:rest
_:vb11850
Subject Item
_:vb11850
rdf:first
n2:LambdaExpression
rdf:rest
_:vb11851
Subject Item
_:vb11851
rdf:first
n2:Method
rdf:rest
_:vb11852
Subject Item
_:vb11852
rdf:first
n2:TypeArgument
rdf:rest
_:vb11853
Subject Item
_:vb11853
rdf:first
n2:Variable
rdf:rest
rdf:nil
Subject Item
_:vb13038
rdf:first
n2:Expression
rdf:rest
_:vb13041
Subject Item
_:vb13040
rdf:type
owl:Class
owl:unionOf
_:vb13038
Subject Item
_:vb13041
rdf:first
n2:Function
rdf:rest
_:vb13042
Subject Item
_:vb13042
rdf:first
n2:LambdaExpression
rdf:rest
_:vb13043
Subject Item
_:vb13043
rdf:first
n2:Method
rdf:rest
_:vb13044
Subject Item
_:vb13044
rdf:first
n2:TypeArgument
rdf:rest
_:vb13045
Subject Item
_:vb13045
rdf:first
n2:Variable
rdf:rest
rdf:nil