Simple Question (Direct)
Simple Question
Q75350
P19
Q515
USER
Which city is the place of birth of Lazarus Geiger ?
(Q75350,P19,c(Q515))
action filter_type
action find
entity Q75350
relation P19
type Q515
['Q75350', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q515 . resource:Q75350 property:P19 ?r }
Lazarus Geiger
action filter_type
action find
entity Lazarus Geiger
relation place of birth
type city
['Lazarus Geiger', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:city . resource:Lazarus_Geiger property:place_of_birth ?r }
[]
city
Q1794
SYSTEM
Frankfurt
Q1794
(Q75350,P19,c(Q515))
action filter_type
action find
entity Q75350
relation P19
type Q515
[ANSWER] is the place of birth of Lazarus Geiger
['Q75350', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q515 . resource:Q75350 property:P19 ?r }
Frankfurt
Frankfurt is the place of birth of Lazarus Geiger
Frankfurt
action filter_type
action find
entity Lazarus Geiger
relation place of birth
type city
['Lazarus Geiger', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:city . resource:Lazarus_Geiger property:place_of_birth ?r }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q75350
P20
Q515
USER
Which city is the place of death of that person ?
(Q1794,P20,c(Q515))
action filter_type
action find
entity Q75350
relation P20
type Q515
['Q1794', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?r WHERE { resource:Q75350 property:P20 ?r . ?r rdf:type ontology:Q515 }
Lazarus Geiger
action filter_type
action find
entity Lazarus Geiger
relation place of death
type city
['Frankfurt', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?r WHERE { resource:Lazarus_Geiger property:place_of_death ?r . ?r rdf:type ontology:city }
[]
city
Q1794
SYSTEM
Frankfurt
Q1794
(Q1794,P20,c(Q515))
action filter_type
action find
entity Q75350
relation P20
type Q515
[ANSWER] is the place of death of that person
['Q1794', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?r WHERE { resource:Q75350 property:P20 ?r . ?r rdf:type ontology:Q515 }
Frankfurt
Frankfurt is the place of death of that person
Frankfurt
action filter_type
action find
entity Lazarus Geiger
relation place of death
type city
['Frankfurt', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?r WHERE { resource:Lazarus_Geiger property:place_of_death ?r . ?r rdf:type ontology:city }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q1794 Q4122235
P69
Q502895
USER
How many people were a student at Frankfurt or private law ?
(c(Q502895),P69,Q1794) (c(Q502895),P69,Q4122235)
action count
action union
action filter_type
action find_reverse
entity Q1794
relation P69
type Q502895
action filter_type
action find_reverse
entity Q4122235
relation P69
type Q502895
[{'concept': 'Q502895'}, 'P69', 'Q1794'] [{'concept': 'Q502895'}, 'P69', 'Q4122235']
SELECT DISTINCT ( COUNT ( ?w ) AS ?n ) WHERE { VALUES ( ?o ) { ( resource:Q1794 ) ( resource:Q4122235 ) } . ?w property:P69 ?o }
Frankfurt private law
action count
action union
action filter_type
action find_reverse
entity Frankfurt
relation educated at
type common name
action filter_type
action find_reverse
entity private law
relation educated at
type common name
[{'concept': 'common name'}, 'educated at', 'Frankfurt'] [{'concept': 'common name'}, 'educated at', 'private law']
SELECT DISTINCT ( COUNT ( ?w ) AS ?n ) WHERE { VALUES ( ?o ) { ( resource:Frankfurt ) ( resource:private_law ) } . ?w property:educated_at ?o }
[]
common name
SYSTEM
2
Q2926744 Q75503
(c(Q502895),P69,Q1794) (c(Q502895),P69,Q4122235)
action count
action union
action filter_type
action find_reverse
entity Q1794
relation P69
type Q502895
action filter_type
action find_reverse
entity Q4122235
relation P69
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P69', 'Q1794'] [{'concept': 'Q502895'}, 'P69', 'Q4122235']
SELECT DISTINCT ( COUNT ( ?w ) AS ?n ) WHERE { VALUES ( ?o ) { ( resource:Q1794 ) ( resource:Q4122235 ) } . ?w property:P69 ?o }
Bruno Dondero Moritz Schiff
2
action count
action union
action filter_type
action find_reverse
entity Frankfurt
relation educated at
type common name
action filter_type
action find_reverse
entity private law
relation educated at
type common name
[{'concept': 'common name'}, 'educated at', 'Frankfurt'] [{'concept': 'common name'}, 'educated at', 'private law']
SELECT DISTINCT ( COUNT ( ?w ) AS ?n ) WHERE { VALUES ( ?o ) { ( resource:Frankfurt ) ( resource:private_law ) } . ?w property:educated_at ?o }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P206
Q1267889 Q355304 Q515
USER
Which cities are located next to min number of waterways and watercourses ?
(c(Q515),P206,c(Q1267889)|c(Q355304))
action argmin
action union
action find_tuple_counts
relation P206
type Q515
type Q1267889
action find_tuple_counts
relation P206
type Q515
type Q355304
[{'concept': 'Q515'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q355304'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( MIN ( ?m ) AS ?f ) { SELECT DISTINCT ( COUNT ( ?n ) AS ?m ) ?l WHERE { ?n rdf:type ?e . VALUES ( ?e ) { ( ontology:Q1267889 ) ( ontology:Q355304 ) } } GROUP BY ?l } } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?q ) ?z WHERE { { ?o rdf:type ontology:Q355304 . ?z rdf:type ontology:Q515 . ?z property:P206 ?o } UNION { ?z property:P206 ?o . ?z rdf:type ontology:Q515 . ?o rdf:type ontology:Q1267889 } } GROUP BY ?z } . FILTER ( ?q = ?f ) }
action argmin
action union
action find_tuple_counts
relation located next to body of water
type city
type waterway
action find_tuple_counts
relation located next to body of water
type city
type watercourse
[{'concept': 'city'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'watercourse'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( MIN ( ?m ) AS ?f ) { SELECT DISTINCT ( COUNT ( ?n ) AS ?m ) ?l WHERE { ?n rdf:type ?e . VALUES ( ?e ) { ( ontology:waterway ) ( ontology:watercourse ) } } GROUP BY ?l } } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?q ) ?z WHERE { { ?o rdf:type ontology:watercourse . ?z rdf:type ontology:city . ?z property:located_next_to_body_of_water ?o } UNION { ?z property:located_next_to_body_of_water ?o . ?z rdf:type ontology:city . ?o rdf:type ontology:waterway } } GROUP BY ?z } . FILTER ( ?q = ?f ) }
[]
waterway watercourse city
Q1486 Q3572 Q1410
SYSTEM
Buenos Aires, Tunis, Gibraltar
Q1410 Q1519 Q846877 Q1486 Q602903 Q488869 Q217432 Q3572 Q623549 Q34261 Q3958 Q612815 Q633935 Q7473516 Q890122 Q41474 Q4346 Q3751 Q847550 Q646780 Q3857 Q3861
(c(Q515),P206,c(Q1267889)|c(Q355304))
action argmin
action union
action find_tuple_counts
relation P206
type Q515
type Q1267889
action find_tuple_counts
relation P206
type Q515
type Q355304
[ANSWERS] are located next to min number of waterways and watercourses
[{'concept': 'Q515'}, 'P206', [{'concept': 'Q1267889'}, {'concept': 'Q355304'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( MIN ( ?m ) AS ?f ) { SELECT DISTINCT ( COUNT ( ?n ) AS ?m ) ?l WHERE { ?n rdf:type ?e . VALUES ( ?e ) { ( ontology:Q1267889 ) ( ontology:Q355304 ) } } GROUP BY ?l } } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?q ) ?z WHERE { { ?o rdf:type ontology:Q355304 . ?z rdf:type ontology:Q515 . ?z property:P206 ?o } UNION { ?z property:P206 ?o . ?z rdf:type ontology:Q515 . ?o rdf:type ontology:Q1267889 } } GROUP BY ?z } . FILTER ( ?q = ?f ) }
Gibraltar Abu Dhabi Semboku Buenos Aires Yurihonjō Benalmádena Port Harcourt Tunis Puerto de la Cruz Port-au-Prince Neubrandenburg Garachico Oga Tokyo Bolhrad Kingstown Waren (Müritz) Praia Nikaho Katagami Wilhelmshaven Doha
Buenos Aires, Tunis and Gibraltar are located next to min number of waterways and watercourses
Buenos Aires Tunis Gibraltar
action argmin
action union
action find_tuple_counts
relation located next to body of water
type city
type waterway
action find_tuple_counts
relation located next to body of water
type city
type watercourse
[{'concept': 'city'}, 'located next to body of water', [{'concept': 'waterway'}, {'concept': 'watercourse'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( MIN ( ?m ) AS ?f ) { SELECT DISTINCT ( COUNT ( ?n ) AS ?m ) ?l WHERE { ?n rdf:type ?e . VALUES ( ?e ) { ( ontology:waterway ) ( ontology:watercourse ) } } GROUP BY ?l } } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?q ) ?z WHERE { { ?o rdf:type ontology:watercourse . ?z rdf:type ontology:city . ?z property:located_next_to_body_of_water ?o } UNION { ?z property:located_next_to_body_of_water ?o . ?z rdf:type ontology:city . ?o rdf:type ontology:waterway } } GROUP BY ?z } . FILTER ( ?q = ?f ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q9013714 Q1794
P19 P190
Q515
USER
Which cities are twin towns of Frankfurt or were Aoi Nakabeppu born in ?
OR((Q1794,P190,c(Q515)), (Q9013714,P19,c(Q515)))
action filter_type
action union
action find
entity Q1794
relation P190
action find
entity Q9013714
relation P19
type Q515
{'OR': [['Q1794', 'P190', {'concept': 'Q515'}], ['Q9013714', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?q WHERE { { { resource:Q1794 property:P190 ?q } UNION { resource:Q9013714 property:P19 ?q } } . ?q rdf:type ontology:Q515 }
Aoi Nakabeppu Frankfurt
action filter_type
action union
action find
entity Frankfurt
relation sister city
action find
entity Aoi Nakabeppu
relation place of birth
type city
{'OR': [['Frankfurt', 'sister city', {'concept': 'city'}], ['Aoi Nakabeppu', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?q WHERE { { { resource:Frankfurt property:sister_city ?q } UNION { resource:Aoi_Nakabeppu property:place_of_birth ?q } } . ?q rdf:type ontology:city }
[]
city
Q456 Q873558 Q2079
SYSTEM
Lyon, Kōshi, Leipzig
Q456 Q873558 Q2079
OR((Q1794,P190,c(Q515)), (Q9013714,P19,c(Q515)))
action filter_type
action union
action find
entity Q1794
relation P190
action find
entity Q9013714
relation P19
type Q515
[ANSWERS] are twin towns of Frankfurt or were Aoi Nakabeppu born in
{'OR': [['Q1794', 'P190', {'concept': 'Q515'}], ['Q9013714', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?q WHERE { { { resource:Q1794 property:P190 ?q } UNION { resource:Q9013714 property:P19 ?q } } . ?q rdf:type ontology:Q515 }
Lyon Kōshi Leipzig
Lyon, Kōshi and Leipzig are twin towns of Frankfurt or were Aoi Nakabeppu born in
Lyon Kōshi Leipzig
action filter_type
action union
action find
entity Frankfurt
relation sister city
action find
entity Aoi Nakabeppu
relation place of birth
type city
{'OR': [['Frankfurt', 'sister city', {'concept': 'city'}], ['Aoi Nakabeppu', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?q WHERE { { { resource:Frankfurt property:sister_city ?q } UNION { resource:Aoi_Nakabeppu property:place_of_birth ?q } } . ?q rdf:type ontology:city }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q456 Q23346
P937
Q502895
USER
How many people have Lyon or Sussex as work location ?
(c(Q502895),P937,Q456) (c(Q502895),P937,Q23346)
action count
action union
action filter_type
action find_reverse
entity Q456
relation P937
type Q502895
action filter_type
action find_reverse
entity Q23346
relation P937
type Q502895
[{'concept': 'Q502895'}, 'P937', 'Q456'] [{'concept': 'Q502895'}, 'P937', 'Q23346']
SELECT DISTINCT ( COUNT ( ?u ) AS ?b ) WHERE { ?u property:P937 ?m . VALUES ( ?m ) { ( resource:Q456 ) ( resource:Q23346 ) } }
Lyon Sussex
action count
action union
action filter_type
action find_reverse
entity Lyon
relation work location
type common name
action filter_type
action find_reverse
entity Sussex
relation work location
type common name
[{'concept': 'common name'}, 'work location', 'Lyon'] [{'concept': 'common name'}, 'work location', 'Sussex']
SELECT DISTINCT ( COUNT ( ?u ) AS ?b ) WHERE { ?u property:work_location ?m . VALUES ( ?m ) { ( resource:Lyon ) ( resource:Sussex ) } }
[]
common name
SYSTEM
44
Q22117420 Q1582826 Q21160202 Q106808 Q15847288 Q1248100 Q3292362 Q3107013 Q1699845 Q25343669 Q18117881 Q3185708 Q574388 Q1321578 Q26709650 Q19544724 Q21328752 Q18923196 Q18117963 Q63826 Q23931504 Q2422961 Q18012132 Q1403458 Q369025 Q1096348 Q312939 Q1444523 Q19803161 Q77376 Q214896 Q675 Q562 Q942766 Q1268739 Q664748 Q939813 Q16590303 Q610185 Q19599423 Q2898582 Q152817 Q19599370 Q707538
(c(Q502895),P937,Q456) (c(Q502895),P937,Q23346)
action count
action union
action filter_type
action find_reverse
entity Q456
relation P937
type Q502895
action filter_type
action find_reverse
entity Q23346
relation P937
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P937', 'Q456'] [{'concept': 'Q502895'}, 'P937', 'Q23346']
SELECT DISTINCT ( COUNT ( ?u ) AS ?b ) WHERE { ?u property:P937 ?m . VALUES ( ?m ) { ( resource:Q456 ) ( resource:Q23346 ) } }
Jérôme Henry Hans Ulrich Krafft Mathieu Ogier Heinrich VI. Serge Dorny Étienne Dolet Marie Antoine Alexandre Guilliermond Giovanni Antonio di Mayo Wolf Moser Jimmy Oihid Alfred Philibert Soupé Joseph Valla Jacopo Strada Gabriele Simeoni Antoine Boudet Guillaume II Le Roy Nicolas Leclerc Colette Demaizière Jean de Vauzelles Emil Julius Gumbel André Védrine Henri Focillon André Declaustre Jean Denis Attiret Jacques Besson Claude Odon Reure Peter Waldo Hugues Vaganay Sébastien Premillieux Sebastian Gryphius Peter Joseph Osterhaus André-Marie Ampère Pierre Poivre Jodocus Badius Jean Hey Henri Estienne Jean Decety Pierre Coustau Jean Joseph Henri Toussaint Frédéric Hotelard Bernard Salomon Gérard Desargues Ennemond-François Hotelard Stephen Dillane
44
action count
action union
action filter_type
action find_reverse
entity Lyon
relation work location
type common name
action filter_type
action find_reverse
entity Sussex
relation work location
type common name
[{'concept': 'common name'}, 'work location', 'Lyon'] [{'concept': 'common name'}, 'work location', 'Sussex']
SELECT DISTINCT ( COUNT ( ?u ) AS ?b ) WHERE { ?u property:work_location ?m . VALUES ( ?m ) { ( resource:Lyon ) ( resource:Sussex ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1794
P551
Q502895
USER
Which people have residence at Frankfurt ?
(c(Q502895),P551,Q1794)
action filter_type
action find_reverse
entity Q1794
relation P551
type Q502895
[{'concept': 'Q502895'}, 'P551', 'Q1794']
SELECT DISTINCT ?u WHERE { ?u property:P551 resource:Q1794 . ?u rdf:type ontology:Q502895 }
Frankfurt
action filter_type
action find_reverse
entity Frankfurt
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Frankfurt']
SELECT DISTINCT ?u WHERE { ?u property:residence resource:Frankfurt . ?u rdf:type ontology:common_name }
[]
common name
Q17496561 Q4583 Q38193
SYSTEM
Armin Kutzsche, Anne Frank, Arthur Schopenhauer
Q16522121 Q16004136 Q38193 Q15986688 Q26902539 Q18347222 Q61790 Q23498023 Q3313228 Q20829318 Q18392988 Q20810789 Q19824324 Q5437789 Q112007 Q4583 Q17496561
(c(Q502895),P551,Q1794)
action filter_type
action find_reverse
entity Q1794
relation P551
type Q502895
[ANSWERS] have residence at Frankfurt
[{'concept': 'Q502895'}, 'P551', 'Q1794']
SELECT DISTINCT ?u WHERE { ?u property:P551 resource:Q1794 . ?u rdf:type ontology:Q502895 }
Heinrich Baab Mary Ellen Best Arthur Schopenhauer Mayra Conde Almuth Heuner Wenzel Goldbaum Alexander Waske Ole Weissenberger Mike Bouchet Detmar Wilhelm Soemmerring Stefan Kutzsche Johann Karl Passavant Karl Binding Fatih Kocamis Lucy Hillebrand Anne Frank Armin Kutzsche
Armin Kutzsche, Anne Frank and Arthur Schopenhauer have residence at Frankfurt
Armin Kutzsche Anne Frank Arthur Schopenhauer
action filter_type
action find_reverse
entity Frankfurt
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Frankfurt']
SELECT DISTINCT ?u WHERE { ?u property:residence resource:Frankfurt . ?u rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1794
P1444
Q22348500
USER
Which cycling race class finally halts at Frankfurt ?
(c(Q22348500),P1444,Q1794)
action filter_type
action find_reverse
entity Q1794
relation P1444
type Q22348500
[{'concept': 'Q22348500'}, 'P1444', 'Q1794']
SELECT DISTINCT ?t WHERE { ?t property:P1444 resource:Q1794 . ?t rdf:type ontology:Q22348500 }
Frankfurt
action filter_type
action find_reverse
entity Frankfurt
relation destination point
type cycling race class defined by the International Cycling Union
[{'concept': 'cycling race class defined by the International Cycling Union'}, 'destination point', 'Frankfurt']
SELECT DISTINCT ?t WHERE { ?t property:destination_point resource:Frankfurt . ?t rdf:type ontology:cycling_race_class_defined_by_the_International_Cycling_Union }
[]
cycling race class defined by the International Cycling Union
Q24074230
SYSTEM
2016 Eschborn-Frankfurt City Loop
Q24074230
(c(Q22348500),P1444,Q1794)
action filter_type
action find_reverse
entity Q1794
relation P1444
type Q22348500
[ANSWER] finally halts at Frankfurt
[{'concept': 'Q22348500'}, 'P1444', 'Q1794']
SELECT DISTINCT ?t WHERE { ?t property:P1444 resource:Q1794 . ?t rdf:type ontology:Q22348500 }
2016 Eschborn-Frankfurt City Loop
2016 Eschborn-Frankfurt City Loop finally halts at Frankfurt
2016 Eschborn-Frankfurt City Loop
action filter_type
action find_reverse
entity Frankfurt
relation destination point
type cycling race class defined by the International Cycling Union
[{'concept': 'cycling race class defined by the International Cycling Union'}, 'destination point', 'Frankfurt']
SELECT DISTINCT ?t WHERE { ?t property:destination_point resource:Frankfurt . ?t rdf:type ontology:cycling_race_class_defined_by_the_International_Cycling_Union }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1794
P138
Q2235308
USER
Which ship type comes from that city ?
(c(Q2235308),P138,Q24074230)
action filter_type
action find_reverse
entity Q1794
relation P138
type Q2235308
[{'concept': 'Q2235308'}, 'P138', 'Q24074230']
SELECT DISTINCT ?s WHERE { ?s property:P138 resource:Q1794 . ?s rdf:type ontology:Q2235308 }
Frankfurt
action filter_type
action find_reverse
entity Frankfurt
relation named after
type ship type
[{'concept': 'ship type'}, 'named after', '2016 Eschborn-Frankfurt City Loop']
SELECT DISTINCT ?s WHERE { ?s property:named_after resource:Frankfurt . ?s rdf:type ontology:ship_type }
[]
ship type
Q833965
SYSTEM
Frankfurt am Main
Q833965
(c(Q2235308),P138,Q24074230)
action filter_type
action find_reverse
entity Q1794
relation P138
type Q2235308
[ANSWER] comes from that city
[{'concept': 'Q2235308'}, 'P138', 'Q24074230']
SELECT DISTINCT ?s WHERE { ?s property:P138 resource:Q1794 . ?s rdf:type ontology:Q2235308 }
Frankfurt am Main
Frankfurt am Main comes from that city
Frankfurt am Main
action filter_type
action find_reverse
entity Frankfurt
relation named after
type ship type
[{'concept': 'ship type'}, 'named after', '2016 Eschborn-Frankfurt City Loop']
SELECT DISTINCT ?s WHERE { ?s property:named_after resource:Frankfurt . ?s rdf:type ontology:ship_type }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q734416
P159
Q515 Q4830453 Q874405
USER
How many cities are the headquarters of greater number of business enterprises or social groups located than Tsuruoka ?
(c(Q4830453)|c(Q874405),P159,c(Q515))
action count
action greater
action union
action find_reverse_tuple_counts
relation P159
type Q515
type Q4830453
action find_reverse_tuple_counts
relation P159
type Q515
type Q874405
action count
action filter_multi_types
action find_reverse
entity Q734416
relation P159
type Q4830453
type Q874405
[[{'concept': 'Q4830453'}, {'concept': 'Q874405'}], 'P159', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?c ) ?l WHERE { { ?t property:P159 ?l . ?l rdf:type ontology:Q515 . ?t rdf:type ontology:Q4830453 } UNION { ?l rdf:type ontology:Q515 . ?t rdf:type ontology:Q874405 . ?t property:P159 ?l } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?o ) WHERE { ?s property:P159 resource:Q734416 . { VALUES ( ?g ) { ( ontology:Q4830453 ) ( ontology:Q874405 ) } . ?s rdf:type ?g } } } . FILTER ( ?c > ?o ) }
Tsuruoka
action count
action greater
action union
action find_reverse_tuple_counts
relation headquarters location
type city
type business enterprise
action find_reverse_tuple_counts
relation headquarters location
type city
type social group
action count
action filter_multi_types
action find_reverse
entity Tsuruoka
relation headquarters location
type business enterprise
type social group
[[{'concept': 'business enterprise'}, {'concept': 'social group'}], 'headquarters location', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?c ) ?l WHERE { { ?t property:headquarters_location ?l . ?l rdf:type ontology:city . ?t rdf:type ontology:business_enterprise } UNION { ?l rdf:type ontology:city . ?t rdf:type ontology:social_group . ?t property:headquarters_location ?l } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?o ) WHERE { ?s property:headquarters_location resource:Tsuruoka . { VALUES ( ?g ) { ( ontology:business_enterprise ) ( ontology:social_group ) } . ?s rdf:type ?g } } } . FILTER ( ?c > ?o ) }
[]
city business enterprise social group
SYSTEM
129
Q3572 Q1711 Q841296 Q3870 Q849439 Q11736 Q17042 Q10393 Q41283 Q3624 Q7473516 Q1009095 Q18575 Q3994 Q1017251 Q147738 Q2135 Q43196 Q2887 Q3926 Q23482 Q5838 Q181276 Q3692 Q719 Q19689 Q3104 Q1899 Q1410 Q14960 Q1794 Q5088 Q178878 Q1486 Q2966 Q179608 Q1467 Q1461 Q2865 Q386635 Q10389 Q30340 Q23430 Q629849 Q1362 Q8247 Q182378 Q188082 Q1519 Q8684 Q167109 Q6602 Q23661 Q1936067 Q72990 Q2100 Q1731 Q43433 Q3859 Q19660 Q3915 Q665097 Q389562 Q9005 Q62723 Q8652 Q3004 Q26600 Q2973 Q34261 Q1953 Q1475 Q1773 Q2079 Q2773 Q6829 Q1858 Q2096 Q1854 Q3787 Q7070 Q182852 Q68481 Q47916 Q80484 Q1508 Q3042 Q157835 Q368929 Q34217 Q2749 Q11194 Q2119 Q1720 Q1721 Q3861 Q496405 Q2844 Q11725 Q1863 Q1865 Q359990 Q999916 Q42622 Q72778 Q1355 Q75091 Q189761 Q189769 Q1761 Q2795 Q57866 Q2706 Q184998 Q456 Q158523 Q168648 Q2833 Q485176 Q3935 Q3936 Q3931 Q3616 Q171943 Q1533 Q1530 Q1844 Q59132 Q16666
(c(Q4830453)|c(Q874405),P159,c(Q515))
action count
action greater
action union
action find_reverse_tuple_counts
relation P159
type Q515
type Q4830453
action find_reverse_tuple_counts
relation P159
type Q515
type Q874405
action count
action filter_multi_types
action find_reverse
entity Q734416
relation P159
type Q4830453
type Q874405
[ANSWER]
[[{'concept': 'Q4830453'}, {'concept': 'Q874405'}], 'P159', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?c ) ?l WHERE { { ?t property:P159 ?l . ?l rdf:type ontology:Q515 . ?t rdf:type ontology:Q4830453 } UNION { ?l rdf:type ontology:Q515 . ?t rdf:type ontology:Q874405 . ?t property:P159 ?l } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?o ) WHERE { ?s property:P159 resource:Q734416 . { VALUES ( ?g ) { ( ontology:Q4830453 ) ( ontology:Q874405 ) } . ?s rdf:type ?g } } } . FILTER ( ?c > ?o ) }
Tunis Potsdam Příbram Nairobi Kopřivnice Tianjin Oakland Bogor Gwangju Addis Ababa Tokyo Otrokovice Tucson Kempten Nová Paka Saint Helier Winnipeg Cincinnati Santiago Pretoria Marseille Kabul Szolnok Riyadh Saginaw Tirana Koblenz Kyiv Gibraltar Brno Frankfurt Durgapur Békéscsaba Buenos Aires Heidelberg Nanning Cebu City Manila Kassel Hikone Bandung Zhengzhou Ulaanbaatar Hatvan Islamabad Biratnagar Putrajaya Český Krumlov Abu Dhabi Seoul Eger Strasbourg Wellington Smržovka Jincheng Duisburg Dresden Chandigarh Kigali Bucharest Antananarivo Minoh Inazawa Brussels General Trias Miami Ingolstadt Fukuoka Darmstadt Port-au-Prince Yerevan Quezon City Riga Leipzig Braunschweig Speyer Hanoi Edmonton Ho Chi Minh City Abuja Eisenach Kunming Fuzhou Lucknow Patna Makati Offenbach am Main Zaporizhzhya Jindřichův Hradec Oxford Augsburg Sarajevo Mannheim Mainz Wiesbaden Doha Qujing Brasília Chongqing Andorra la Vella Kuala Lumpur Wuhu Vysoké Mýto Suzhou Taiyuan Bangalore Benxi Szekszárd Salgótarján Dublin Chemnitz Yancheng Bremerhaven Kaposvár Lyon Ehingen Sopron Freiburg im Breisgau Pasadena Windhoek Bamberg Brandenburg an der Havel Tehran Nanchang Caracas Baghdad Vaduz Jiangmen Nanjing
129
action count
action greater
action union
action find_reverse_tuple_counts
relation headquarters location
type city
type business enterprise
action find_reverse_tuple_counts
relation headquarters location
type city
type social group
action count
action filter_multi_types
action find_reverse
entity Tsuruoka
relation headquarters location
type business enterprise
type social group
[[{'concept': 'business enterprise'}, {'concept': 'social group'}], 'headquarters location', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?v ) WHERE { { SELECT DISTINCT ( COUNT ( ?t ) AS ?c ) ?l WHERE { { ?t property:headquarters_location ?l . ?l rdf:type ontology:city . ?t rdf:type ontology:business_enterprise } UNION { ?l rdf:type ontology:city . ?t rdf:type ontology:social_group . ?t property:headquarters_location ?l } } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?o ) WHERE { ?s property:headquarters_location resource:Tsuruoka . { VALUES ( ?g ) { ( ontology:business_enterprise ) ( ontology:social_group ) } . ?s rdf:type ?g } } } . FILTER ( ?c > ?o ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q844138
P159
Q515 Q4830453 Q874405
USER
And also tell me about Ryūgasaki?
(c(Q4830453)|c(Q874405),P159,c(Q515))
action count
action greater
action union
action find_reverse_tuple_counts
relation P159
type Q515
type Q4830453
action find_reverse_tuple_counts
relation P159
type Q515
type Q874405
action count
action filter_multi_types
action find_reverse
entity Q844138
relation P159
type Q4830453
type Q874405
[[{'concept': 'Q4830453'}, {'concept': 'Q874405'}], 'P159', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?l ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?m ) AS ?o ) WHERE { { ?m property:P159 ?c . ?c rdf:type ontology:Q515 . ?m rdf:type ontology:Q4830453 } UNION { ?c rdf:type ontology:Q515 . ?m rdf:type ontology:Q874405 . ?m property:P159 ?c } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?y ) WHERE { ?v property:P159 resource:Q844138 . { ?v rdf:type ?f . VALUES ( ?f ) { ( ontology:Q4830453 ) ( ontology:Q874405 ) } } } } . FILTER ( ?o > ?y ) }
Ryūgasaki
action count
action greater
action union
action find_reverse_tuple_counts
relation headquarters location
type city
type business enterprise
action find_reverse_tuple_counts
relation headquarters location
type city
type social group
action count
action filter_multi_types
action find_reverse
entity Ryūgasaki
relation headquarters location
type business enterprise
type social group
[[{'concept': 'business enterprise'}, {'concept': 'social group'}], 'headquarters location', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?l ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?m ) AS ?o ) WHERE { { ?m property:headquarters_location ?c . ?c rdf:type ontology:city . ?m rdf:type ontology:business_enterprise } UNION { ?c rdf:type ontology:city . ?m rdf:type ontology:social_group . ?m property:headquarters_location ?c } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?y ) WHERE { ?v property:headquarters_location resource:Ryūgasaki . { ?v rdf:type ?f . VALUES ( ?f ) { ( ontology:business_enterprise ) ( ontology:social_group ) } } } } . FILTER ( ?o > ?y ) }
[]
city business enterprise social group
SYSTEM
129
Q3572 Q1711 Q841296 Q3870 Q849439 Q11736 Q17042 Q10393 Q41283 Q3624 Q7473516 Q1009095 Q18575 Q3994 Q1017251 Q147738 Q2135 Q43196 Q2887 Q3926 Q23482 Q5838 Q181276 Q3692 Q719 Q19689 Q3104 Q1899 Q1410 Q14960 Q1794 Q5088 Q178878 Q1486 Q2966 Q179608 Q1467 Q1461 Q2865 Q386635 Q10389 Q30340 Q23430 Q629849 Q1362 Q8247 Q182378 Q188082 Q1519 Q8684 Q167109 Q6602 Q23661 Q1936067 Q72990 Q2100 Q1731 Q43433 Q3859 Q19660 Q3915 Q665097 Q389562 Q9005 Q62723 Q8652 Q3004 Q26600 Q2973 Q34261 Q1953 Q1475 Q1773 Q2079 Q2773 Q6829 Q1858 Q2096 Q1854 Q3787 Q7070 Q182852 Q68481 Q47916 Q80484 Q1508 Q3042 Q157835 Q368929 Q34217 Q2749 Q11194 Q2119 Q1720 Q1721 Q3861 Q496405 Q2844 Q11725 Q1863 Q1865 Q359990 Q999916 Q42622 Q72778 Q1355 Q75091 Q189761 Q189769 Q1761 Q2795 Q57866 Q2706 Q184998 Q456 Q158523 Q168648 Q2833 Q485176 Q3935 Q3936 Q3931 Q3616 Q171943 Q1533 Q1530 Q1844 Q59132 Q16666
(c(Q4830453)|c(Q874405),P159,c(Q515))
action count
action greater
action union
action find_reverse_tuple_counts
relation P159
type Q515
type Q4830453
action find_reverse_tuple_counts
relation P159
type Q515
type Q874405
action count
action filter_multi_types
action find_reverse
entity Q844138
relation P159
type Q4830453
type Q874405
[ANSWER]
[[{'concept': 'Q4830453'}, {'concept': 'Q874405'}], 'P159', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?l ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?m ) AS ?o ) WHERE { { ?m property:P159 ?c . ?c rdf:type ontology:Q515 . ?m rdf:type ontology:Q4830453 } UNION { ?c rdf:type ontology:Q515 . ?m rdf:type ontology:Q874405 . ?m property:P159 ?c } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?y ) WHERE { ?v property:P159 resource:Q844138 . { ?v rdf:type ?f . VALUES ( ?f ) { ( ontology:Q4830453 ) ( ontology:Q874405 ) } } } } . FILTER ( ?o > ?y ) }
Tunis Potsdam Příbram Nairobi Kopřivnice Tianjin Oakland Bogor Gwangju Addis Ababa Tokyo Otrokovice Tucson Kempten Nová Paka Saint Helier Winnipeg Cincinnati Santiago Pretoria Marseille Kabul Szolnok Riyadh Saginaw Tirana Koblenz Kyiv Gibraltar Brno Frankfurt Durgapur Békéscsaba Buenos Aires Heidelberg Nanning Cebu City Manila Kassel Hikone Bandung Zhengzhou Ulaanbaatar Hatvan Islamabad Biratnagar Putrajaya Český Krumlov Abu Dhabi Seoul Eger Strasbourg Wellington Smržovka Jincheng Duisburg Dresden Chandigarh Kigali Bucharest Antananarivo Minoh Inazawa Brussels General Trias Miami Ingolstadt Fukuoka Darmstadt Port-au-Prince Yerevan Quezon City Riga Leipzig Braunschweig Speyer Hanoi Edmonton Ho Chi Minh City Abuja Eisenach Kunming Fuzhou Lucknow Patna Makati Offenbach am Main Zaporizhzhya Jindřichův Hradec Oxford Augsburg Sarajevo Mannheim Mainz Wiesbaden Doha Qujing Brasília Chongqing Andorra la Vella Kuala Lumpur Wuhu Vysoké Mýto Suzhou Taiyuan Bangalore Benxi Szekszárd Salgótarján Dublin Chemnitz Yancheng Bremerhaven Kaposvár Lyon Ehingen Sopron Freiburg im Breisgau Pasadena Windhoek Bamberg Brandenburg an der Havel Tehran Nanchang Caracas Baghdad Vaduz Jiangmen Nanjing
129
action count
action greater
action union
action find_reverse_tuple_counts
relation headquarters location
type city
type business enterprise
action find_reverse_tuple_counts
relation headquarters location
type city
type social group
action count
action filter_multi_types
action find_reverse
entity Ryūgasaki
relation headquarters location
type business enterprise
type social group
[[{'concept': 'business enterprise'}, {'concept': 'social group'}], 'headquarters location', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?l ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?m ) AS ?o ) WHERE { { ?m property:headquarters_location ?c . ?c rdf:type ontology:city . ?m rdf:type ontology:business_enterprise } UNION { ?c rdf:type ontology:city . ?m rdf:type ontology:social_group . ?m property:headquarters_location ?c } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?y ) WHERE { ?v property:headquarters_location resource:Ryūgasaki . { ?v rdf:type ?f . VALUES ( ?f ) { ( ontology:business_enterprise ) ( ontology:social_group ) } } } } . FILTER ( ?o > ?y ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q17496561
P21 P802
Q502895
USER
Which people were a notable student of Armin Kutzsche and have the gender as male ?
AND((c(Q502895),P802,Q17496561), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q17496561
relation P802
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P802', 'Q17496561'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?h WHERE { ?h property:P802 resource:Q17496561 . ?h property:P21 resource:Q6581097 . ?h rdf:type ontology:Q502895 }
male Armin Kutzsche
action filter_type
action intersection
action find_reverse
entity Armin Kutzsche
relation student
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'student', 'Armin Kutzsche'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?h WHERE { ?h property:student resource:Armin_Kutzsche . ?h property:gender resource:male . ?h rdf:type ontology:common_name }
[]
common name
Q85405 Q71330 Q18083948
SYSTEM
Paul Uhlenhuth, Karl Kleist, Hans Schlossberger
Q85405 Q71330 Q18083948
AND((c(Q502895),P802,Q17496561), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q17496561
relation P802
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS] were a notable student of Armin Kutzsche and have the gender as male
{'AND': [[{'concept': 'Q502895'}, 'P802', 'Q17496561'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?h WHERE { ?h property:P802 resource:Q17496561 . ?h property:P21 resource:Q6581097 . ?h rdf:type ontology:Q502895 }
Paul Uhlenhuth Karl Kleist Hans Schlossberger
Paul Uhlenhuth, Karl Kleist and Hans Schlossberger were a notable student of Armin Kutzsche and have the gender as male
Paul Uhlenhuth Karl Kleist Hans Schlossberger
action filter_type
action intersection
action find_reverse
entity Armin Kutzsche
relation student
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'student', 'Armin Kutzsche'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?h WHERE { ?h property:student resource:Armin_Kutzsche . ?h property:gender resource:male . ?h rdf:type ontology:common_name }
[]