Result of Query

Prefixes

rdf http://www.w3.org/1999/02/22-rdf-syntax-ns#
rdfs http://www.w3.org/2000/01/rdf-schema#
owl http://www.w3.org/2002/07/owl#
xsd http://www.w3.org/2001/XMLSchema#
http://www.ifis.uni-luebeck.de#
pred http://www.w3.org/2007/rif-builtin-predicate#
func http://www.w3.org/2007/rif-builtin-function#

Predicates (12)

Predicate Name Arg. 1 Arg. 2 Arg. 3
: merge "["8"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "["8"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "["1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "["5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "["6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "5"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "[]" "[]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "["5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["4"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "[]" "["10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "["5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "["7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "["2"^^<http://www.w3.org/2001/XMLSchema#integer>, "5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>, "9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>]"
: merge "[]" "["9"^^<http://www.w3.org/2001/XMLSchema#integer>, "10"^^<http://www.w3.org/2001/XMLSchema#integer>]" "["0"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "3"^^<http://www.w3.org/2001/XMLSchema#integer>, "4"^^<http://www.w3.org/2001/XMLSchema#integer>, "5"^^<http://www.w3.org/2001/XMLSchema#integer>, "6"^^<http://www.w3.org/2001/XMLSchema#integer>, "7"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>, "8"^^<http://www.w3.org/2001/XMLSchema#integer>]"

Results (0)