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

No prefix for _:doco#.
PredicateValue (sorted: none)
owl:intersectionOf
_:_:Node83
rdf:type
owl:Class

All properties reside in the graph doco

The resource appears as object in one triple:

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

Context graph

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