query-0b524cd34342dc701b8b485f551d3f98

rq turtle/ttl

Propertiesinstance of (P31)subclass of (P279)

Use at

PREFIX wdt: <http://www.wikidata.org/prop/direct/>
PREFIX wd: <http://www.wikidata.org/entity/>
select ?system ?type {
  ?system wdt:P31/wdt:P279* wd:Q182985 ;
          wdt:P31 ?type .
  filter not exists {
    ?system wdt:P31/wdt:P279* ?circ  .
            values ?circ { <http://www.wikidata.org/entity/Q17166756>  wd:Q192611   wd:Q27971968 }

  }
}

Query found at

graph TD classDef projected fill:lightgreen; classDef literal fill:orange; classDef iri fill:yellow; v3("?circ") v1("?system"):::projected v3("?type"):::projected a2((" ")) a1((" ")) c3(["wd:Q182985"]):::iri f0[["not "]] subgraph f0e0["Exists Clause"] e0v1 --"wdt:P31"--> e0a1 e0a1 --"wdt:P279"--> e0v3 bind0[/VALUES ?circ/] bind0-->e0v3 bind00(["wd:Q17166756"]) bind00 --> bind0 bind01(["wd:Q192611"]) bind01 --> bind0 bind02(["wd:Q27971968"]) bind02 --> bind0 e0v3("?circ"):::projected e0v1("?system"):::projected e0a1((" ")):::projected end f0--EXISTS--> f0e0 f0 --> v1 f0 --> c1 f0 --> a1 f0 --> c2 f0 --> v3 v1 --"wdt:P31"--> a1 a1 --"wdt:P279"--> v3 bind1[/VALUES ?circ/] bind1-->v3 bind10(["wd:Q17166756"]) bind10 --> bind1 bind11(["wd:Q192611"]) bind11 --> bind1 bind12(["wd:Q27971968"]) bind12 --> bind1 v1 --"wdt:P31"--> a2 a2 --"wdt:P279"--> c3 v1 --"wdt:P31"--> v3