Simple Question (Direct)
Simple Question
Q464956
P641
Q349
USER
Which sport was Szilárd Németh a part of ?
(Q464956,P641,c(Q349))
action filter_type
action find
entity Q464956
relation P641
type Q349
['Q464956', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?g WHERE { resource:Q464956 property:P641 ?g . ?g rdf:type ontology:Q349 }
Szilárd Németh
action filter_type
action find
entity Szilárd Németh
relation sport
type sport
['Szilárd Németh', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?g WHERE { resource:Szilárd_Németh property:sport ?g . ?g rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
(Q464956,P641,c(Q349))
action filter_type
action find
entity Q464956
relation P641
type Q349
The [ANSWER] was Szilárd Németh a part of
['Q464956', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?g WHERE { resource:Q464956 property:P641 ?g . ?g rdf:type ontology:Q349 }
association football
The association football was Szilárd Németh a part of
association football
action filter_type
action find
entity Szilárd Németh
relation sport
type sport
['Szilárd Németh', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?g WHERE { resource:Szilárd_Németh property:sport ?g . ?g rdf:type ontology:sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q464956
P19
Q56061
USER
Which administrative territory is the place of birth of that person ?
(Q2736,P19,c(Q56061))
action filter_type
action find
entity Q464956
relation P19
type Q56061
['Q2736', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q464956 property:P19 ?e . ?e rdf:type ontology:Q56061 }
Szilárd Németh
action filter_type
action find
entity Szilárd Németh
relation place of birth
type administrative territorial entity
['association football', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Szilárd_Németh property:place_of_birth ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q210796
SYSTEM
Komárno
Q210796
(Q2736,P19,c(Q56061))
action filter_type
action find
entity Q464956
relation P19
type Q56061
[ANSWER] is the place of birth of that person
['Q2736', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q464956 property:P19 ?e . ?e rdf:type ontology:Q56061 }
Komárno
Komárno is the place of birth of that person
Komárno
action filter_type
action find
entity Szilárd Németh
relation place of birth
type administrative territorial entity
['association football', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Szilárd_Németh property:place_of_birth ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q210796
P190
Q515
USER
How many cities are twin towns of Komárno ?
(Q210796,P190,c(Q515))
action count
action filter_type
action find
entity Q210796
relation P190
type Q515
['Q210796', 'P190', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?s ) WHERE { resource:Q210796 property:P190 ?y . ?y rdf:type ontology:Q515 }
Komárno
action count
action filter_type
action find
entity Komárno
relation sister city
type city
['Komárno', 'sister city', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?s ) WHERE { resource:Komárno property:sister_city ?y . ?y rdf:type ontology:city }
[]
city
SYSTEM
2
Q987496 Q625154
(Q210796,P190,c(Q515))
action count
action filter_type
action find
entity Q210796
relation P190
type Q515
[ANSWER]
['Q210796', 'P190', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?s ) WHERE { resource:Q210796 property:P190 ?y . ?y rdf:type ontology:Q515 }
Kralupy nad Vltavou Komárom
2
action count
action filter_type
action find
entity Komárno
relation sister city
type city
['Komárno', 'sister city', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?s ) WHERE { resource:Komárno property:sister_city ?y . ?y rdf:type ontology:city }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q210796
P1376
Q13220204
USER
Which administrative country subdivision has that administrative territory as its county seat ?
action filter_type
action find
entity Q210796
relation P1376
type Q13220204
SELECT DISTINCT ?a WHERE { resource:Q210796 property:P1376 ?a . ?a rdf:type ontology:Q13220204 }
Komárno
action filter_type
action find
entity Komárno
relation capital of
type second-level administrative country subdivision
SELECT DISTINCT ?a WHERE { resource:Komárno property:capital_of ?a . ?a rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q586056
SYSTEM
Komárno District
Q586056
action filter_type
action find
entity Q210796
relation P1376
type Q13220204
District [ANSWER] has that administrative territory as its county seat
SELECT DISTINCT ?a WHERE { resource:Q210796 property:P1376 ?a . ?a rdf:type ontology:Q13220204 }
Komárno District
District Komárno District has that administrative territory as its county seat
Komárno District
action filter_type
action find
entity Komárno
relation capital of
type second-level administrative country subdivision
SELECT DISTINCT ?a WHERE { resource:Komárno property:capital_of ?a . ?a rdf:type ontology:second-level_administrative_country_subdivision }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q586056 Q1441907
P47
Q13220204
USER
Does Inza share the border with that one ?
(Q586056,P47,Q1441907)
action is_in
entity Q1441907
action find
entity Q586056
relation P47
['Q586056', 'P47', 'Q1441907']
ASK WHERE { resource:Q586056 property:P47 resource:Q1441907 }
Komárno District Inza
action is_in
entity Inza
action find
entity Komárno District
relation shares border with
['Komárno District', 'shares border with', 'Inza']
ASK WHERE { resource:Komárno_District property:shares_border_with resource:Inza }
[]
second-level administrative country subdivision
SYSTEM
NO
(Q586056,P47,Q1441907)
action is_in
entity Q1441907
action find
entity Q586056
relation P47
[ANSWER]
['Q586056', 'P47', 'Q1441907']
ASK WHERE { resource:Q586056 property:P47 resource:Q1441907 }
No
action is_in
entity Inza
action find
entity Komárno District
relation shares border with
['Komárno District', 'shares border with', 'Inza']
ASK WHERE { resource:Komárno_District property:shares_border_with resource:Inza }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q210796 Q20284
P17
Q15617994
USER
Is Komárno situated in Paesana ?
(Q210796,P17,Q20284)
action is_in
entity Q20284
action find
entity Q210796
relation P17
['Q210796', 'P17', 'Q20284']
ASK WHERE { resource:Q210796 property:P17 resource:Q20284 }
Komárno Paesana
action is_in
entity Paesana
action find
entity Komárno
relation country
['Komárno', 'country', 'Paesana']
ASK WHERE { resource:Komárno property:country resource:Paesana }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q210796,P17,Q20284)
action is_in
entity Q20284
action find
entity Q210796
relation P17
[ANSWER]
['Q210796', 'P17', 'Q20284']
ASK WHERE { resource:Q210796 property:P17 resource:Q20284 }
No
action is_in
entity Paesana
action find
entity Komárno
relation country
['Komárno', 'country', 'Paesana']
ASK WHERE { resource:Komárno property:country resource:Paesana }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q1799613
P138
Q337567 Q13220204
USER
Which still waterss are the origin of greater number of administrative country subdivisions than Lake Témiscouata ?
(c(Q13220204),P138,c(Q337567))
action greater
action find_reverse_tuple_counts
relation P138
type Q337567
type Q13220204
action count
action filter_type
action find
entity Q1799613
relation P138
type Q337567
[{'concept': 'Q13220204'}, 'P138', {'concept': 'Q337567'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?d ) WHERE { resource:Q1799613 property:P138 ?o . ?o rdf:type ontology:Q337567 } } . FILTER ( ?g > ?d ) . { SELECT DISTINCT ?s ( COUNT ( ?m ) AS ?g ) WHERE { ?s rdf:type ontology:Q337567 . ?m rdf:type ontology:Q13220204 . ?m property:P138 ?s } GROUP BY ?s } }
Lake Témiscouata
action greater
action find_reverse_tuple_counts
relation named after
type still waters
type second-level administrative country subdivision
action count
action filter_type
action find
entity Lake Témiscouata
relation named after
type still waters
[{'concept': 'second-level administrative country subdivision'}, 'named after', {'concept': 'still waters'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?d ) WHERE { resource:Lake_Témiscouata property:named_after ?o . ?o rdf:type ontology:still_waters } } . FILTER ( ?g > ?d ) . { SELECT DISTINCT ?s ( COUNT ( ?m ) AS ?g ) WHERE { ?s rdf:type ontology:still_waters . ?m rdf:type ontology:second-level_administrative_country_subdivision . ?m property:named_after ?s } GROUP BY ?s } }
[]
still waters second-level administrative country subdivision
Q14459 Q3658218 Q1923898
SYSTEM
Lake Sempach, Lake Bile, Binnenbedijkte Maas
Q1923898 Q14459 Q3658218 Q16433904
(c(Q13220204),P138,c(Q337567))
action greater
action find_reverse_tuple_counts
relation P138
type Q337567
type Q13220204
action count
action filter_type
action find
entity Q1799613
relation P138
type Q337567
[ANSWERS] are the origin of greater number of administrative country subdivisions than Lake Témiscouata
[{'concept': 'Q13220204'}, 'P138', {'concept': 'Q337567'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?d ) WHERE { resource:Q1799613 property:P138 ?o . ?o rdf:type ontology:Q337567 } } . FILTER ( ?g > ?d ) . { SELECT DISTINCT ?s ( COUNT ( ?m ) AS ?g ) WHERE { ?s rdf:type ontology:Q337567 . ?m rdf:type ontology:Q13220204 . ?m property:P138 ?s } GROUP BY ?s } }
Binnenbedijkte Maas Lake Sempach Lake Bile Bueng Kum
Lake Sempach, Lake Bile and Binnenbedijkte Maas are the origin of greater number of administrative country subdivisions than Lake Témiscouata
Lake Sempach Lake Bile Binnenbedijkte Maas
action greater
action find_reverse_tuple_counts
relation named after
type still waters
type second-level administrative country subdivision
action count
action filter_type
action find
entity Lake Témiscouata
relation named after
type still waters
[{'concept': 'second-level administrative country subdivision'}, 'named after', {'concept': 'still waters'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?d ) WHERE { resource:Lake_Témiscouata property:named_after ?o . ?o rdf:type ontology:still_waters } } . FILTER ( ?g > ?d ) . { SELECT DISTINCT ?s ( COUNT ( ?m ) AS ?g ) WHERE { ?s rdf:type ontology:still_waters . ?m rdf:type ontology:second-level_administrative_country_subdivision . ?m property:named_after ?s } GROUP BY ?s } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q881665
P138
Q337567 Q13220204
USER
And how about Blanksee?
(c(Q13220204),P138,c(Q337567))
action greater
action find_reverse_tuple_counts
relation P138
type Q337567
type Q13220204
action count
action filter_type
action find
entity Q881665
relation P138
type Q337567
[{'concept': 'Q13220204'}, 'P138', {'concept': 'Q337567'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?n ) WHERE { ?w rdf:type ontology:Q13220204 . ?b rdf:type ontology:Q337567 . ?w property:P138 ?b } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { resource:Q881665 property:P138 ?z . ?z rdf:type ontology:Q337567 } } . FILTER ( ?n > ?a ) }
Blanksee
action greater
action find_reverse_tuple_counts
relation named after
type still waters
type second-level administrative country subdivision
action count
action filter_type
action find
entity Blanksee
relation named after
type still waters
[{'concept': 'second-level administrative country subdivision'}, 'named after', {'concept': 'still waters'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?n ) WHERE { ?w rdf:type ontology:second-level_administrative_country_subdivision . ?b rdf:type ontology:still_waters . ?w property:named_after ?b } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { resource:Blanksee property:named_after ?z . ?z rdf:type ontology:still_waters } } . FILTER ( ?n > ?a ) }
[]
still waters second-level administrative country subdivision
Q14459 Q3658218 Q1923898
SYSTEM
Lake Sempach, Lake Bile, Binnenbedijkte Maas
Q1923898 Q14459 Q3658218 Q16433904
(c(Q13220204),P138,c(Q337567))
action greater
action find_reverse_tuple_counts
relation P138
type Q337567
type Q13220204
action count
action filter_type
action find
entity Q881665
relation P138
type Q337567
[ANSWERS]
[{'concept': 'Q13220204'}, 'P138', {'concept': 'Q337567'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?n ) WHERE { ?w rdf:type ontology:Q13220204 . ?b rdf:type ontology:Q337567 . ?w property:P138 ?b } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { resource:Q881665 property:P138 ?z . ?z rdf:type ontology:Q337567 } } . FILTER ( ?n > ?a ) }
Binnenbedijkte Maas Lake Sempach Lake Bile Bueng Kum
Lake Sempach Lake Bile Binnenbedijkte Maas
action greater
action find_reverse_tuple_counts
relation named after
type still waters
type second-level administrative country subdivision
action count
action filter_type
action find
entity Blanksee
relation named after
type still waters
[{'concept': 'second-level administrative country subdivision'}, 'named after', {'concept': 'still waters'}]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ?b ( COUNT ( ?w ) AS ?n ) WHERE { ?w rdf:type ontology:second-level_administrative_country_subdivision . ?b rdf:type ontology:still_waters . ?w property:named_after ?b } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?a ) WHERE { resource:Blanksee property:named_after ?z . ?z rdf:type ontology:still_waters } } . FILTER ( ?n > ?a ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q247082
P206
Q337567 Q33837 Q515
USER
How many still waterss are situated close to approximately the same number of archipelagos and cities as Große Karausche ?
(c(Q33837)|c(Q515),P206,c(Q337567))
action count
action approx
action union
action find_reverse_tuple_counts
relation P206
type Q337567
type Q33837
action find_reverse_tuple_counts
relation P206
type Q337567
type Q515
action count
action filter_multi_types
action find_reverse
entity Q247082
relation P206
type Q33837
type Q515
[[{'concept': 'Q33837'}, {'concept': 'Q515'}], 'P206', {'concept': 'Q337567'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) WHERE { FILTER ( ?k = ?a ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?a ) WHERE { ?o property:P206 resource:Q247082 . { VALUES ( ?t ) { ( ontology:Q33837 ) ( ontology:Q515 ) } . ?o rdf:type ?t } } } . { SELECT DISTINCT ?x ( COUNT ( ?d ) AS ?k ) WHERE { { ?d property:P206 ?x . ?x rdf:type ontology:Q337567 . ?d rdf:type ontology:Q33837 } UNION { ?d property:P206 ?x . ?x rdf:type ontology:Q337567 . ?d rdf:type ontology:Q515 } } GROUP BY ?x } }
Große Karausche
action count
action approx
action union
action find_reverse_tuple_counts
relation located next to body of water
type still waters
type archipelago
action find_reverse_tuple_counts
relation located next to body of water
type still waters
type city
action count
action filter_multi_types
action find_reverse
entity Große Karausche
relation located next to body of water
type archipelago
type city
[[{'concept': 'archipelago'}, {'concept': 'city'}], 'located next to body of water', {'concept': 'still waters'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) WHERE { FILTER ( ?k = ?a ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?a ) WHERE { ?o property:located_next_to_body_of_water resource:Große_Karausche . { VALUES ( ?t ) { ( ontology:archipelago ) ( ontology:city ) } . ?o rdf:type ?t } } } . { SELECT DISTINCT ?x ( COUNT ( ?d ) AS ?k ) WHERE { { ?d property:located_next_to_body_of_water ?x . ?x rdf:type ontology:still_waters . ?d rdf:type ontology:archipelago } UNION { ?d property:located_next_to_body_of_water ?x . ?x rdf:type ontology:still_waters . ?d rdf:type ontology:city } } GROUP BY ?x } }
[]
still waters archipelago city
SYSTEM
187
Q834157 Q385678 Q213769 Q10726058 Q1867253 Q629354 Q1062 Q3361334 Q1474746 Q24339867 Q3378044 Q5492 Q7362185 Q4138 Q7371646 Q1882699 Q4992316 Q1431773 Q202929 Q3058006 Q1324180 Q215818 Q845876 Q939766 Q1383 Q24303992 Q272380 Q454646 Q217430 Q204392 Q456377 Q202905 Q776956 Q1296454 Q1077275 Q944707 Q203137 Q12268925 Q3360936 Q696445 Q14418 Q1247129 Q476618 Q3888972 Q7362220 Q14442 Q2964846 Q3215495 Q697916 Q2605009 Q1246131 Q3057390 Q2596558 Q10543775 Q1923898 Q918349 Q1135474 Q3074719 Q1689557 Q1269252 Q2118703 Q565637 Q303427 Q10688256 Q10709015 Q14444 Q224872 Q166162 Q257232 Q502371 Q1315765 Q15288 Q3215029 Q184492 Q203811 Q772806 Q744741 Q173596 Q871192 Q898989 Q5505 Q19253 Q1761007 Q318313 Q1805169 Q1622643 Q1675882 Q15523 Q4874031 Q203462 Q543460 Q3215032 Q11479806 Q10726520 Q10713944 Q1169 Q181494 Q1533062 Q315045 Q1315570 Q21859760 Q848917 Q25907223 Q14407 Q1548883 Q5513 Q10711199 Q180839 Q18661301 Q4983082 Q14429 Q174645 Q1800398 Q1247231 Q3361778 Q247082 Q14426 Q1325911 Q206942 Q7100194 Q2363216 Q2902331 Q24305783 Q10691805 Q211425 Q21859794 Q10657900 Q10496947 Q2500126 Q3017786 Q14518 Q1756668 Q14512 Q2660390 Q1233614 Q7346404 Q80629 Q3257696 Q1873172 Q891521 Q314836 Q1419902 Q47136 Q580019 Q778066 Q992937 Q1805527 Q1892320 Q188195 Q1594212 Q14714439 Q6414 Q1295357 Q187752 Q271320 Q68467 Q338137 Q447947 Q3564698 Q910474 Q997345 Q5285034 Q6686132 Q3215268 Q1398428 Q15648 Q311217 Q173862 Q12150795 Q1444742 Q10577295 Q1546844 Q5525 Q1653947 Q156258 Q4127 Q1714638 Q24307100 Q828804 Q2130944 Q6403 Q3908364 Q648902 Q21833560 Q3591781 Q1551809 Q6754501
(c(Q33837)|c(Q515),P206,c(Q337567))
action count
action approx
action union
action find_reverse_tuple_counts
relation P206
type Q337567
type Q33837
action find_reverse_tuple_counts
relation P206
type Q337567
type Q515
action count
action filter_multi_types
action find_reverse
entity Q247082
relation P206
type Q33837
type Q515
[ANSWER]
[[{'concept': 'Q33837'}, {'concept': 'Q515'}], 'P206', {'concept': 'Q337567'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) WHERE { FILTER ( ?k = ?a ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?a ) WHERE { ?o property:P206 resource:Q247082 . { VALUES ( ?t ) { ( ontology:Q33837 ) ( ontology:Q515 ) } . ?o rdf:type ?t } } } . { SELECT DISTINCT ?x ( COUNT ( ?d ) AS ?k ) WHERE { { ?d property:P206 ?x . ?x rdf:type ontology:Q337567 . ?d rdf:type ontology:Q33837 } UNION { ?d property:P206 ?x . ?x rdf:type ontology:Q337567 . ?d rdf:type ontology:Q515 } } GROUP BY ?x } }
Schliersee Jyväsjärvi Päijänne Erlången Loch Fyne Storsjön Lake Ontario Mörtsjön Helgasjön Äkäslompolo Maren Lake Erie Kelontekemäjärvi Chiemsee Włocławek Reservoir Lake Machnow Lake Trummen Fühlingen Lake Drontermeer Zrebar Lake Lough Erne Torneträsk Lake of the Woods Markermeer Lake Huron Ylläsjärvi Lake Managua Ratzeburger See Siljan Lake Prespa Kölpinsee Lake Okeechobee Lake Ioannina Schwarzer See Nakaumi Loch Duich Lake Inari Vuontisjärvi Albysjön Tyrifjorden Lake Lugano Medeweger See Bueng Boraphet Lake Väsman Vaalajärvi Lake Brienz Wolderwijd lac de Nantua Lake Tegel Ashtamudi Lake Markelfinger Winkel Loch Snizort Wörthsee Karlbergssjön Binnenbedijkte Maas Lough Derg Alsensjön Köyliönjärvi Neumühler See Woterfitzsee Lake Syväri Untersee Aasee Sävelången Ulvsundasjön Walensee Lake Winnipesaukee Lake Onega Oijärvi West Lake Lake Vygozero Lake Ladoga Lake Macatawa Mälaren Lake Skadar Gulf of Tadjoura Wular Lake Vänern Pfaffenteich Bras d'Or Lake Lake Victoria Lake Peipus Songkhla Lake Schwielowsee Langer See Ostorfer See Ivö Lake Lake Como Bay Lake Lake Ilmen Veluwemeer Lake Magog Lake Ogura Åmänningen Vendelsjön Lake Michigan Jungfernsee Gnadensee Maschsee Lake Fagnano Schellensee Lough Corrib Three Valley Lake Lake Zurich Rice Lake Lake Baikal Usken Landösjön Piikajärvi Buckeye Lake Lake Biel Walchensee Ranco Lake Oneida Lake Ånnsjön Große Karausche Lake Thun Shuswap Lake Lough Neagh Orchard Lake wells of ekeren Mazinaw Lake Vikajärvi Teden Hjälmaren Steinsee Rusken Florsjön Loch Bracadale Lake Apanás Lake Lauerz Lake Muskoka Lake Sils Lake Novozero Lake Hazen Temenggor Lake Ziegelsee Loch Dunvegan Lucherberger See Bolmen Großer Eutiner See Lake Orestiada Laguna de Bay Oulujärvi Burgsee Brunnsviken Lankower See Lake Pyhäselkä Vättern Heidensee Geneva Lake Lake Garda Eemmeer Zeller See Åsunden (Västergötland) Lake Champlain IJ Dümmer See Algae Lake Dennenloher See Buada Lagoon Diyawanna Oya Lough Leane Lac Vieux Desert Fauler See Lake Iseo Schweriner See Lake Nicaragua Lake Safyany Firth of Lorn Mariebergsfjärden Grimkesee Great Bear Lake IJmeer Lake Ohrid Lake Constance Lake Temagami Vaattojärvi Lake Quinault Kvarnbergsvattnet Lake Geneva Großer Wannsee Lake Bled Lago Rosario étangs de Saclay Grünauer Teich Mara Lake
187
action count
action approx
action union
action find_reverse_tuple_counts
relation located next to body of water
type still waters
type archipelago
action find_reverse_tuple_counts
relation located next to body of water
type still waters
type city
action count
action filter_multi_types
action find_reverse
entity Große Karausche
relation located next to body of water
type archipelago
type city
[[{'concept': 'archipelago'}, {'concept': 'city'}], 'located next to body of water', {'concept': 'still waters'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) WHERE { FILTER ( ?k = ?a ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?a ) WHERE { ?o property:located_next_to_body_of_water resource:Große_Karausche . { VALUES ( ?t ) { ( ontology:archipelago ) ( ontology:city ) } . ?o rdf:type ?t } } } . { SELECT DISTINCT ?x ( COUNT ( ?d ) AS ?k ) WHERE { { ?d property:located_next_to_body_of_water ?x . ?x rdf:type ontology:still_waters . ?d rdf:type ontology:archipelago } UNION { ?d property:located_next_to_body_of_water ?x . ?x rdf:type ontology:still_waters . ?d rdf:type ontology:city } } GROUP BY ?x } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q210796 Q382628
P47
Q20667921
USER
How many french administrative divisions are bordered by Komárno or Rocamadour ?
(c(Q20667921),P47,Q210796) (c(Q20667921),P47,Q382628)
action count
action union
action filter_type
action find_reverse
entity Q210796
relation P47
type Q20667921
action filter_type
action find_reverse
entity Q382628
relation P47
type Q20667921
[{'concept': 'Q20667921'}, 'P47', 'Q210796'] [{'concept': 'Q20667921'}, 'P47', 'Q382628']
SELECT DISTINCT ( COUNT ( ?c ) AS ?b ) WHERE { { ?c rdf:type ontology:Q20667921 . ?c property:P47 resource:Q210796 } UNION { ?c property:P47 resource:Q382628 . ?c rdf:type ontology:Q20667921 } }
Komárno Rocamadour
action count
action union
action filter_type
action find_reverse
entity Komárno
relation shares border with
type type of french administrative division
action filter_type
action find_reverse
entity Rocamadour
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'Komárno'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Rocamadour']
SELECT DISTINCT ( COUNT ( ?c ) AS ?b ) WHERE { { ?c rdf:type ontology:type_of_french_administrative_division . ?c property:shares_border_with resource:Komárno } UNION { ?c property:shares_border_with resource:Rocamadour . ?c rdf:type ontology:type_of_french_administrative_division } }
[]
type of french administrative division
SYSTEM
8
Q1326721 Q1322082 Q430834 Q1322341 Q1381485 Q1321595 Q958487 Q766527
(c(Q20667921),P47,Q210796) (c(Q20667921),P47,Q382628)
action count
action union
action filter_type
action find_reverse
entity Q210796
relation P47
type Q20667921
action filter_type
action find_reverse
entity Q382628
relation P47
type Q20667921
[ANSWER]
[{'concept': 'Q20667921'}, 'P47', 'Q210796'] [{'concept': 'Q20667921'}, 'P47', 'Q382628']
SELECT DISTINCT ( COUNT ( ?c ) AS ?b ) WHERE { { ?c rdf:type ontology:Q20667921 . ?c property:P47 resource:Q210796 } UNION { ?c property:P47 resource:Q382628 . ?c rdf:type ontology:Q20667921 } }
Couzou Rignac Gramat Meyronne Calès Montvalent Alvignac Lacave
8
action count
action union
action filter_type
action find_reverse
entity Komárno
relation shares border with
type type of french administrative division
action filter_type
action find_reverse
entity Rocamadour
relation shares border with
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'shares border with', 'Komárno'] [{'concept': 'type of french administrative division'}, 'shares border with', 'Rocamadour']
SELECT DISTINCT ( COUNT ( ?c ) AS ?b ) WHERE { { ?c rdf:type ontology:type_of_french_administrative_division . ?c property:shares_border_with resource:Komárno } UNION { ?c property:shares_border_with resource:Rocamadour . ?c rdf:type ontology:type_of_french_administrative_division } }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q39 Q14459
P138 P17
Q13220204
USER
Which administrative country subdivisions are the eponym of Lake Sempach and are located in Switzerland ?
AND((c(Q13220204),P138,Q14459), (c(Q13220204),P17,Q39))
action filter_type
action intersection
action find_reverse
entity Q14459
relation P138
action find_reverse
entity Q39
relation P17
type Q13220204
{'AND': [[{'concept': 'Q13220204'}, 'P138', 'Q14459'], [{'concept': 'Q13220204'}, 'P17', 'Q39']]}
SELECT DISTINCT ?l WHERE { ?l property:P17 resource:Q39 . ?l property:P138 resource:Q14459 . ?l rdf:type ontology:Q13220204 }
Switzerland Lake Sempach
action filter_type
action intersection
action find_reverse
entity Lake Sempach
relation named after
action find_reverse
entity Switzerland
relation country
type second-level administrative country subdivision
{'AND': [[{'concept': 'second-level administrative country subdivision'}, 'named after', 'Lake Sempach'], [{'concept': 'second-level administrative country subdivision'}, 'country', 'Switzerland']]}
SELECT DISTINCT ?l WHERE { ?l property:country resource:Switzerland . ?l property:named_after resource:Lake_Sempach . ?l rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q7123
SYSTEM
Sursee
Q7123
AND((c(Q13220204),P138,Q14459), (c(Q13220204),P17,Q39))
action filter_type
action intersection
action find_reverse
entity Q14459
relation P138
action find_reverse
entity Q39
relation P17
type Q13220204
[ANSWER] is the eponym of Lake Sempach and is located in Switzerland
{'AND': [[{'concept': 'Q13220204'}, 'P138', 'Q14459'], [{'concept': 'Q13220204'}, 'P17', 'Q39']]}
SELECT DISTINCT ?l WHERE { ?l property:P17 resource:Q39 . ?l property:P138 resource:Q14459 . ?l rdf:type ontology:Q13220204 }
Sursee
Sursee is the eponym of Lake Sempach and is located in Switzerland
Sursee
action filter_type
action intersection
action find_reverse
entity Lake Sempach
relation named after
action find_reverse
entity Switzerland
relation country
type second-level administrative country subdivision
{'AND': [[{'concept': 'second-level administrative country subdivision'}, 'named after', 'Lake Sempach'], [{'concept': 'second-level administrative country subdivision'}, 'country', 'Switzerland']]}
SELECT DISTINCT ?l WHERE { ?l property:country resource:Switzerland . ?l property:named_after resource:Lake_Sempach . ?l rdf:type ontology:second-level_administrative_country_subdivision }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q7123 Q646843 Q39
P17
Q15617994
USER
Is that administrative country subdivision present in Stegersbach and Switzerland ?
(Q7123,P17,Q646843) (Q7123,P17,Q39)
action is_in
entity Q7123
action intersection
action find_reverse
entity Q646843
relation P17
action find_reverse
entity Q39
relation P17
['Q7123', 'P17', 'Q646843'] ['Q7123', 'P17', 'Q39']
ASK WHERE { resource:Q7123 property:P17 resource:Q646843 . resource:Q7123 property:P17 resource:Q39 }
Sursee Stegersbach Switzerland
action is_in
entity Sursee
action intersection
action find_reverse
entity Stegersbach
relation country
action find_reverse
entity Switzerland
relation country
['Sursee', 'country', 'Stegersbach'] ['Sursee', 'country', 'Switzerland']
ASK WHERE { resource:Sursee property:country resource:Stegersbach . resource:Sursee property:country resource:Switzerland }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q7123,P17,Q646843) (Q7123,P17,Q39)
action is_in
entity Q7123
action intersection
action find_reverse
entity Q646843
relation P17
action find_reverse
entity Q39
relation P17
[ANSWER]
['Q7123', 'P17', 'Q646843'] ['Q7123', 'P17', 'Q39']
ASK WHERE { resource:Q7123 property:P17 resource:Q646843 . resource:Q7123 property:P17 resource:Q39 }
NO and YES respectively
action is_in
entity Sursee
action intersection
action find_reverse
entity Stegersbach
relation country
action find_reverse
entity Switzerland
relation country
['Sursee', 'country', 'Stegersbach'] ['Sursee', 'country', 'Switzerland']
ASK WHERE { resource:Sursee property:country resource:Stegersbach . resource:Sursee property:country resource:Switzerland }
[]