Simple Question (Direct)
Simple Question
Q1696297
P19
Q515
USER
Which city was Johann Stegner born at ?
(Q1696297,P19,c(Q515))
action filter_type
action find
entity Q1696297
relation P19
type Q515
['Q1696297', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?q WHERE { resource:Q1696297 property:P19 ?q . ?q rdf:type ontology:Q515 }
Johann Stegner
action filter_type
action find
entity Johann Stegner
relation place of birth
type city
['Johann Stegner', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?q WHERE { resource:Johann_Stegner property:place_of_birth ?q . ?q rdf:type ontology:city }
[]
city
Q14821
SYSTEM
Coburg
Q14821
(Q1696297,P19,c(Q515))
action filter_type
action find
entity Q1696297
relation P19
type Q515
Johann Stegner was born in [ANSWER]
['Q1696297', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?q WHERE { resource:Q1696297 property:P19 ?q . ?q rdf:type ontology:Q515 }
Coburg
Johann Stegner was born in Coburg
Coburg
action filter_type
action find
entity Johann Stegner
relation place of birth
type city
['Johann Stegner', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?q WHERE { resource:Johann_Stegner property:place_of_birth ?q . ?q rdf:type ontology:city }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1696297
P937
Q56061
USER
Where did Johann Stegner work ?
(Q1696297,P937,c(Q56061))
action filter_type
action find
entity Q1696297
relation P937
type Q56061
['Q1696297', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?w WHERE { resource:Q1696297 property:P937 ?w . ?w rdf:type ontology:Q56061 }
Johann Stegner
action filter_type
action find
entity Johann Stegner
relation work location
type administrative territorial entity
['Johann Stegner', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Johann_Stegner property:work_location ?w . ?w rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1726
SYSTEM
Munich
Q1726
(Q1696297,P937,c(Q56061))
action filter_type
action find
entity Q1696297
relation P937
type Q56061
Johann Stegner worked in [ANSWER]
['Q1696297', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?w WHERE { resource:Q1696297 property:P937 ?w . ?w rdf:type ontology:Q56061 }
Munich
Johann Stegner worked in Munich
Munich
action filter_type
action find
entity Johann Stegner
relation work location
type administrative territorial entity
['Johann Stegner', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Johann_Stegner property:work_location ?w . ?w rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1696297
P39
Q12737077
USER
Which occupation was a position held by that person ?
(Q1726,P39,c(Q12737077))
action filter_type
action find
entity Q1696297
relation P39
type Q12737077
['Q1726', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?h WHERE { resource:Q1696297 property:P39 ?h . ?h rdf:type ontology:Q12737077 }
Johann Stegner
action filter_type
action find
entity Johann Stegner
relation position held
type occupation
['Munich', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?h WHERE { resource:Johann_Stegner property:position_held ?h . ?h rdf:type ontology:occupation }
[]
occupation
Q17586301
SYSTEM
Member of the Landtag of Bavaria
Q17586301
(Q1726,P39,c(Q12737077))
action filter_type
action find
entity Q1696297
relation P39
type Q12737077
The [ANSWER] was a position held by that person
['Q1726', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?h WHERE { resource:Q1696297 property:P39 ?h . ?h rdf:type ontology:Q12737077 }
Member of the Landtag of Bavaria
The Member of the Landtag of Bavaria was a position held by that person
Member of the Landtag of Bavaria
action filter_type
action find
entity Johann Stegner
relation position held
type occupation
['Munich', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?h WHERE { resource:Johann_Stegner property:position_held ?h . ?h rdf:type ontology:occupation }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1696297
P20
Q515
USER
Where did the demise of that person occur ?
(Q17586301,P20,c(Q515))
action filter_type
action find
entity Q1696297
relation P20
type Q515
['Q17586301', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?h WHERE { resource:Q1696297 property:P20 ?h . ?h rdf:type ontology:Q515 }
Johann Stegner
action filter_type
action find
entity Johann Stegner
relation place of death
type city
['Member of the Landtag of Bavaria', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?h WHERE { resource:Johann_Stegner property:place_of_death ?h . ?h rdf:type ontology:city }
[]
city
Q14821
SYSTEM
Coburg
Q14821
(Q17586301,P20,c(Q515))
action filter_type
action find
entity Q1696297
relation P20
type Q515
The demise of that person occurred in [ANSWER]
['Q17586301', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?h WHERE { resource:Q1696297 property:P20 ?h . ?h rdf:type ontology:Q515 }
Coburg
The demise of that person occurred in Coburg
Coburg
action filter_type
action find
entity Johann Stegner
relation place of death
type city
['Member of the Landtag of Bavaria', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?h WHERE { resource:Johann_Stegner property:place_of_death ?h . ?h rdf:type ontology:city }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P190
Q13220204 Q515 Q515
USER
How many cities are partner town of atleast 13 administrative country subdivisions or cities ?
(c(Q515),P190,c(Q13220204)|c(Q515))
action count
action atleast
action union
action find_tuple_counts
relation P190
type Q515
type Q13220204
action find_tuple_counts
relation P190
type Q515
type Q515
value 13
[{'concept': 'Q515'}, 'P190', [{'concept': 'Q13220204'}, {'concept': 'Q515'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?r ) ?v WHERE { { ?v rdf:type ontology:Q515 . ?u rdf:type ontology:Q13220204 . ?v property:P190 ?u } UNION { ?v property:P190 ?u . ?v rdf:type ontology:Q515 . ?u rdf:type ontology:Q515 } } GROUP BY ?v } . FILTER ( ?r >= 13 ) }
action count
action atleast
action union
action find_tuple_counts
relation sister city
type city
type second-level administrative country subdivision
action find_tuple_counts
relation sister city
type city
type city
value 13
[{'concept': 'city'}, 'sister city', [{'concept': 'second-level administrative country subdivision'}, {'concept': 'city'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?r ) ?v WHERE { { ?v rdf:type ontology:city . ?u rdf:type ontology:second-level_administrative_country_subdivision . ?v property:sister_city ?u } UNION { ?v property:sister_city ?u . ?v rdf:type ontology:city . ?u rdf:type ontology:city } } GROUP BY ?v } . FILTER ( ?r >= 13 ) }
[]
second-level administrative country subdivision city city
SYSTEM
1
Q42622
(c(Q515),P190,c(Q13220204)|c(Q515))
action count
action atleast
action union
action find_tuple_counts
relation P190
type Q515
type Q13220204
action find_tuple_counts
relation P190
type Q515
type Q515
value 13
[ANSWER]
[{'concept': 'Q515'}, 'P190', [{'concept': 'Q13220204'}, {'concept': 'Q515'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?r ) ?v WHERE { { ?v rdf:type ontology:Q515 . ?u rdf:type ontology:Q13220204 . ?v property:P190 ?u } UNION { ?v property:P190 ?u . ?v rdf:type ontology:Q515 . ?u rdf:type ontology:Q515 } } GROUP BY ?v } . FILTER ( ?r >= 13 ) }
Suzhou
1
action count
action atleast
action union
action find_tuple_counts
relation sister city
type city
type second-level administrative country subdivision
action find_tuple_counts
relation sister city
type city
type city
value 13
[{'concept': 'city'}, 'sister city', [{'concept': 'second-level administrative country subdivision'}, {'concept': 'city'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?r ) ?v WHERE { { ?v rdf:type ontology:city . ?u rdf:type ontology:second-level_administrative_country_subdivision . ?v property:sister_city ?u } UNION { ?v property:sister_city ?u . ?v rdf:type ontology:city . ?u rdf:type ontology:city } } GROUP BY ?v } . FILTER ( ?r >= 13 ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q14821
P190
Q56061 Q20667921
USER
How many administrative territories and french administrative divisions are sister town of Coburg ?
(c(Q56061),P190,Q14821) (c(Q20667921),P190,Q14821)
action count
action union
action filter_type
action find_reverse
entity Q14821
relation P190
type Q56061
action filter_type
action find_reverse
entity Q14821
relation P190
type Q20667921
[{'concept': 'Q56061'}, 'P190', 'Q14821'] [{'concept': 'Q20667921'}, 'P190', 'Q14821']
SELECT DISTINCT ( COUNT ( ?h ) AS ?m ) WHERE { ?h rdf:type ?u . VALUES ( ?u ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } }
Coburg
action count
action union
action filter_type
action find_reverse
entity Coburg
relation sister city
type administrative territorial entity
action filter_type
action find_reverse
entity Coburg
relation sister city
type type of french administrative division
[{'concept': 'administrative territorial entity'}, 'sister city', 'Coburg'] [{'concept': 'type of french administrative division'}, 'sister city', 'Coburg']
SELECT DISTINCT ( COUNT ( ?h ) AS ?m ) WHERE { ?h rdf:type ?u . VALUES ( ?u ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } }
[]
administrative territorial entity type of french administrative division
SYSTEM
2 administrative territories and 1 french administrative divisions
Q739452 Q1007418 Q184159
(c(Q56061),P190,Q14821) (c(Q20667921),P190,Q14821)
action count
action union
action filter_type
action find_reverse
entity Q14821
relation P190
type Q56061
action filter_type
action find_reverse
entity Q14821
relation P190
type Q20667921
[ANSWER]
[{'concept': 'Q56061'}, 'P190', 'Q14821'] [{'concept': 'Q20667921'}, 'P190', 'Q14821']
SELECT DISTINCT ( COUNT ( ?h ) AS ?m ) WHERE { ?h rdf:type ?u . VALUES ( ?u ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } }
Garden City Cobourg Niort
2 administrative territories and 1 french administrative divisions
action count
action union
action filter_type
action find_reverse
entity Coburg
relation sister city
type administrative territorial entity
action filter_type
action find_reverse
entity Coburg
relation sister city
type type of french administrative division
[{'concept': 'administrative territorial entity'}, 'sister city', 'Coburg'] [{'concept': 'type of french administrative division'}, 'sister city', 'Coburg']
SELECT DISTINCT ( COUNT ( ?h ) AS ?m ) WHERE { ?h rdf:type ?u . VALUES ( ?u ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q14821
P190
Q13539802 Q15617994
USER
How many places with town privileges and administrative territories are partner towns of Coburg ?
(Q14821,P190,c(Q13539802)) (Q14821,P190,c(Q15617994))
action count
action union
action filter_type
action find
entity Q14821
relation P190
type Q13539802
action filter_type
action find
entity Q14821
relation P190
type Q15617994
['Q14821', 'P190', {'concept': 'Q13539802'}] ['Q14821', 'P190', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?a ) WHERE { VALUES ( ?e ) { ( ontology:Q15617994 ) ( ontology:Q13539802 ) } . ?g rdf:type ?e }
Coburg
action count
action union
action filter_type
action find
entity Coburg
relation sister city
type place with town rights and privileges
action filter_type
action find
entity Coburg
relation sister city
type designation for an administrative territorial entity
['Coburg', 'sister city', {'concept': 'place with town rights and privileges'}] ['Coburg', 'sister city', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?a ) WHERE { VALUES ( ?e ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:place_with_town_rights_and_privileges ) } . ?g rdf:type ?e }
[]
place with town rights and privileges designation for an administrative territorial entity
SYSTEM
1 places with town privileges and 1 administrative territories
Q419157 Q12992
(Q14821,P190,c(Q13539802)) (Q14821,P190,c(Q15617994))
action count
action union
action filter_type
action find
entity Q14821
relation P190
type Q13539802
action filter_type
action find
entity Q14821
relation P190
type Q15617994
[ANSWER]
['Q14821', 'P190', {'concept': 'Q13539802'}] ['Q14821', 'P190', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?a ) WHERE { VALUES ( ?e ) { ( ontology:Q15617994 ) ( ontology:Q13539802 ) } . ?g rdf:type ?e }
Gais, South Tyrol Oudenaarde
1 places with town privileges and 1 administrative territories
action count
action union
action filter_type
action find
entity Coburg
relation sister city
type place with town rights and privileges
action filter_type
action find
entity Coburg
relation sister city
type designation for an administrative territorial entity
['Coburg', 'sister city', {'concept': 'place with town rights and privileges'}] ['Coburg', 'sister city', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?a ) WHERE { VALUES ( ?e ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:place_with_town_rights_and_privileges ) } . ?g rdf:type ?e }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q1020709
P36
Q515 Q486972 Q1048835
USER
How many cities are called the capital of lesser number of human settlements and political territories than Catbalogan ?
(c(Q486972)|c(Q1048835),P36,c(Q515))
action count
action less
action union
action find_reverse_tuple_counts
relation P36
type Q515
type Q486972
action find_reverse_tuple_counts
relation P36
type Q515
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q1020709
relation P36
type Q486972
type Q1048835
[[{'concept': 'Q486972'}, {'concept': 'Q1048835'}], 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?t ) WHERE { { SELECT DISTINCT ?s ( COUNT ( ?g ) AS ?d ) WHERE { ?g rdf:type ?q . VALUES ( ?q ) { ( ontology:Q1048835 ) ( ontology:Q486972 ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?u ) AS ?p ) WHERE { ?u property:P36 resource:Q1020709 . { ?u rdf:type ?j . VALUES ( ?j ) { ( ontology:Q486972 ) ( ontology:Q1048835 ) } } } } . FILTER ( ?d < ?p ) }
Catbalogan
action count
action less
action union
action find_reverse_tuple_counts
relation capital
type city
type human settlement
action find_reverse_tuple_counts
relation capital
type city
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Catbalogan
relation capital
type human settlement
type political territorial entity
[[{'concept': 'human settlement'}, {'concept': 'political territorial entity'}], 'capital', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?t ) WHERE { { SELECT DISTINCT ?s ( COUNT ( ?g ) AS ?d ) WHERE { ?g rdf:type ?q . VALUES ( ?q ) { ( ontology:political_territorial_entity ) ( ontology:human_settlement ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?u ) AS ?p ) WHERE { ?u property:capital resource:Catbalogan . { ?u rdf:type ?j . VALUES ( ?j ) { ( ontology:human_settlement ) ( ontology:political_territorial_entity ) } } } } . FILTER ( ?d < ?p ) }
[]
city human settlement political territorial entity
SYSTEM
470
Q384403 Q373542 Q780731 Q3572 Q843001 Q843006 Q843009 Q392692 Q861296 Q637647 Q240026 Q19689 Q853746 Q259498 Q158239 Q83786 Q854913 Q19833195 Q293558 Q192271 Q854918 Q460835 Q60037 Q217432 Q827041 Q17042 Q379030 Q496667 Q240504 Q281371 Q258884 Q3624 Q320950 Q8254 Q43199 Q766168 Q933645 Q58650 Q214938 Q830394 Q205607 Q193050 Q71305 Q841296 Q911600 Q789256 Q7473516 Q903177 Q3870 Q243293 Q932806 Q377834 Q295367 Q653389 Q851097 Q861292 Q917888 Q174091 Q502993 Q430864 Q855082 Q633945 Q843031 Q385070 Q593314 Q783255 Q197687 Q842967 Q329768 Q843035 Q246723 Q75978 Q696388 Q185719 Q622841 Q983451 Q80989 Q14424 Q304803 Q853744 Q2135 Q43196 Q855032 Q404529 Q80484 Q5954 Q834567 Q851675 Q3744 Q842908 Q23482 Q505208 Q911530 Q5838 Q181276 Q3692 Q847546 Q330409 Q847543 Q854956 Q933641 Q379160 Q889966 Q890311 Q132997 Q3104 Q580722 Q389515 Q394453 Q278017 Q321778 Q850359 Q535534 Q745657 Q748797 Q494777 Q221283 Q2419449 Q1410 Q854969 Q842934 Q1794 Q602976 Q793405 Q665 Q375097 Q911558 Q629471 Q209766 Q178878 Q5316658 Q203027 Q1486 Q220445 Q34217 Q625154 Q4348183 Q179608 Q847594 Q790370 Q154540 Q1461 Q843018 Q1000091 Q607625 Q526335 Q13630 Q424813 Q578343 Q366220 Q1000073 Q117676 Q16959 Q650015 Q30340 Q23430 Q225257 Q44215 Q629849 Q680656 Q986070 Q854996 Q214956 Q1362 Q8247 Q183584 Q235 Q588606 Q5540 Q58401 Q161176 Q850508 Q840986 Q288413 Q167668 Q4469 Q1519 Q8684 Q270704 Q3838 Q167109 Q478038 Q734378 Q585630 Q855529 Q7248 Q207408 Q1107569 Q316841 Q6602 Q602042 Q237699 Q207406 Q7856199 Q11443 Q3947359 Q325164 Q305640 Q3307925 Q740810 Q193721 Q861221 Q911667 Q8652 Q842971 Q842976 Q3866 Q181007 Q843028 Q385864 Q755686 Q3599 Q3861 Q43433 Q846652 Q3859 Q155975 Q19660 Q674311 Q3915 Q719051 Q863747 Q841125 Q954596 Q487439 Q174461 Q385591 Q1953 Q124375 Q954611 Q854940 Q320939 Q714628 Q335427 Q177149 Q327764 Q2569148 Q9005 Q208471 Q2337 Q633789 Q1330294 Q8158 Q116417 Q830404 Q861262 Q719 Q781435 Q26600 Q2025433 Q740853 Q749320 Q911628 Q632146 Q4905 Q207876 Q188082 Q34261 Q137271 Q855060 Q1473 Q842996 Q1773 Q679249 Q843021 Q680743 Q3852 Q564234 Q488990 Q668318 Q2773 Q6829 Q260522 Q14440 Q752838 Q993064 Q276534 Q41773 Q42007 Q985465 Q1858 Q2096 Q329775 Q1854 Q890122 Q855016 Q3787 Q855011 Q513417 Q480421 Q823907 Q7070 Q3826 Q642031 Q498011 Q214948 Q271000 Q214945 Q182852 Q158928 Q755681 Q214942 Q68481 Q549427 Q335506 Q320798 Q386655 Q245126 Q1822 Q1533 Q200077 Q47916 Q3183016 Q328601 Q2410422 Q191097 Q2526233 Q946769 Q846351 Q739304 Q789233 Q819103 Q368929 Q530634 Q4827 Q591812 Q877227 Q5753 Q429409 Q193719 Q308657 Q170454 Q545923 Q211243 Q841603 Q656603 Q7929221 Q911576 Q42751 Q185684 Q187861 Q207311 Q11194 Q386682 Q485581 Q755698 Q390796 Q271917 Q1008737 Q79535 Q1720 Q1721 Q83247 Q390798 Q3904 Q44244 Q855052 Q11449 Q547479 Q404817 Q485891 Q2907 Q1001339 Q843014 Q2844 Q11725 Q604516 Q73156 Q3768 Q732300 Q789510 Q470369 Q1863 Q1865 Q2203 Q18342086 Q430207 Q756273 Q188247 Q23768 Q206872 Q72778 Q737634 Q1355 Q146363 Q3167 Q208818 Q187136 Q5869 Q3948919 Q830411 Q740863 Q740800 Q171943 Q728438 Q427769 Q177042 Q189823 Q250733 Q146317 Q693264 Q5781 Q6582 Q187821 Q502205 Q203344 Q107401 Q1686 Q3355306 Q189761 Q189769 Q1761 Q750224 Q378225 Q954569 Q2887 Q738275 Q69060 Q727383 Q2061 Q2069869 Q184998 Q854965 Q456 Q755701 Q267894 Q679224 Q168648 Q843043 Q850676 Q36063 Q7003 Q3931 Q726993 Q3919 Q3751 Q3616 Q42666 Q3612 Q933638 Q18575 Q613813 Q375862 Q1530 Q680963 Q66485 Q649214 Q646850 Q209988 Q582209 Q591823 Q209983 Q877190 Q2900 Q845792 Q684494 Q170525 Q503411 Q842925 Q842923 Q302526 Q1231003 Q911642 Q187284 Q158245 Q284480 Q632080 Q207309 Q187812 Q16666
(c(Q486972)|c(Q1048835),P36,c(Q515))
action count
action less
action union
action find_reverse_tuple_counts
relation P36
type Q515
type Q486972
action find_reverse_tuple_counts
relation P36
type Q515
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q1020709
relation P36
type Q486972
type Q1048835
[ANSWER]
[[{'concept': 'Q486972'}, {'concept': 'Q1048835'}], 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?t ) WHERE { { SELECT DISTINCT ?s ( COUNT ( ?g ) AS ?d ) WHERE { ?g rdf:type ?q . VALUES ( ?q ) { ( ontology:Q1048835 ) ( ontology:Q486972 ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?u ) AS ?p ) WHERE { ?u property:P36 resource:Q1020709 . { ?u rdf:type ?j . VALUES ( ?j ) { ( ontology:Q486972 ) ( ontology:Q1048835 ) } } } } . FILTER ( ?d < ?p ) }
Litoměřice Szigetvár Szeghalom Tunis Csorna Nagykálló Marcali Šumperk Nōgata Pásztó Jászapáti Tirana Bátonyterenye Rafaela Kroměříž Shimla Szikszó Barcelos Ózd Guiyang Szécsény Marugame Zalaegerszeg Port Harcourt Beroun Oakland Zalaszentgrót Muroran Makó Jászberény Bélapátfalva Addis Ababa Trutnov Dharan Omaha Nagykáta Kunhegyes Zhangjiakou Gyula Nagykőrös Zirc Érd Ezhou Příbram Vásárosnamény Balatonalmádi Tokyo Tiszafüred Nairobi Sekondi-Takoradi Polgárdi Szentes Nagyatád Nobeoka Iiyama Hitoyoshi Vinaròs Changsha Uherské Hradiště Nymburk Csenger Saijō Vasvár Burriana Sárbogárd Kapuvár Miercurea Sibiului Gönc Tata Celldömölk Záhony Calamba Toyooka Pétervására Ghardaia Río Cuarto Bhopal Nagykanizsa Mezőcsát Devecser Winnipeg Cincinnati Mezőkovácsháza Xuchang Patna Binjai Bonyhád Takahashi Castro Gyál Marseille Ouarzazate Hajdúhadház Kabul Szolnok Riyadh Saiki Ústí nad Orlicí Katsuyama Ibrány Martonvásár Kunszentmárton Kiliya Reni Florianópolis Koblenz Őriszentpéter Kariya Žďár nad Sázavou Tiszavasvári Hodonín Kitsuki Hohhot Fehérgyarmat Dorog Alcoi Cape Coast Polgár Gibraltar Letenye Püspökladány Frankfurt Klatovy Berettyóújfalu Lugdunum Tiszaújváros Putnok Kiskunmajsa Saga Békéscsaba Durjaya Tsu Buenos Aires Kuching Oxford Komárom Athkatla Nanning Shimabara Barcs Sásd Manila Kunszentmiklós Rychnov nad Kněžnou Tamási Keszthely Olbia Akō Szentlőrinc Adony Pelhřimov Viseu Ürümqi Pannonhalma Zhengzhou Ulaanbaatar Rupea Santa Rosa Hatvan Sümeg Chrudim Szerencs Znojmo Islamabad Biratnagar Lanzhou Monaco Fonyód Penza Shijiazhuang Fukushima Taketa Törökszentmiklós Tapolca Liepāja Talca Abu Dhabi Seoul Třebíč Kinshasa Eger Kiskunfélegyháza Yonezawa Yanagawa Kistelek Bukittinggi Vác Kerma Karlovo Strasbourg Baktalórántháza Aizuwakamatsu Mosonmagyaróvár Turquoise Mountain Kediri San Ignacio Kayes Abashiri Mianwali City Békés Tábor Nakatsu Elek Miami Sellye Mátészalka Dodoma Hattusa Oroszlány Ōsakasayama Nyírbátor Bicske Doha Chandigarh Cigánd Kigali Kutná Hora Bucharest Kisvárda Antananarivo Artsyz Uda Tsuyama Havlíčkův Brod Oral Ranchi Ōmura Yerevan Hódmezővásárhely Jeseník Dabas Mělník Rumoi Kisarazu Obihiro Prachatice Escazú District Brussels Kaifeng Smolensk Dombóvár Jiankang Metro, Indonesia Sátoraljaújhely Hajdúszoboszló Uto Saginaw Derecske Fukuoka Calimport Szigetszentmiklós Monor Kemecse Enying Druzhnaya Gorka Yamaguchi Český Krumlov Port-au-Prince Kota Kinabalu Encs Davao City Pécsvárad Riga Kalocsa Tolna Balatonfüred Worms Annaka Kostanay Sárospatak Braunschweig Speyer Bácsalmás Iquique Aszód Saint Anne Wau, South Sudan Obama Szombathely Rakovník Hanoi Edmonton Kiskunhalas Ho Chi Minh City Bolhrad Csurgó Abuja Heves Vsetín Abony HigashiMatsuyama Eisenach Muscat Gárdony Sakura Cegléd Bouaké Pápa Kunming Bushehr Várpalota Kazincbarcika Fuzhou Jánoshalma Salto Mohács Ōzu Siófok Baguio Caracas Morioka Lucknow Ungaran Hirado San Marcos, Costa Rica Tachov Carn Dûm Mórahalom Miyazu Hajdúnánás Balassagyarmat Berezivka Jindřichův Hradec Pilisvörösvár Vyritsa Buryn Ogi Samarkand Szob Cheb Minas Tirith Agartala Tatarbunary Yinchuan Tiszakécske Jičín Vijaya Rétság Palikir Hefei Wollongong Suzuka Sarajevo Khost Aveiro Svitavy Orosháza Kushiro Semily Fort Smith Mainz Wiesbaden Braga Szentendre Mbabane Santa Fe Mezőtúr Pasuruan Dunakeszi Shangqiu Ananyiv Sucre Puerto Natales Szarvas Brasília Chongqing Szentgotthárd Linfen Yamoussoukro Gyomaendrőd Balmazújváros Kolín Andorra la Vella Kuala Lumpur Arica Oyo-Ile Komló Karcag Sarkad Las Vegas Ajka Taiyuan Rozdilna Bangalore Most Siegen Fuchū Luoyang Lhasa Santa Ana Körmend Česká Lípa Paks Nanchang Siklós Kisbér Biharkeresztes Haikou Wa Veszprém Iwamizawa Langsa Carcassonne Tatabánya Nemuro Baja Sivas Butuan Fukuchiyama Szekszárd Salgótarján Dublin Strakonice Hagi Vyškov Santiago Karatsu Xining Sokolov Yellowknife Edoras Kaposvár Lenti Lyon Ráckeve Wakkanai Hajdúböszörmény Sopron Sárvár Blansko Vecsés Dijon Brandenburg an der Havel Cotabato City Gaborone Praia Tehran Shaoxing Antofagasta Mezőkövesd Tucson Kőszeg Nyíradony Baghdad Mór Jaipur Csongrád Kiskőrös Gödöllő Tokaj Náchod Gyöngyös Tatsuno Quito Usuki Kashima Agadir Inuyama Edelény Pomáz Tab Cocentaina Füzesabony Hurghada Písek Bóly Tét Tokushima Dunaújváros Nanjing
470
action count
action less
action union
action find_reverse_tuple_counts
relation capital
type city
type human settlement
action find_reverse_tuple_counts
relation capital
type city
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Catbalogan
relation capital
type human settlement
type political territorial entity
[[{'concept': 'human settlement'}, {'concept': 'political territorial entity'}], 'capital', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?t ) WHERE { { SELECT DISTINCT ?s ( COUNT ( ?g ) AS ?d ) WHERE { ?g rdf:type ?q . VALUES ( ?q ) { ( ontology:political_territorial_entity ) ( ontology:human_settlement ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?u ) AS ?p ) WHERE { ?u property:capital resource:Catbalogan . { ?u rdf:type ?j . VALUES ( ?j ) { ( ontology:human_settlement ) ( ontology:political_territorial_entity ) } } } } . FILTER ( ?d < ?p ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q2119
P36
Q515 Q486972 Q1048835
USER
And what about Mannheim?
(c(Q486972)|c(Q1048835),P36,c(Q515))
action count
action less
action union
action find_reverse_tuple_counts
relation P36
type Q515
type Q486972
action find_reverse_tuple_counts
relation P36
type Q515
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q2119
relation P36
type Q486972
type Q1048835
[[{'concept': 'Q486972'}, {'concept': 'Q1048835'}], 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?m ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?r ) AS ?b ) WHERE { ?r rdf:type ?j . VALUES ( ?j ) { ( ontology:Q1048835 ) ( ontology:Q486972 ) } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?l ) WHERE { { { ?n rdf:type ontology:Q486972 } UNION { ?n rdf:type ontology:Q1048835 } } . ?n property:P36 resource:Q2119 } } . FILTER ( ?b < ?l ) }
Mannheim
action count
action less
action union
action find_reverse_tuple_counts
relation capital
type city
type human settlement
action find_reverse_tuple_counts
relation capital
type city
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Mannheim
relation capital
type human settlement
type political territorial entity
[[{'concept': 'human settlement'}, {'concept': 'political territorial entity'}], 'capital', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?m ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?r ) AS ?b ) WHERE { ?r rdf:type ?j . VALUES ( ?j ) { ( ontology:political_territorial_entity ) ( ontology:human_settlement ) } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?l ) WHERE { { { ?n rdf:type ontology:human_settlement } UNION { ?n rdf:type ontology:political_territorial_entity } } . ?n property:capital resource:Mannheim } } . FILTER ( ?b < ?l ) }
[]
city human settlement political territorial entity
SYSTEM
470
Q384403 Q373542 Q780731 Q3572 Q843001 Q843006 Q843009 Q392692 Q861296 Q637647 Q240026 Q19689 Q853746 Q259498 Q158239 Q83786 Q854913 Q19833195 Q293558 Q192271 Q854918 Q460835 Q60037 Q217432 Q827041 Q17042 Q379030 Q496667 Q240504 Q281371 Q258884 Q3624 Q320950 Q8254 Q43199 Q766168 Q933645 Q58650 Q214938 Q830394 Q205607 Q193050 Q71305 Q841296 Q911600 Q789256 Q7473516 Q903177 Q3870 Q243293 Q932806 Q377834 Q295367 Q653389 Q851097 Q861292 Q917888 Q174091 Q502993 Q430864 Q855082 Q633945 Q843031 Q385070 Q593314 Q783255 Q197687 Q842967 Q329768 Q843035 Q246723 Q75978 Q696388 Q185719 Q622841 Q983451 Q80989 Q14424 Q304803 Q853744 Q2135 Q43196 Q855032 Q404529 Q80484 Q5954 Q834567 Q851675 Q3744 Q842908 Q23482 Q505208 Q911530 Q5838 Q181276 Q3692 Q847546 Q330409 Q847543 Q854956 Q933641 Q379160 Q889966 Q890311 Q132997 Q3104 Q580722 Q389515 Q394453 Q278017 Q321778 Q850359 Q535534 Q745657 Q748797 Q494777 Q221283 Q2419449 Q1410 Q854969 Q842934 Q1794 Q602976 Q793405 Q665 Q375097 Q911558 Q629471 Q209766 Q178878 Q5316658 Q203027 Q1486 Q220445 Q34217 Q625154 Q4348183 Q179608 Q847594 Q790370 Q154540 Q1461 Q843018 Q1000091 Q607625 Q526335 Q13630 Q424813 Q578343 Q366220 Q1000073 Q117676 Q16959 Q650015 Q30340 Q23430 Q225257 Q44215 Q629849 Q680656 Q986070 Q854996 Q214956 Q1362 Q8247 Q183584 Q235 Q588606 Q5540 Q58401 Q161176 Q850508 Q840986 Q288413 Q167668 Q4469 Q1519 Q8684 Q270704 Q3838 Q167109 Q478038 Q734378 Q585630 Q855529 Q7248 Q207408 Q1107569 Q316841 Q6602 Q602042 Q237699 Q207406 Q7856199 Q11443 Q3947359 Q325164 Q305640 Q3307925 Q740810 Q193721 Q861221 Q911667 Q8652 Q842971 Q842976 Q3866 Q181007 Q843028 Q385864 Q755686 Q3599 Q3861 Q43433 Q846652 Q3859 Q155975 Q19660 Q674311 Q3915 Q719051 Q863747 Q841125 Q954596 Q487439 Q174461 Q385591 Q1953 Q124375 Q954611 Q854940 Q320939 Q714628 Q335427 Q177149 Q327764 Q2569148 Q9005 Q208471 Q2337 Q633789 Q1330294 Q8158 Q116417 Q830404 Q861262 Q719 Q781435 Q26600 Q2025433 Q740853 Q749320 Q911628 Q632146 Q4905 Q207876 Q188082 Q34261 Q137271 Q855060 Q1473 Q842996 Q1773 Q679249 Q843021 Q680743 Q3852 Q564234 Q488990 Q668318 Q2773 Q6829 Q260522 Q14440 Q752838 Q993064 Q276534 Q41773 Q42007 Q985465 Q1858 Q2096 Q329775 Q1854 Q890122 Q855016 Q3787 Q855011 Q513417 Q480421 Q823907 Q7070 Q3826 Q642031 Q498011 Q214948 Q271000 Q214945 Q182852 Q158928 Q755681 Q214942 Q68481 Q549427 Q335506 Q320798 Q386655 Q245126 Q1822 Q1533 Q200077 Q47916 Q3183016 Q328601 Q2410422 Q191097 Q2526233 Q946769 Q846351 Q739304 Q789233 Q819103 Q368929 Q530634 Q4827 Q591812 Q877227 Q5753 Q429409 Q193719 Q308657 Q170454 Q545923 Q211243 Q841603 Q656603 Q7929221 Q911576 Q42751 Q185684 Q187861 Q207311 Q11194 Q386682 Q485581 Q755698 Q390796 Q271917 Q1008737 Q79535 Q1720 Q1721 Q83247 Q390798 Q3904 Q44244 Q855052 Q11449 Q547479 Q404817 Q485891 Q2907 Q1001339 Q843014 Q2844 Q11725 Q604516 Q73156 Q3768 Q732300 Q789510 Q470369 Q1863 Q1865 Q2203 Q18342086 Q430207 Q756273 Q188247 Q23768 Q206872 Q72778 Q737634 Q1355 Q146363 Q3167 Q208818 Q187136 Q5869 Q3948919 Q830411 Q740863 Q740800 Q171943 Q728438 Q427769 Q177042 Q189823 Q250733 Q146317 Q693264 Q5781 Q6582 Q187821 Q502205 Q203344 Q107401 Q1686 Q3355306 Q189761 Q189769 Q1761 Q750224 Q378225 Q954569 Q2887 Q738275 Q69060 Q727383 Q2061 Q2069869 Q184998 Q854965 Q456 Q755701 Q267894 Q679224 Q168648 Q843043 Q850676 Q36063 Q7003 Q3931 Q726993 Q3919 Q3751 Q3616 Q42666 Q3612 Q933638 Q18575 Q613813 Q375862 Q1530 Q680963 Q66485 Q649214 Q646850 Q209988 Q582209 Q591823 Q209983 Q877190 Q2900 Q845792 Q684494 Q170525 Q503411 Q842925 Q842923 Q302526 Q1231003 Q911642 Q187284 Q158245 Q284480 Q632080 Q207309 Q187812 Q16666
(c(Q486972)|c(Q1048835),P36,c(Q515))
action count
action less
action union
action find_reverse_tuple_counts
relation P36
type Q515
type Q486972
action find_reverse_tuple_counts
relation P36
type Q515
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q2119
relation P36
type Q486972
type Q1048835
[ANSWER]
[[{'concept': 'Q486972'}, {'concept': 'Q1048835'}], 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?m ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?r ) AS ?b ) WHERE { ?r rdf:type ?j . VALUES ( ?j ) { ( ontology:Q1048835 ) ( ontology:Q486972 ) } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?l ) WHERE { { { ?n rdf:type ontology:Q486972 } UNION { ?n rdf:type ontology:Q1048835 } } . ?n property:P36 resource:Q2119 } } . FILTER ( ?b < ?l ) }
Litoměřice Szigetvár Szeghalom Tunis Csorna Nagykálló Marcali Šumperk Nōgata Pásztó Jászapáti Tirana Bátonyterenye Rafaela Kroměříž Shimla Szikszó Barcelos Ózd Guiyang Szécsény Marugame Zalaegerszeg Port Harcourt Beroun Oakland Zalaszentgrót Muroran Makó Jászberény Bélapátfalva Addis Ababa Trutnov Dharan Omaha Nagykáta Kunhegyes Zhangjiakou Gyula Nagykőrös Zirc Érd Ezhou Příbram Vásárosnamény Balatonalmádi Tokyo Tiszafüred Nairobi Sekondi-Takoradi Polgárdi Szentes Nagyatád Nobeoka Iiyama Hitoyoshi Vinaròs Changsha Uherské Hradiště Nymburk Csenger Saijō Vasvár Burriana Sárbogárd Kapuvár Miercurea Sibiului Gönc Tata Celldömölk Záhony Calamba Toyooka Pétervására Ghardaia Río Cuarto Bhopal Nagykanizsa Mezőcsát Devecser Winnipeg Cincinnati Mezőkovácsháza Xuchang Patna Binjai Bonyhád Takahashi Castro Gyál Marseille Ouarzazate Hajdúhadház Kabul Szolnok Riyadh Saiki Ústí nad Orlicí Katsuyama Ibrány Martonvásár Kunszentmárton Kiliya Reni Florianópolis Koblenz Őriszentpéter Kariya Žďár nad Sázavou Tiszavasvári Hodonín Kitsuki Hohhot Fehérgyarmat Dorog Alcoi Cape Coast Polgár Gibraltar Letenye Püspökladány Frankfurt Klatovy Berettyóújfalu Lugdunum Tiszaújváros Putnok Kiskunmajsa Saga Békéscsaba Durjaya Tsu Buenos Aires Kuching Oxford Komárom Athkatla Nanning Shimabara Barcs Sásd Manila Kunszentmiklós Rychnov nad Kněžnou Tamási Keszthely Olbia Akō Szentlőrinc Adony Pelhřimov Viseu Ürümqi Pannonhalma Zhengzhou Ulaanbaatar Rupea Santa Rosa Hatvan Sümeg Chrudim Szerencs Znojmo Islamabad Biratnagar Lanzhou Monaco Fonyód Penza Shijiazhuang Fukushima Taketa Törökszentmiklós Tapolca Liepāja Talca Abu Dhabi Seoul Třebíč Kinshasa Eger Kiskunfélegyháza Yonezawa Yanagawa Kistelek Bukittinggi Vác Kerma Karlovo Strasbourg Baktalórántháza Aizuwakamatsu Mosonmagyaróvár Turquoise Mountain Kediri San Ignacio Kayes Abashiri Mianwali City Békés Tábor Nakatsu Elek Miami Sellye Mátészalka Dodoma Hattusa Oroszlány Ōsakasayama Nyírbátor Bicske Doha Chandigarh Cigánd Kigali Kutná Hora Bucharest Kisvárda Antananarivo Artsyz Uda Tsuyama Havlíčkův Brod Oral Ranchi Ōmura Yerevan Hódmezővásárhely Jeseník Dabas Mělník Rumoi Kisarazu Obihiro Prachatice Escazú District Brussels Kaifeng Smolensk Dombóvár Jiankang Metro, Indonesia Sátoraljaújhely Hajdúszoboszló Uto Saginaw Derecske Fukuoka Calimport Szigetszentmiklós Monor Kemecse Enying Druzhnaya Gorka Yamaguchi Český Krumlov Port-au-Prince Kota Kinabalu Encs Davao City Pécsvárad Riga Kalocsa Tolna Balatonfüred Worms Annaka Kostanay Sárospatak Braunschweig Speyer Bácsalmás Iquique Aszód Saint Anne Wau, South Sudan Obama Szombathely Rakovník Hanoi Edmonton Kiskunhalas Ho Chi Minh City Bolhrad Csurgó Abuja Heves Vsetín Abony HigashiMatsuyama Eisenach Muscat Gárdony Sakura Cegléd Bouaké Pápa Kunming Bushehr Várpalota Kazincbarcika Fuzhou Jánoshalma Salto Mohács Ōzu Siófok Baguio Caracas Morioka Lucknow Ungaran Hirado San Marcos, Costa Rica Tachov Carn Dûm Mórahalom Miyazu Hajdúnánás Balassagyarmat Berezivka Jindřichův Hradec Pilisvörösvár Vyritsa Buryn Ogi Samarkand Szob Cheb Minas Tirith Agartala Tatarbunary Yinchuan Tiszakécske Jičín Vijaya Rétság Palikir Hefei Wollongong Suzuka Sarajevo Khost Aveiro Svitavy Orosháza Kushiro Semily Fort Smith Mainz Wiesbaden Braga Szentendre Mbabane Santa Fe Mezőtúr Pasuruan Dunakeszi Shangqiu Ananyiv Sucre Puerto Natales Szarvas Brasília Chongqing Szentgotthárd Linfen Yamoussoukro Gyomaendrőd Balmazújváros Kolín Andorra la Vella Kuala Lumpur Arica Oyo-Ile Komló Karcag Sarkad Las Vegas Ajka Taiyuan Rozdilna Bangalore Most Siegen Fuchū Luoyang Lhasa Santa Ana Körmend Česká Lípa Paks Nanchang Siklós Kisbér Biharkeresztes Haikou Wa Veszprém Iwamizawa Langsa Carcassonne Tatabánya Nemuro Baja Sivas Butuan Fukuchiyama Szekszárd Salgótarján Dublin Strakonice Hagi Vyškov Santiago Karatsu Xining Sokolov Yellowknife Edoras Kaposvár Lenti Lyon Ráckeve Wakkanai Hajdúböszörmény Sopron Sárvár Blansko Vecsés Dijon Brandenburg an der Havel Cotabato City Gaborone Praia Tehran Shaoxing Antofagasta Mezőkövesd Tucson Kőszeg Nyíradony Baghdad Mór Jaipur Csongrád Kiskőrös Gödöllő Tokaj Náchod Gyöngyös Tatsuno Quito Usuki Kashima Agadir Inuyama Edelény Pomáz Tab Cocentaina Füzesabony Hurghada Písek Bóly Tét Tokushima Dunaújváros Nanjing
470
action count
action less
action union
action find_reverse_tuple_counts
relation capital
type city
type human settlement
action find_reverse_tuple_counts
relation capital
type city
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Mannheim
relation capital
type human settlement
type political territorial entity
[[{'concept': 'human settlement'}, {'concept': 'political territorial entity'}], 'capital', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?m ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?r ) AS ?b ) WHERE { ?r rdf:type ?j . VALUES ( ?j ) { ( ontology:political_territorial_entity ) ( ontology:human_settlement ) } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?l ) WHERE { { { ?n rdf:type ontology:human_settlement } UNION { ?n rdf:type ontology:political_territorial_entity } } . ?n property:capital resource:Mannheim } } . FILTER ( ?b < ?l ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P36
Q515 Q7275 Q486972
USER
Which cities are called the capital of min number of states or human settlements ?
(c(Q7275)|c(Q486972),P36,c(Q515))
action argmin
action union
action find_reverse_tuple_counts
relation P36
type Q515
type Q7275
action find_reverse_tuple_counts
relation P36
type Q515
type Q486972
[[{'concept': 'Q7275'}, {'concept': 'Q486972'}], 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?u ) ?f WHERE { VALUES ( ?o ) { ( ontology:Q486972 ) ( ontology:Q7275 ) } . ?e rdf:type ?o } GROUP BY ?f } . FILTER ( ?u = ?z ) . { SELECT DISTINCT ( MIN ( ?x ) AS ?z ) { SELECT DISTINCT ( COUNT ( ?w ) AS ?x ) ?b WHERE { { ?w property:P36 ?b . ?w rdf:type ontology:Q7275 . ?b rdf:type ontology:Q515 } UNION { ?w property:P36 ?b . ?w rdf:type ontology:Q486972 . ?b rdf:type ontology:Q515 } } GROUP BY ?b } } }
action argmin
action union
action find_reverse_tuple_counts
relation capital
type city
type state
action find_reverse_tuple_counts
relation capital
type city
type human settlement
[[{'concept': 'state'}, {'concept': 'human settlement'}], 'capital', {'concept': 'city'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?u ) ?f WHERE { VALUES ( ?o ) { ( ontology:human_settlement ) ( ontology:state ) } . ?e rdf:type ?o } GROUP BY ?f } . FILTER ( ?u = ?z ) . { SELECT DISTINCT ( MIN ( ?x ) AS ?z ) { SELECT DISTINCT ( COUNT ( ?w ) AS ?x ) ?b WHERE { { ?w property:capital ?b . ?w rdf:type ontology:state . ?b rdf:type ontology:city } UNION { ?w property:capital ?b . ?w rdf:type ontology:human_settlement . ?b rdf:type ontology:city } } GROUP BY ?b } } }
[]
city state human settlement
Q1773 Q23482 Q456
SYSTEM
Riga, Marseille, Lyon
Q15826 Q384403 Q373542 Q780731 Q39738 Q10126 Q843001 Q1710 Q843006 Q843009 Q392692 Q14525 Q3042 Q3974 Q861296 Q637647 Q240026 Q873377 Q853746 Q259498 Q158239 Q83786 Q854913 Q19833195 Q293558 Q192271 Q854918 Q460835 Q60037 Q217432 Q827041 Q17042 Q4024 Q379030 Q1711 Q496667 Q240504 Q3806 Q281371 Q258884 Q320950 Q8254 Q592338 Q43199 Q52607 Q766168 Q933645 Q214938 Q830394 Q205607 Q193050 Q841296 Q911600 Q789256 Q7473516 Q903177 Q3870 Q243293 Q5779 Q932806 Q377834 Q295367 Q653389 Q851097 Q1696 Q861292 Q41474 Q917888 Q1070920 Q174096 Q174091 Q502993 Q430864 Q855082 Q633945 Q843031 Q385070 Q593314 Q783255 Q197687 Q111739 Q842967 Q329768 Q843035 Q246723 Q75978 Q696388 Q185719 Q622841 Q983451 Q14424 Q304803 Q432169 Q147738 Q853744 Q2135 Q43196 Q855032 Q404529 Q80484 Q5954 Q11462 Q834567 Q851675 Q3744 Q3214 Q842908 Q23482 Q505208 Q1000336 Q911530 Q181276 Q583137 Q3692 Q847546 Q330409 Q1019949 Q847543 Q854956 Q235004 Q933641 Q379160 Q889966 Q890311 Q132997 Q3104 Q725168 Q580722 Q389515 Q394453 Q278017 Q321778 Q850359 Q535534 Q745657 Q748797 Q494777 Q221283 Q2419449 Q1410 Q854969 Q842934 Q602976 Q793405 Q375097 Q911558 Q12062 Q629471 Q209766 Q178878 Q5316658 Q203027 Q2966 Q34217 Q625154 Q4348183 Q179608 Q847594 Q790370 Q154540 Q1467 Q843018 Q14499 Q1000091 Q2865 Q607625 Q526335 Q13630 Q424813 Q578343 Q366220 Q1000073 Q12245 Q117676 Q16959 Q1844 Q10389 Q650015 Q30340 Q225257 Q35925 Q44215 Q629849 Q680656 Q986070 Q854996 Q214956 Q1362 Q8247 Q235 Q15379 Q588606 Q5540 Q58401 Q161176 Q850508 Q840986 Q1723 Q288413 Q167668 Q4469 Q1519 Q270704 Q167109 Q478038 Q734378 Q459787 Q585630 Q855529 Q7248 Q207408 Q1107569 Q1025387 Q316841 Q6602 Q602042 Q237699 Q207406 Q23661 Q191651 Q7856199 Q3947359 Q325164 Q305640 Q14819 Q5285 Q3307925 Q14182 Q740810 Q193721 Q861221 Q911667 Q8652 Q842971 Q842976 Q3866 Q181007 Q843028 Q385864 Q755686 Q3599 Q3861 Q43433 Q1636 Q7027 Q846652 Q7786 Q10104 Q3859 Q155975 Q1020939 Q674311 Q3915 Q719051 Q155674 Q863747 Q841125 Q954596 Q314686 Q487439 Q174461 Q385591 Q124375 Q954611 Q854940 Q2180 Q3319248 Q320939 Q714628 Q335427 Q177149 Q327764 Q2569148 Q208471 Q2337 Q633789 Q14960 Q8158 Q3185 Q116417 Q830404 Q861262 Q719 Q781435 Q26600 Q2025433 Q740853 Q749320 Q874270 Q911628 Q632146 Q4905 Q207876 Q2978 Q188082 Q2973 Q34261 Q137271 Q855060 Q1473 Q842996 Q1773 Q679249 Q843021 Q14821 Q680743 Q3852 Q564234 Q3958 Q488990 Q668318 Q2079 Q6829 Q260522 Q8156 Q14440 Q752838 Q993064 Q276534 Q41773 Q42007 Q985465 Q1858 Q2096 Q329775 Q890122 Q855016 Q3787 Q855011 Q513417 Q4007 Q480421 Q14168 Q823907 Q7070 Q642031 Q55598 Q498011 Q214948 Q271000 Q214945 Q182852 Q158928 Q755681 Q214942 Q549427 Q335506 Q320798 Q386655 Q245126 Q1826 Q1822 Q1533 Q200077 Q47916 Q1856 Q3183016 Q328601 Q2410422 Q191097 Q542154 Q2526233 Q946769 Q3126 Q846351 Q739304 Q789233 Q7253 Q157835 Q819103 Q3046 Q368929 Q530634 Q4827 Q591812 Q877227 Q5753 Q429409 Q2749 Q193719 Q170454 Q545923 Q211243 Q841603 Q656603 Q911576 Q42751 Q185684 Q187861 Q207311 Q386682 Q63145 Q485581 Q755698 Q2119 Q390796 Q271917 Q1008737 Q79535 Q5972 Q1720 Q1721 Q1645 Q7578 Q390798 Q3904 Q14126 Q44244 Q855052 Q11449 Q547479 Q404817 Q485891 Q2907 Q1001339 Q15847 Q843014 Q604516 Q3768 Q732300 Q789510 Q470369 Q1863 Q2209 Q2200 Q2203 Q16506 Q14155 Q430207 Q756273 Q14409 Q188247 Q517783 Q23768 Q206872 Q737634 Q1355 Q146363 Q3167 Q208818 Q5869 Q3948919 Q830411 Q740863 Q740800 Q171943 Q728438 Q427769 Q177042 Q189823 Q40626 Q55740 Q250733 Q146317 Q693264 Q5781 Q6582 Q187821 Q502205 Q203344 Q1686 Q3355306 Q57944 Q189761 Q189769 Q2795 Q750224 Q378225 Q954569 Q2887 Q738275 Q69060 Q8179 Q727383 Q2061 Q184998 Q5217 Q854965 Q1020709 Q456 Q755701 Q267894 Q679224 Q168648 Q2152435 Q843043 Q850676 Q2833 Q36063 Q3935 Q7003 Q3936 Q3931 Q3751 Q3750 Q3616 Q42666 Q3612 Q894059 Q933638 Q183111 Q40584 Q1067897 Q18575 Q11506 Q613813 Q375862 Q107624 Q680963 Q66485 Q649214 Q646850 Q209988 Q582209 Q591823 Q209983 Q877190 Q2900 Q845792 Q684494 Q170525 Q503411 Q842925 Q842923 Q302526 Q1231003 Q8042 Q911642 Q187284 Q158245 Q50179 Q284480 Q632080 Q207309 Q187812 Q104125
(c(Q7275)|c(Q486972),P36,c(Q515))
action argmin
action union
action find_reverse_tuple_counts
relation P36
type Q515
type Q7275
action find_reverse_tuple_counts
relation P36
type Q515
type Q486972
[ANSWERS] are called the capital of min number of states or human settlements
[[{'concept': 'Q7275'}, {'concept': 'Q486972'}], 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?u ) ?f WHERE { VALUES ( ?o ) { ( ontology:Q486972 ) ( ontology:Q7275 ) } . ?e rdf:type ?o } GROUP BY ?f } . FILTER ( ?u = ?z ) . { SELECT DISTINCT ( MIN ( ?x ) AS ?z ) { SELECT DISTINCT ( COUNT ( ?w ) AS ?x ) ?b WHERE { { ?w property:P36 ?b . ?w rdf:type ontology:Q7275 . ?b rdf:type ontology:Q515 } UNION { ?w property:P36 ?b . ?w rdf:type ontology:Q486972 . ?b rdf:type ontology:Q515 } } GROUP BY ?b } } }
Palu Litoměřice Szigetvár Szeghalom Laoag Serang Csorna Isabela City Nagykálló Marcali Šumperk Gorontalo Offenbach am Main Landshut Nōgata Pásztó Jászapáti Dumaguete Bátonyterenye Rafaela Kroměříž Shimla Szikszó Barcelos Ózd Guiyang Szécsény Marugame Zalaegerszeg Port Harcourt Beroun Oakland Frankfurt (Oder) Zalaszentgrót Potsdam Muroran Makó Tübingen Jászberény Bélapátfalva Trutnov Dharan Marawi Omaha Mar del Plata Nagykáta Kunhegyes Gyula Nagykőrös Zirc Érd Příbram Vásárosnamény Balatonalmádi Tokyo Tiszafüred Nairobi Sekondi-Takoradi Banda Aceh Polgárdi Szentes Nagyatád Nobeoka Iiyama Legazpi Hitoyoshi Kingstown Vinaròs Mamuju Sorsogon City Changsha Uherské Hradiště Nymburk Csenger Saijō Vasvár Burriana Sárbogárd Kapuvár Miercurea Sibiului Puerto Princesa Gönc Tata Celldömölk Záhony Calamba Toyooka Pétervására Ghardaia Río Cuarto Nagykanizsa Mezőcsát Dipolog Saint Helier Devecser Winnipeg Cincinnati Mezőkovácsháza Xuchang Patna Binjai Surabaya Bonyhád Takahashi Castro Cottbus Gyál Marseille Ouarzazate Tandil Hajdúhadház Szolnok Kidapawan Riyadh Saiki Ústí nad Orlicí Surigao City Katsuyama Ibrány Vigan Martonvásár Kunszentmárton Kiliya Reni Florianópolis Koblenz Tagum Őriszentpéter Kariya Žďár nad Sázavou Tiszavasvári Hodonín Kitsuki Hohhot Fehérgyarmat Dorog Alcoi Cape Coast Polgár Gibraltar Letenye Püspökladány Klatovy Berettyóújfalu Tiszaújváros Putnok Torgau Kiskunmajsa Saga Békéscsaba Durjaya Tsu Heidelberg Oxford Komárom Athkatla Nanning Shimabara Barcs Sásd Cebu City Kunszentmiklós Samarinda Rychnov nad Kněžnou Kassel Tamási Keszthely Olbia Akō Szentlőrinc Adony Pelhřimov Stanley Viseu Ürümqi Vaduz Bandung Pannonhalma Zhengzhou Rupea Tabuk Santa Rosa Hatvan Sümeg Chrudim Szerencs Znojmo Islamabad Biratnagar Monaco Kendari Fonyód Penza Shijiazhuang Fukushima Taketa Törökszentmiklós Batangas City Tapolca Liepāja Talca Abu Dhabi Třebíč Eger Kiskunfélegyháza Yonezawa Iloilo City Yanagawa Kistelek Bukittinggi Vác Kerma Maasin Karlovo Strasbourg Baktalórántháza Aizuwakamatsu Mosonmagyaróvár Wellington Masbate City Turquoise Mountain San Ignacio Kayes Abashiri Freiberg Tarlac Mianwali City Banjarmasin Békés Tábor Nakatsu Elek Miami Sellye Mátészalka Dodoma Hattusa Oroszlány Ōsakasayama Nyírbátor Bicske Doha Chandigarh Antipolo Straubing Cigánd Pekanbaru Tanjung Pinang Kigali Kutná Hora Digos Kisvárda Antananarivo Artsyz Tandag Uda Tsuyama Havlíčkův Brod Mati Oral Ranchi Ōmura Hódmezővásárhely Jeseník Dabas Malolos Pehuajó Mělník Rumoi Kisarazu Obihiro Prachatice Escazú District Kaifeng Smolensk Dombóvár Brno Metro, Indonesia Hildesheim Sátoraljaújhely Hajdúszoboszló Uto Saginaw Derecske Fukuoka Calimport Szigetszentmiklós Monor Pagadian Kemecse Enying Druzhnaya Gorka Yamaguchi Regensburg Český Krumlov Darmstadt Port-au-Prince Kota Kinabalu Encs Davao City Pécsvárad Riga Kalocsa Tolna Coburg Balatonfüred Worms Annaka Neubrandenburg Kostanay Sárospatak Leipzig Speyer Bácsalmás Bandar Lampung Iquique Aszód Saint Anne Wau, South Sudan Obama Szombathely Rakovník Hanoi Edmonton Kiskunhalas Bolhrad Csurgó Abuja Heves Vsetín Rosenheim Abony Pontianak HigashiMatsuyama Eisenach Gárdony Palayan Sakura Cegléd Bouaké Pápa Kunming Bushehr Várpalota Kazincbarcika Jánoshalma Salto Mohács Ōzu Siófok Tagbilaran Baguio Caracas Morioka Lucknow Malaybalay Ungaran Hirado San Marcos, Costa Rica Tachov Koronadal Carn Dûm Mórahalom Erlangen Miyazu Hajdúnánás Balassagyarmat Padang Zaporizhzhya Berezivka Pforzheim Jindřichův Hradec Pilisvörösvár Vyritsa Buryn Ogi Samarkand Szob Augsburg Cheb Agartala Tatarbunary Yinchuan Tiszakécske Jičín Rétság Palikir Hefei Wollongong Suzuka Khost Imus Aveiro Svitavy Mannheim Orosháza Kushiro Semily Fort Smith Medan Mainz Wiesbaden Cagayan de Oro Jambi Szentendre Mbabane Mataram Santa Fe Mezőtúr Pasuruan Dunakeszi Shangqiu Ananyiv Sucre Puerto Natales Manado Szarvas Szentgotthárd Yamoussoukro Gyomaendrőd Balmazújváros Kolín Andorra la Vella Roxas Tuguegarao Arica České Budějovice Kupang Komló Karcag Palangkaraya Sarkad Pinamar Las Vegas Ajka Rozdilna Bangalore Most Siegen Fuchū Lhasa Santa Ana Körmend Česká Lípa Paks Nanchang Siklós Kisbér Biharkeresztes Haikou Tacloban San Fernando Wa Veszprém Iwamizawa Langsa Carcassonne Tatabánya Nemuro Baja Butuan Fukuchiyama Annaberg-Buchholz Szekszárd Salgótarján Chemnitz Strakonice Hagi Vyškov Santiago Karatsu Xining Pangkal Pinang Sokolov Yellowknife Kaposvár Bacolod Lenti Catbalogan Lyon Ráckeve Wakkanai Hajdúböszörmény Sopron Miramar Sárvár Blansko Freiburg im Breisgau Vecsés Windhoek Dijon Bamberg Brandenburg an der Havel Praia Gera Tehran Shaoxing Antofagasta Borongan Mezőkövesd Jihlava San Fernando Oroquieta Tucson Denpasar Kőszeg Nyíradony Calapan Mór Jaipur Csongrád Kiskőrös Gödöllő Tokaj Náchod Gyöngyös Tatsuno Quito Usuki Kashima Agadir Inuyama Edelény Pomáz Tab Cocentaina Bengkulu Füzesabony Hurghada Písek Ilagan Bóly Tét Tokushima Dunaújváros Lucena
Riga, Marseille and Lyon are called the capital of min number of states or human settlements
Riga Marseille Lyon
action argmin
action union
action find_reverse_tuple_counts
relation capital
type city
type state
action find_reverse_tuple_counts
relation capital
type city
type human settlement
[[{'concept': 'state'}, {'concept': 'human settlement'}], 'capital', {'concept': 'city'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?e ) AS ?u ) ?f WHERE { VALUES ( ?o ) { ( ontology:human_settlement ) ( ontology:state ) } . ?e rdf:type ?o } GROUP BY ?f } . FILTER ( ?u = ?z ) . { SELECT DISTINCT ( MIN ( ?x ) AS ?z ) { SELECT DISTINCT ( COUNT ( ?w ) AS ?x ) ?b WHERE { { ?w property:capital ?b . ?w rdf:type ontology:state . ?b rdf:type ontology:city } UNION { ?w property:capital ?b . ?w rdf:type ontology:human_settlement . ?b rdf:type ontology:city } } GROUP BY ?b } } }
[]
Clarification
Comparative|Count over More/Less|Mult. entity type|Indirect
P163
Q14660 Q17335294 Q515
USER
How many cities are associated with around the same number of flags and coats of arms as that city ?
(c(Q515),P163,c(Q14660)|c(Q17335294))
[{'concept': 'Q515'}, 'P163', [{'concept': 'Q14660'}, {'concept': 'Q17335294'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { ?z property:Q14660 ?i . VALUES ( ?i ) { ( ?y ) ( ?x ) } } . ?z rdf:type ontology:Q7930989 . ?y rdf:type ontology:Q14660 . ?x rdf:type ontology:Q17335294 }
[{'concept': 'city'}, 'flag', [{'concept': 'flag'}, {'concept': 'flag or coat of arms'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { ?z property:flag ?i . VALUES ( ?i ) { ( ?y ) ( ?x ) } } . ?z rdf:type ontology:city . ?y rdf:type ontology:flag . ?x rdf:type ontology:flag_or_coat_of_arms }
[]
flag flag or coat of arms city
Comparative|Count over More/Less|Mult. entity type|Clarification
Q1773
SYSTEM
Did you mean Riga ?
(c(Q515),P163,c(Q14660)|c(Q17335294))
[ANSWER]
[{'concept': 'Q515'}, 'P163', [{'concept': 'Q14660'}, {'concept': 'Q17335294'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { ?z property:Q14660 ?i . VALUES ( ?i ) { ( ?y ) ( ?x ) } } . ?z rdf:type ontology:Q7930989 . ?y rdf:type ontology:Q14660 . ?x rdf:type ontology:Q17335294 }
Did you mean Riga ?
Riga
[{'concept': 'city'}, 'flag', [{'concept': 'flag'}, {'concept': 'flag or coat of arms'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { ?z property:flag ?i . VALUES ( ?i ) { ( ?y ) ( ?x ) } } . ?z rdf:type ontology:city . ?y rdf:type ontology:flag . ?x rdf:type ontology:flag_or_coat_of_arms }
[]
Comparative Reasoning (Count) (All)
USER
Yes
(c(Q515),P163,c(Q14660)|c(Q17335294))
[{'concept': 'Q515'}, 'P163', [{'concept': 'Q14660'}, {'concept': 'Q17335294'}]]
[{'concept': 'city'}, 'flag', [{'concept': 'flag'}, {'concept': 'flag or coat of arms'}]]
[]
SYSTEM
4
Q841296 Q5540 Q494777 Q2337
(c(Q515),P163,c(Q14660)|c(Q17335294))
[ANSWER]
[{'concept': 'Q515'}, 'P163', [{'concept': 'Q14660'}, {'concept': 'Q17335294'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { { ?z property:Q14660 ?y } UNION { ?z property:Q14660 ?x } } . ?z rdf:type ontology:Q7930989 . ?y rdf:type ontology:Q14660 . ?x rdf:type ontology:Q17335294 }
Příbram Penza Alcoi Smolensk
4
[{'concept': 'city'}, 'flag', [{'concept': 'flag'}, {'concept': 'flag or coat of arms'}]]
SELECT DISTINCT ( COUNT ( ?z ) AS ?w ) WHERE { { { ?z property:flag ?y } UNION { ?z property:flag ?x } } . ?z rdf:type ontology:city . ?y rdf:type ontology:flag . ?x rdf:type ontology:flag_or_coat_of_arms }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q23482 Q252197
P190
Q486972
USER
How many human settlements are twin towns of Marseille or Brixlegg ?
(Q23482,P190,c(Q486972)) (Q252197,P190,c(Q486972))
action count
action union
action filter_type
action find
entity Q23482
relation P190
type Q486972
action filter_type
action find
entity Q252197
relation P190
type Q486972
['Q23482', 'P190', {'concept': 'Q486972'}] ['Q252197', 'P190', {'concept': 'Q486972'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?b ) WHERE { { resource:Q23482 property:P190 ?m . ?m rdf:type ontology:Q486972 } UNION { ?m rdf:type ontology:Q486972 . resource:Q252197 property:P190 ?m } }
Marseille Brixlegg
action count
action union
action filter_type
action find
entity Marseille
relation sister city
type human settlement
action filter_type
action find
entity Brixlegg
relation sister city
type human settlement
['Marseille', 'sister city', {'concept': 'human settlement'}] ['Brixlegg', 'sister city', {'concept': 'human settlement'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?b ) WHERE { { resource:Marseille property:sister_city ?m . ?m rdf:type ontology:human_settlement } UNION { ?m rdf:type ontology:human_settlement . resource:Brixlegg property:sister_city ?m } }
[]
human settlement
SYSTEM
2
Q1792 Q1055
(Q23482,P190,c(Q486972)) (Q252197,P190,c(Q486972))
action count
action union
action filter_type
action find
entity Q23482
relation P190
type Q486972
action filter_type
action find
entity Q252197
relation P190
type Q486972
[ANSWER]
['Q23482', 'P190', {'concept': 'Q486972'}] ['Q252197', 'P190', {'concept': 'Q486972'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?b ) WHERE { { resource:Q23482 property:P190 ?m . ?m rdf:type ontology:Q486972 } UNION { ?m rdf:type ontology:Q486972 . resource:Q252197 property:P190 ?m } }
Gdańsk Hamburg
2
action count
action union
action filter_type
action find
entity Marseille
relation sister city
type human settlement
action filter_type
action find
entity Brixlegg
relation sister city
type human settlement
['Marseille', 'sister city', {'concept': 'human settlement'}] ['Brixlegg', 'sister city', {'concept': 'human settlement'}]
SELECT DISTINCT ( COUNT ( ?m ) AS ?b ) WHERE { { resource:Marseille property:sister_city ?m . ?m rdf:type ontology:human_settlement } UNION { ?m rdf:type ontology:human_settlement . resource:Brixlegg property:sister_city ?m } }
[]