http://spinrdf.org/spl#instanceOf
Class spl:instanceOf

{?arg1} instance of {?arg2}

xsd:boolean

spin:Function

Checks whether a given resource (?arg1) has a given type (?arg2). In order to fulfill this condition, there must either be a triple ?arg1 rdf:type ?arg2, or ?instance rdf:type ?subClass where ?subClass is a subclass of ?arg2. If the first argument is a literal, then the second argument must be the matching XSD datatype.

instanceOf

spl:Logical functions