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 (21)

Predicate Name Arg. 1 Arg. 2
: operation "*" ""
: tree "20"^^xsd: integer "rl"^^xsd: string
: value "1"^^xsd: integer "ll"^^xsd: string
: tree "["-", "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>]" "lr"^^xsd: string
: value "2"^^xsd: integer "l"^^xsd: string
: value "10"^^xsd: integer "r"^^xsd: string
: value "1"^^xsd: integer "lrr"^^xsd: string
: operation "/" "r"^^xsd: string
: value "2"^^xsd: integer "lrl"^^xsd: string
: value "20"^^xsd: integer "rl"^^xsd: string
: tree "2"^^xsd: integer "rr"^^xsd: string
: value "2"^^xsd: integer "rr"^^xsd: string
: tree "["/", "20"^^<http://www.w3.org/2001/XMLSchema#integer>, "2"^^<http://www.w3.org/2001/XMLSchema#integer>]" "r"^^xsd: string
: value "1"^^xsd: integer "lr"^^xsd: string
: tree "1"^^xsd: integer "lrr"^^xsd: string
: tree "2"^^xsd: integer "lrl"^^xsd: string
: value "20"^^xsd: integer ""
: tree "1"^^xsd: integer "ll"^^xsd: string
: operation "-" "lr"^^xsd: string
: tree "["+", "1"^^<http://www.w3.org/2001/XMLSchema#integer>, ["-", "2"^^<http://www.w3.org/2001/XMLSchema#integer>, "1"^^<http://www.w3.org/2001/XMLSchema#integer>]]" "l"^^xsd: string
: operation "+" "l"^^xsd: string

Results (0)