Local view for "formula box [
rdfs:subClassOf
<_:doco#_:Node54>
[
owl:intersectionOf
(<_:doco#_:Node154>,<_:doco#_:Node45>)
[rdf:rest (<_:doco#_:Node45>)]]]"

No prefix for _:doco#.
PredicateValue (sorted: default)
rdf:first
_:_:Node45
rdf:rest
rdf:nil

All properties reside in the graph doco

The resource appears as object in one triple:

{ (<_:doco#_:Node154>,<_:doco#_:Node45>), rdf:rest, (<_:doco#_:Node45>) }

Context graph

The server does not have the graphviz program dot installed in PATH. See http://www.graphviz.org/ for details.