Simple Question (Direct)
Simple Question
Q54261
P81
Q83620
USER
Which thoroughfare is Gyeyang Station connected to ?
(Q54261,P81,c(Q83620))
action filter_type
action find
entity Q54261
relation P81
type Q83620
['Q54261', 'P81', {'concept': 'Q83620'}]
SELECT DISTINCT ?l WHERE { resource:Q54261 property:P81 ?l . ?l rdf:type ontology:Q83620 }
Gyeyang Station
action filter_type
action find
entity Gyeyang Station
relation connecting line
type thoroughfare
['Gyeyang Station', 'connecting line', {'concept': 'thoroughfare'}]
SELECT DISTINCT ?l WHERE { resource:Gyeyang_Station property:connecting_line ?l . ?l rdf:type ontology:thoroughfare }
[]
thoroughfare
Q487643
SYSTEM
AREX
Q487643
(Q54261,P81,c(Q83620))
action filter_type
action find
entity Q54261
relation P81
type Q83620
Gyeyang Station is connected to [ANSWER]
['Q54261', 'P81', {'concept': 'Q83620'}]
SELECT DISTINCT ?l WHERE { resource:Q54261 property:P81 ?l . ?l rdf:type ontology:Q83620 }
AREX
Gyeyang Station is connected to AREX
AREX
action filter_type
action find
entity Gyeyang Station
relation connecting line
type thoroughfare
['Gyeyang Station', 'connecting line', {'concept': 'thoroughfare'}]
SELECT DISTINCT ?l WHERE { resource:Gyeyang_Station property:connecting_line ?l . ?l rdf:type ontology:thoroughfare }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q54261
P17
Q15617994
USER
Which administrative territory is Gyeyang Station situated in ?
(Q54261,P17,c(Q15617994))
action filter_type
action find
entity Q54261
relation P17
type Q15617994
['Q54261', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?e WHERE { resource:Q54261 property:P17 ?e . ?e rdf:type ontology:Q15617994 }
Gyeyang Station
action filter_type
action find
entity Gyeyang Station
relation country
type designation for an administrative territorial entity
['Gyeyang Station', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Gyeyang_Station property:country ?e . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q884
SYSTEM
South Korea
Q884
(Q54261,P17,c(Q15617994))
action filter_type
action find
entity Q54261
relation P17
type Q15617994
Which administrative territory is Gyeyang Station situated in
['Q54261', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?e WHERE { resource:Q54261 property:P17 ?e . ?e rdf:type ontology:Q15617994 }
South Korea
Which administrative territory is Gyeyang Station situated in
South Korea
action filter_type
action find
entity Gyeyang Station
relation country
type designation for an administrative territorial entity
['Gyeyang Station', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Gyeyang_Station property:country ?e . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q884
P36
Q515
USER
Which city is called the capital of that administrative territory ?
(Q884,P36,c(Q515))
action filter_type
action find
entity Q884
relation P36
type Q515
['Q884', 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ?f WHERE { resource:Q884 property:P36 ?f . ?f rdf:type ontology:Q515 }
South Korea
action filter_type
action find
entity South Korea
relation capital
type city
['South Korea', 'capital', {'concept': 'city'}]
SELECT DISTINCT ?f WHERE { resource:South_Korea property:capital ?f . ?f rdf:type ontology:city }
[]
city
Q8684
SYSTEM
Seoul
Q8684
(Q884,P36,c(Q515))
action filter_type
action find
entity Q884
relation P36
type Q515
[ANSWER] is called the capital of that administrative territory
['Q884', 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ?f WHERE { resource:Q884 property:P36 ?f . ?f rdf:type ontology:Q515 }
Seoul
Seoul is called the capital of that administrative territory
Seoul
action filter_type
action find
entity South Korea
relation capital
type city
['South Korea', 'capital', {'concept': 'city'}]
SELECT DISTINCT ?f WHERE { resource:South_Korea property:capital ?f . ?f rdf:type ontology:city }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q884
P206
Q15324
USER
Which bodies of water are located in the neighbourhood of South Korea ?
(Q884,P206,c(Q15324))
action filter_type
action find
entity Q884
relation P206
type Q15324
['Q884', 'P206', {'concept': 'Q15324'}]
SELECT DISTINCT ?g WHERE { resource:Q884 property:P206 ?g . ?g rdf:type ontology:Q15324 }
South Korea
action filter_type
action find
entity South Korea
relation located next to body of water
type body of water
['South Korea', 'located next to body of water', {'concept': 'body of water'}]
SELECT DISTINCT ?g WHERE { resource:South_Korea property:located_next_to_body_of_water ?g . ?g rdf:type ontology:body_of_water }
[]
body of water
Q27092 Q37960 Q45341
SYSTEM
Sea of Japan, Yellow Sea, East China Sea
Q37960 Q624569 Q45341 Q27092
(Q884,P206,c(Q15324))
action filter_type
action find
entity Q884
relation P206
type Q15324
[ANSWERS] are located in the neighbourhood of South Korea
['Q884', 'P206', {'concept': 'Q15324'}]
SELECT DISTINCT ?g WHERE { resource:Q884 property:P206 ?g . ?g rdf:type ontology:Q15324 }
Yellow Sea South Sea East China Sea Sea of Japan
Sea of Japan, Yellow Sea and East China Sea are located in the neighbourhood of South Korea
Sea of Japan Yellow Sea East China Sea
action filter_type
action find
entity South Korea
relation located next to body of water
type body of water
['South Korea', 'located next to body of water', {'concept': 'body of water'}]
SELECT DISTINCT ?g WHERE { resource:South_Korea property:located_next_to_body_of_water ?g . ?g rdf:type ontology:body_of_water }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q1706088 Q884
P530 P19
Q15617994
USER
Which administrative territories have diplomatic relationships with South Korea or are the birthplace of Josef Wolfgang Steinbeißer ?
OR((Q884,P530,c(Q15617994)), (Q1706088,P19,c(Q15617994)))
action filter_type
action union
action find
entity Q884
relation P530
action find
entity Q1706088
relation P19
type Q15617994
{'OR': [['Q884', 'P530', {'concept': 'Q15617994'}], ['Q1706088', 'P19', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q884 property:P530 ?r } UNION { resource:Q1706088 property:P19 ?r } } . ?r rdf:type ontology:Q15617994 }
Josef Wolfgang Steinbeißer South Korea
action filter_type
action union
action find
entity South Korea
relation diplomatic relation
action find
entity Josef Wolfgang Steinbeißer
relation place of birth
type designation for an administrative territorial entity
{'OR': [['South Korea', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Josef Wolfgang Steinbeißer', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?r WHERE { { { resource:South_Korea property:diplomatic_relation ?r } UNION { resource:Josef_Wolfgang_Steinbeißer property:place_of_birth ?r } } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q159 Q490902 Q148 Q17 Q30 Q38
SYSTEM
Russia, Aufhausen, People's Republic of China, Japan, United States of America, Italy
Q159 Q490902 Q148 Q17 Q30 Q38
OR((Q884,P530,c(Q15617994)), (Q1706088,P19,c(Q15617994)))
action filter_type
action union
action find
entity Q884
relation P530
action find
entity Q1706088
relation P19
type Q15617994
[ANSWERS] have diplomatic relationships with South Korea or are the birthplace of Josef Wolfgang Steinbeißer
{'OR': [['Q884', 'P530', {'concept': 'Q15617994'}], ['Q1706088', 'P19', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q884 property:P530 ?r } UNION { resource:Q1706088 property:P19 ?r } } . ?r rdf:type ontology:Q15617994 }
Russia Aufhausen People's Republic of China Japan United States of America Italy
Russia, Aufhausen, People's Republic of China, Japan, United States of America and Italy have diplomatic relationships with South Korea or are the birthplace of Josef Wolfgang Steinbeißer
Russia Aufhausen People's Republic of China Japan United States of America Italy
action filter_type
action union
action find
entity South Korea
relation diplomatic relation
action find
entity Josef Wolfgang Steinbeißer
relation place of birth
type designation for an administrative territorial entity
{'OR': [['South Korea', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Josef Wolfgang Steinbeißer', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?r WHERE { { { resource:South_Korea property:diplomatic_relation ?r } UNION { resource:Josef_Wolfgang_Steinbeißer property:place_of_birth ?r } } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P530
Q15617994 Q15617994
USER
Which administrative territories are known to have diplomatic connections with min number of administrative territories ?
(c(Q15617994),P530,c(Q15617994))
action argmin
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( MIN ( ?u ) AS ?z ) { SELECT DISTINCT ?q ( COUNT ( ?k ) AS ?u ) WHERE { ?q property:P530 ?k . ?q rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q15617994 } GROUP BY ?q } } . FILTER ( ?j = ?z ) . { SELECT DISTINCT ?s ( COUNT ( ?x ) AS ?j ) WHERE { ?s property:P530 ?x . ?s rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q15617994 } GROUP BY ?s } }
action argmin
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( MIN ( ?u ) AS ?z ) { SELECT DISTINCT ?q ( COUNT ( ?k ) AS ?u ) WHERE { ?q property:diplomatic_relation ?k . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?q } } . FILTER ( ?j = ?z ) . { SELECT DISTINCT ?s ( COUNT ( ?x ) AS ?j ) WHERE { ?s property:diplomatic_relation ?x . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?s } }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q29999 Q786 Q924
SYSTEM
Kingdom of the Netherlands, Dominican Republic, Tanzania
Q702 Q804 Q262 Q265 Q712 Q837 Q657 Q792 Q986 Q242 Q811 Q924 Q29999 Q854 Q819 Q424 Q730 Q232 Q921 Q1027 Q1020 Q1028 Q786 Q1036 Q1037 Q974 Q1032 Q1030 Q965 Q967 Q963 Q697 Q695 Q115 Q117 Q754 Q912 Q1007 Q1006 Q1005 Q1009 Q1008 Q971 Q683 Q686 Q836 Q774 Q817 Q1019 Q945 Q678 Q33788
(c(Q15617994),P530,c(Q15617994))
action argmin
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
[ANSWERS] are known to have diplomatic connections with min number of administrative territories
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( MIN ( ?u ) AS ?z ) { SELECT DISTINCT ?q ( COUNT ( ?k ) AS ?u ) WHERE { ?q property:P530 ?k . ?q rdf:type ontology:Q15617994 . ?k rdf:type ontology:Q15617994 } GROUP BY ?q } } . FILTER ( ?j = ?z ) . { SELECT DISTINCT ?s ( COUNT ( ?x ) AS ?j ) WHERE { ?s property:P530 ?x . ?s rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q15617994 } GROUP BY ?s } }
Federated States of Micronesia Panama Algeria Uzbekistan Fiji Nepal Chad El Salvador Eritrea Belize Nicaragua Tanzania Kingdom of the Netherlands Sri Lanka Laos Cambodia Suriname Kazakhstan Brunei Mauritius Malawi Morocco Dominican Republic Uganda Rwanda Democratic Republic of the Congo Niger Namibia Burkina Faso Burundi Botswana Nauru Palau Ethiopia Ghana Trinidad and Tobago Mali Guinea-Bissau Guinea Gambia Cameroon Côte d'Ivoire Republic of the Congo Samoa Vanuatu Myanmar Guatemala Kuwait Madagascar Togo Tonga New Caledonia
Kingdom of the Netherlands, Dominican Republic and Tanzania are known to have diplomatic connections with min number of administrative territories
Kingdom of the Netherlands Dominican Republic Tanzania
action argmin
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( MIN ( ?u ) AS ?z ) { SELECT DISTINCT ?q ( COUNT ( ?k ) AS ?u ) WHERE { ?q property:diplomatic_relation ?k . ?q rdf:type ontology:designation_for_an_administrative_territorial_entity . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?q } } . FILTER ( ?j = ?z ) . { SELECT DISTINCT ?s ( COUNT ( ?x ) AS ?j ) WHERE { ?s property:diplomatic_relation ?x . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?s } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q1410
P1376
Q515 Q20667921 Q515
USER
Which cities are the county seat of less number of cities and french administrative divisions than Gibraltar ?
(c(Q515),P1376,c(Q515)|c(Q20667921))
action less
action union
action find_tuple_counts
relation P1376
type Q515
type Q515
action find_tuple_counts
relation P1376
type Q515
type Q20667921
action count
action filter_multi_types
action find
entity Q1410
relation P1376
type Q515
type Q20667921
[{'concept': 'Q515'}, 'P1376', [{'concept': 'Q515'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?l ) WHERE { resource:Q1410 property:P1376 ?b . { VALUES ( ?f ) { ( ontology:Q20667921 ) ( ontology:Q515 ) } . ?b rdf:type ?f } } } . FILTER ( ?v < ?l ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?v ) ?t WHERE { ?a rdf:type ?q . VALUES ( ?q ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } } GROUP BY ?t } }
Gibraltar
action less
action union
action find_tuple_counts
relation capital of
type city
type city
action find_tuple_counts
relation capital of
type city
type type of french administrative division
action count
action filter_multi_types
action find
entity Gibraltar
relation capital of
type city
type type of french administrative division
[{'concept': 'city'}, 'capital of', [{'concept': 'city'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?l ) WHERE { resource:Gibraltar property:capital_of ?b . { VALUES ( ?f ) { ( ontology:type_of_french_administrative_division ) ( ontology:city ) } . ?b rdf:type ?f } } } . FILTER ( ?v < ?l ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?v ) ?t WHERE { ?a rdf:type ?q . VALUES ( ?q ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?t } }
[]
city type of french administrative division city
Q1486 Q1773 Q1899
SYSTEM
Buenos Aires, Riga, Kyiv
Q15826 Q373542 Q780731 Q39738 Q3572 Q10126 Q843001 Q1710 Q843006 Q843009 Q14525 Q3042 Q3974 Q861296 Q637647 Q240026 Q19689 Q873377 Q853746 Q8131 Q83786 Q854913 Q19833195 Q293558 Q192271 Q854918 Q460835 Q60037 Q217432 Q827041 Q4024 Q379030 Q1711 Q496667 Q27860 Q240504 Q3806 Q281371 Q258884 Q3624 Q592338 Q52607 Q766168 Q933645 Q58650 Q214938 Q830394 Q205607 Q193050 Q71305 Q841296 Q911600 Q789256 Q7473516 Q903177 Q3870 Q243293 Q5779 Q932806 Q377834 Q295367 Q653389 Q851097 Q1696 Q861292 Q41474 Q57953 Q917888 Q1070920 Q174096 Q174091 Q740800 Q855082 Q633945 Q843031 Q593314 Q783255 Q197687 Q111739 Q842967 Q329768 Q843035 Q246723 Q696388 Q185719 Q18970 Q80989 Q14424 Q304803 Q432169 Q147738 Q853744 Q2135 Q43196 Q855032 Q404529 Q5954 Q3926 Q11462 Q834567 Q851675 Q3214 Q842908 Q505208 Q1000336 Q911530 Q5838 Q181276 Q583137 Q3692 Q847546 Q330409 Q1019949 Q847543 Q854956 Q235004 Q379160 Q132997 Q478038 Q725168 Q580722 Q389515 Q394453 Q278017 Q321778 Q850359 Q535534 Q745657 Q748797 Q1899 Q494777 Q221283 Q2419449 Q854969 Q842934 Q1794 Q793405 Q665 Q375097 Q911558 Q59144 Q12062 Q629471 Q209766 Q178878 Q5316658 Q203027 Q1486 Q2966 Q220445 Q34217 Q625154 Q4348183 Q179608 Q847594 Q790370 Q154540 Q1467 Q1461 Q843018 Q14499 Q2865 Q607625 Q526335 Q13630 Q424813 Q578343 Q366220 Q12245 Q117676 Q16959 Q1844 Q10389 Q650015 Q30340 Q23430 Q225257 Q35925 Q44215 Q629849 Q680656 Q854996 Q207408 Q214956 Q1362 Q15379 Q588606 Q5540 Q58401 Q161176 Q850508 Q840986 Q1723 Q288413 Q1519 Q8684 Q270704 Q3838 Q167109 Q3104 Q734378 Q459787 Q585630 Q855529 Q7248 Q4346 Q1107569 Q1025387 Q602042 Q237699 Q207406 Q517407 Q23661 Q191651 Q7856199 Q3904 Q325164 Q305640 Q14819 Q5285 Q14182 Q740810 Q1069007 Q861221 Q911667 Q6807568 Q7568 Q842971 Q842976 Q3866 Q181007 Q385864 Q755686 Q3599 Q1731 Q3861 Q43433 Q1636 Q3852 Q846652 Q7786 Q10104 Q3859 Q155975 Q19660 Q1020939 Q674311 Q3915 Q155674 Q863747 Q841125 Q314686 Q487439 Q385591 Q1953 Q124375 Q933641 Q854940 Q2180 Q714628 Q335427 Q177149 Q9005 Q2337 Q633789 Q1330294 Q14960 Q8158 Q385070 Q116417 Q830404 Q861262 Q781435 Q26600 Q2025433 Q740853 Q749320 Q874270 Q911628 Q632146 Q52564 Q4905 Q207876 Q2978 Q2973 Q34261 Q137271 Q855060 Q843028 Q842996 Q1773 Q679249 Q843021 Q14821 Q680743 Q564234 Q3958 Q488990 Q3955 Q668318 Q2079 Q2773 Q6829 Q260522 Q8156 Q752838 Q993064 Q276534 Q41773 Q42007 Q1858 Q2096 Q329775 Q1854 Q1856 Q855016 Q3787 Q855011 Q308657 Q4007 Q480421 Q14168 Q823907 Q7070 Q3826 Q642031 Q55598 Q498011 Q214948 Q271000 Q214945 Q182852 Q755681 Q214942 Q68481 Q549427 Q335506 Q320798 Q386655 Q245126 Q1826 Q1533 Q200077 Q47916 Q80484 Q3183016 Q328601 Q542154 Q2526233 Q946769 Q846351 Q739304 Q789233 Q7253 Q2936 Q530634 Q4827 Q877227 Q5753 Q429409 Q2749 Q193719 Q170454 Q211243 Q841603 Q7929221 Q911576 Q42751 Q42750 Q185684 Q187861 Q207311 Q11194 Q386682 Q63145 Q2119 Q390796 Q271917 Q5972 Q1720 Q1721 Q83247 Q1645 Q7578 Q390798 Q11443 Q7033 Q14126 Q57906 Q44244 Q855052 Q11449 Q547479 Q404817 Q183584 Q2907 Q15847 Q843014 Q2844 Q11725 Q604516 Q73156 Q3768 Q732300 Q789510 Q20073 Q1863 Q1865 Q2209 Q2200 Q18342086 Q16506 Q14155 Q430207 Q756273 Q14409 Q188247 Q206872 Q72778 Q1355 Q146363 Q208818 Q187136 Q5869 Q46845 Q57951 Q830411 Q171943 Q728438 Q427769 Q189823 Q40626 Q55740 Q250733 Q146317 Q693264 Q187821 Q502205 Q203344 Q107401 Q71159 Q3355306 Q57944 Q189761 Q189769 Q1761 Q57948 Q2795 Q378225 Q954569 Q2887 Q738275 Q69060 Q8179 Q727383 Q2061 Q2069869 Q184998 Q5217 Q854965 Q1020709 Q489147 Q755701 Q267894 Q679224 Q168648 Q2152435 Q843043 Q850676 Q2833 Q36063 Q3935 Q3931 Q726993 Q3919 Q3751 Q3750 Q3616 Q42666 Q738013 Q894059 Q933638 Q183111 Q40584 Q1067897 Q25475 Q11506 Q613813 Q375862 Q107624 Q1530 Q680963 Q66485 Q649214 Q646850 Q209988 Q582209 Q209983 Q877190 Q2900 Q845792 Q684494 Q170525 Q503411 Q842925 Q842923 Q302526 Q1231003 Q8042 Q911642 Q187284 Q158245 Q50179 Q284480 Q632080 Q207309 Q187812 Q104125 Q2999 Q16666
(c(Q515),P1376,c(Q515)|c(Q20667921))
action less
action union
action find_tuple_counts
relation P1376
type Q515
type Q515
action find_tuple_counts
relation P1376
type Q515
type Q20667921
action count
action filter_multi_types
action find
entity Q1410
relation P1376
type Q515
type Q20667921
[ANSWERS] are the county seat of less number of cities and french administrative divisions than Gibraltar
[{'concept': 'Q515'}, 'P1376', [{'concept': 'Q515'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?l ) WHERE { resource:Q1410 property:P1376 ?b . { VALUES ( ?f ) { ( ontology:Q20667921 ) ( ontology:Q515 ) } . ?b rdf:type ?f } } } . FILTER ( ?v < ?l ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?v ) ?t WHERE { ?a rdf:type ?q . VALUES ( ?q ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } } GROUP BY ?t } }
Palu Szigetvár Szeghalom Laoag Tunis Serang Csorna Isabela City Nagykálló Marcali Gorontalo Offenbach am Main Landshut Nōgata Pásztó Jászapáti Tirana Dumaguete Bátonyterenye Palembang Shimla Szikszó Barcelos Ózd Guiyang Szécsény Marugame Zalaegerszeg Port Harcourt Beroun Frankfurt (Oder) Zalaszentgrót Potsdam Muroran Jayapura Makó Tübingen Jászberény Bélapátfalva Addis Ababa Marawi Mar del Plata 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 Banda Aceh Polgárdi Szentes Nagyatád Nobeoka Iiyama Legazpi Hitoyoshi Kingstown Schwarzenberg Vinaròs Mamuju Sorsogon City Changsha Paks Csenger Saijō Vasvár Sárbogárd Kapuvár Miercurea Sibiului Puerto Princesa Gönc Tata Celldömölk Záhony Toyooka Pétervására Ambon Bhopal Nagykanizsa Mezőcsát Dipolog Saint Helier Devecser Winnipeg Cincinnati Mezőkovácsháza Xuchang Binjai Pretoria Surabaya Bonyhád Takahashi Cottbus Gyál Ouarzazate Tandil Hajdúhadház Kabul Szolnok Kidapawan Riyadh Saiki Ústí nad Orlicí Surigao City Katsuyama Ibrány Vigan Kunszentmárton Florianópolis Kiskunfélegyháza Tagum Őriszentpéter Kariya Žďár nad Sázavou Tiszavasvári Hodonín Kitsuki Hohhot Fehérgyarmat Dorog Kyiv Alcoi Cape Coast Polgár Letenye Püspökladány Frankfurt Berettyóújfalu Lugdunum Tiszaújváros Putnok Zhanjiang Torgau Kiskunmajsa Saga Békéscsaba Durjaya Tsu Buenos Aires Heidelberg Kuching Oxford Komárom Athkatla Nanning Shimabara Barcs Sásd Cebu City Manila Kunszentmiklós Samarinda Kassel Tamási Keszthely Olbia Akō Szentlőrinc Adony Stanley Viseu Ürümqi Vaduz Bandung Pannonhalma Zhengzhou Ulaanbaatar Rupea Tabuk Santa Rosa Hatvan Sümeg Szerencs Vác Znojmo Islamabad Kendari Fonyód Penza Shijiazhuang Fukushima Taketa Törökszentmiklós Batangas City Tapolca Abu Dhabi Seoul Třebíč Kinshasa Eger Koblenz Yonezawa Iloilo City Yanagawa Kistelek Bukittinggi Waren (Müritz) Kerma Maasin Baktalórántháza Aizuwakamatsu Mosonmagyaróvár Sondershausen Wellington Masbate City Turquoise Mountain Mbabane Kayes Abashiri Freiberg Tarlac Banjarmasin Békés Washukanni Nakatsu Elek Emmen Yogyakarta Sellye Mátészalka Dodoma Hattusa Ōsakasayama Nyírbátor Bicske Dresden Doha Chandigarh Antipolo Worms Cigánd Pekanbaru Tanjung Pinang Kigali Kutná Hora Bucharest Digos Kisvárda Antananarivo Tandag Uda Tsuyama Mati Oral Ōmura Yerevan Hódmezővásárhely Martonvásár Dabas Malolos Rumoi Kisarazu Obihiro Brussels Smolensk Dombóvár Jiankang Brno Metro, Indonesia Burriana Sátoraljaújhely Hajdúszoboszló Uto Derecske Fukuoka Calimport Szigetszentmiklós Monor Pagadian Kemecse Enying Maloe Verevo Druzhnaya Gorka Yamaguchi Regensburg Darmstadt Port-au-Prince Kota Kinabalu Encs Oroszlány Pécsvárad Riga Kalocsa Tolna Coburg Balatonfüred Annaka Neubrandenburg Kostanay Weimar Sárospatak Leipzig Braunschweig Speyer Bácsalmás Bandar Lampung Aszód Saint Anne Wau, South Sudan Obama Szombathely Hanoi Edmonton Kiskunhalas Ho Chi Minh City Malaybalay Csurgó Abuja Heves Minas Tirith Rosenheim Abony Pontianak HigashiMatsuyama Eisenach Muscat Gárdony Palayan Sakura Cegléd Bouaké Pápa Kunming Várpalota Kazincbarcika Fuzhou Jánoshalma Salto Mohács Ōzu Siófok Tagbilaran Caracas Morioka Lucknow Patna Ungaran Hirado Koronadal Carn Dûm Mórahalom Miyazu Hajdúnánás Balassagyarmat Padang Oldenburg Pilisvörösvár Vyritsa Ogi Samarkand Szob Augsburg Cheb Agartala Yinchuan Tiszakécske Vijaya Rétság Palikir Vojskovitsy Hefei Wollongong Suzuka Sarajevo Khost Imus Mannheim Orosháza Kushiro Medan Mainz Wiesbaden Braga Cagayan de Oro Jambi Szentendre Kediri Nordhausen Mataram Yangzhou Santa Fe Mezőtúr Pasuruan Dunakeszi Shangqiu Lanzhou Sucre Manado Szarvas Brasília Chongqing Szentgotthárd Linfen Yamoussoukro Gyomaendrőd Balmazújváros Hohenstein-Ernstthal Andorra la Vella Kuala Lumpur Roxas Tuguegarao Oyo-Ile České Budějovice Kupang Komló Karcag Palangkaraya Sarkad Ajka Taiyuan Bangalore Most Fuchū Luoyang Lhasa Oelsnitz, Vogtland Marienberg Körmend Nanchang Siklós Kisbér Haikou Tacloban San Fernando Wa Veszprém Iwamizawa Tatabánya Nemuro Baja Sivas Brand-Erbisdorf Fukuchiyama Annaberg-Buchholz Szekszárd Salgótarján Dublin Aue Chemnitz Hagi Vyškov Santiago Karatsu Xining Pangkal Pinang Sokolov Yellowknife Edoras Kaposvár Bacolod Lenti Catbalogan Schmalkalden Ráckeve Wakkanai Hajdúböszörmény Sopron Miramar Sárvár Blansko Freiburg im Breisgau Vecsés Windhoek Brandenburg an der Havel Cotabato City Gaborone Praia Gera Tehran Shaoxing Xàtiva Borongan Mezőkövesd Jihlava San Fernando Oroquieta Batumi Denpasar Kőszeg Nyíradony Calapan Baghdad Mór Jaipur Csongrád Kiskőrös Gödöllő Tokaj 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 Würzburg Nanjing
Buenos Aires, Riga and Kyiv are the county seat of less number of cities and french administrative divisions than Gibraltar
Buenos Aires Riga Kyiv
action less
action union
action find_tuple_counts
relation capital of
type city
type city
action find_tuple_counts
relation capital of
type city
type type of french administrative division
action count
action filter_multi_types
action find
entity Gibraltar
relation capital of
type city
type type of french administrative division
[{'concept': 'city'}, 'capital of', [{'concept': 'city'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ?t WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?l ) WHERE { resource:Gibraltar property:capital_of ?b . { VALUES ( ?f ) { ( ontology:type_of_french_administrative_division ) ( ontology:city ) } . ?b rdf:type ?f } } } . FILTER ( ?v < ?l ) . { SELECT DISTINCT ( COUNT ( ?a ) AS ?v ) ?t WHERE { ?a rdf:type ?q . VALUES ( ?q ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?t } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q6582
P1376
Q515 Q20667921 Q515
USER
And what about Carcassonne?
(c(Q515),P1376,c(Q515)|c(Q20667921))
action less
action union
action find_tuple_counts
relation P1376
type Q515
type Q515
action find_tuple_counts
relation P1376
type Q515
type Q20667921
action count
action filter_multi_types
action find
entity Q6582
relation P1376
type Q515
type Q20667921
[{'concept': 'Q515'}, 'P1376', [{'concept': 'Q515'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?t ) ?s WHERE { { ?u rdf:type ontology:Q515 . ?s rdf:type ontology:Q515 . ?s property:P1376 ?u } UNION { ?s property:P1376 ?u . ?s rdf:type ontology:Q515 . ?u rdf:type ontology:Q20667921 } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) WHERE { resource:Q6582 property:P1376 ?f . { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } } } } . FILTER ( ?t < ?z ) }
Carcassonne
action less
action union
action find_tuple_counts
relation capital of
type city
type city
action find_tuple_counts
relation capital of
type city
type type of french administrative division
action count
action filter_multi_types
action find
entity Carcassonne
relation capital of
type city
type type of french administrative division
[{'concept': 'city'}, 'capital of', [{'concept': 'city'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?t ) ?s WHERE { { ?u rdf:type ontology:city . ?s rdf:type ontology:city . ?s property:capital_of ?u } UNION { ?s property:capital_of ?u . ?s rdf:type ontology:city . ?u rdf:type ontology:type_of_french_administrative_division } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) WHERE { resource:Carcassonne property:capital_of ?f . { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } } } } . FILTER ( ?t < ?z ) }
[]
city type of french administrative division city
Q1486 Q1773 Q1899
SYSTEM
Buenos Aires, Riga, Kyiv
Q15826 Q373542 Q780731 Q39738 Q3572 Q10126 Q843001 Q1710 Q843006 Q843009 Q14525 Q3042 Q3974 Q861296 Q637647 Q240026 Q19689 Q873377 Q853746 Q8131 Q83786 Q854913 Q19833195 Q293558 Q192271 Q854918 Q460835 Q60037 Q217432 Q827041 Q4024 Q379030 Q1711 Q496667 Q27860 Q240504 Q3806 Q281371 Q258884 Q3624 Q592338 Q52607 Q766168 Q933645 Q58650 Q214938 Q830394 Q205607 Q193050 Q71305 Q841296 Q911600 Q789256 Q7473516 Q903177 Q3870 Q243293 Q5779 Q932806 Q377834 Q295367 Q653389 Q851097 Q1696 Q861292 Q41474 Q57953 Q917888 Q1070920 Q174096 Q174091 Q740800 Q855082 Q633945 Q843031 Q593314 Q783255 Q197687 Q111739 Q842967 Q329768 Q843035 Q246723 Q696388 Q185719 Q18970 Q80989 Q14424 Q304803 Q432169 Q147738 Q853744 Q2135 Q43196 Q855032 Q404529 Q5954 Q3926 Q11462 Q834567 Q851675 Q3214 Q842908 Q505208 Q1000336 Q911530 Q5838 Q181276 Q583137 Q3692 Q847546 Q330409 Q1019949 Q847543 Q854956 Q235004 Q379160 Q132997 Q478038 Q725168 Q580722 Q389515 Q394453 Q278017 Q321778 Q850359 Q535534 Q745657 Q748797 Q1899 Q494777 Q221283 Q2419449 Q1410 Q854969 Q842934 Q1794 Q793405 Q665 Q375097 Q911558 Q59144 Q12062 Q629471 Q209766 Q178878 Q5316658 Q203027 Q1486 Q2966 Q220445 Q34217 Q625154 Q4348183 Q179608 Q847594 Q790370 Q154540 Q1467 Q1461 Q843018 Q14499 Q2865 Q607625 Q526335 Q13630 Q424813 Q578343 Q366220 Q12245 Q117676 Q16959 Q1844 Q10389 Q650015 Q30340 Q23430 Q225257 Q35925 Q44215 Q629849 Q680656 Q854996 Q207408 Q214956 Q1362 Q15379 Q588606 Q5540 Q58401 Q161176 Q850508 Q840986 Q1723 Q288413 Q1519 Q8684 Q270704 Q3838 Q167109 Q3104 Q734378 Q459787 Q585630 Q855529 Q7248 Q4346 Q1107569 Q1025387 Q602042 Q237699 Q207406 Q517407 Q23661 Q191651 Q7856199 Q3904 Q325164 Q305640 Q14819 Q5285 Q14182 Q740810 Q1069007 Q861221 Q911667 Q6807568 Q7568 Q842971 Q842976 Q3866 Q181007 Q385864 Q755686 Q3599 Q1731 Q3861 Q43433 Q1636 Q3852 Q846652 Q7786 Q10104 Q3859 Q155975 Q19660 Q1020939 Q674311 Q3915 Q155674 Q863747 Q841125 Q314686 Q487439 Q385591 Q1953 Q124375 Q933641 Q854940 Q2180 Q714628 Q335427 Q177149 Q9005 Q2337 Q633789 Q1330294 Q14960 Q8158 Q385070 Q116417 Q830404 Q861262 Q781435 Q26600 Q2025433 Q740853 Q749320 Q874270 Q911628 Q632146 Q52564 Q4905 Q207876 Q2978 Q2973 Q34261 Q137271 Q855060 Q843028 Q842996 Q1773 Q679249 Q843021 Q14821 Q680743 Q564234 Q3958 Q488990 Q3955 Q668318 Q2079 Q2773 Q6829 Q260522 Q8156 Q752838 Q993064 Q276534 Q41773 Q42007 Q1858 Q2096 Q329775 Q1854 Q1856 Q855016 Q3787 Q855011 Q308657 Q4007 Q480421 Q14168 Q823907 Q7070 Q3826 Q642031 Q55598 Q498011 Q214948 Q271000 Q214945 Q182852 Q755681 Q214942 Q68481 Q549427 Q335506 Q320798 Q386655 Q245126 Q1826 Q1533 Q200077 Q47916 Q80484 Q3183016 Q328601 Q542154 Q2526233 Q946769 Q846351 Q739304 Q789233 Q7253 Q2936 Q530634 Q4827 Q877227 Q5753 Q429409 Q2749 Q193719 Q170454 Q211243 Q841603 Q7929221 Q911576 Q42751 Q42750 Q185684 Q187861 Q207311 Q11194 Q386682 Q63145 Q2119 Q390796 Q271917 Q5972 Q1720 Q1721 Q83247 Q1645 Q7578 Q390798 Q11443 Q7033 Q14126 Q57906 Q44244 Q855052 Q11449 Q547479 Q404817 Q183584 Q2907 Q15847 Q843014 Q2844 Q11725 Q604516 Q73156 Q3768 Q732300 Q789510 Q20073 Q1863 Q1865 Q2209 Q2200 Q18342086 Q16506 Q14155 Q430207 Q756273 Q14409 Q188247 Q206872 Q72778 Q1355 Q146363 Q208818 Q187136 Q5869 Q46845 Q57951 Q830411 Q171943 Q728438 Q427769 Q189823 Q40626 Q55740 Q250733 Q146317 Q693264 Q187821 Q502205 Q203344 Q107401 Q71159 Q3355306 Q57944 Q189761 Q189769 Q1761 Q57948 Q2795 Q378225 Q954569 Q2887 Q738275 Q69060 Q8179 Q727383 Q2061 Q2069869 Q184998 Q5217 Q854965 Q1020709 Q489147 Q755701 Q267894 Q679224 Q168648 Q2152435 Q843043 Q850676 Q2833 Q36063 Q3935 Q3931 Q726993 Q3919 Q3751 Q3750 Q3616 Q42666 Q738013 Q894059 Q933638 Q183111 Q40584 Q1067897 Q25475 Q11506 Q613813 Q375862 Q107624 Q1530 Q680963 Q66485 Q649214 Q646850 Q209988 Q582209 Q209983 Q877190 Q2900 Q845792 Q684494 Q170525 Q503411 Q842925 Q842923 Q302526 Q1231003 Q8042 Q911642 Q187284 Q158245 Q50179 Q284480 Q632080 Q207309 Q187812 Q104125 Q2999 Q16666
(c(Q515),P1376,c(Q515)|c(Q20667921))
action less
action union
action find_tuple_counts
relation P1376
type Q515
type Q515
action find_tuple_counts
relation P1376
type Q515
type Q20667921
action count
action filter_multi_types
action find
entity Q6582
relation P1376
type Q515
type Q20667921
[ANSWERS]
[{'concept': 'Q515'}, 'P1376', [{'concept': 'Q515'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?t ) ?s WHERE { { ?u rdf:type ontology:Q515 . ?s rdf:type ontology:Q515 . ?s property:P1376 ?u } UNION { ?s property:P1376 ?u . ?s rdf:type ontology:Q515 . ?u rdf:type ontology:Q20667921 } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) WHERE { resource:Q6582 property:P1376 ?f . { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } } } } . FILTER ( ?t < ?z ) }
Palu Szigetvár Szeghalom Laoag Tunis Serang Csorna Isabela City Nagykálló Marcali Gorontalo Offenbach am Main Landshut Nōgata Pásztó Jászapáti Tirana Dumaguete Bátonyterenye Palembang Shimla Szikszó Barcelos Ózd Guiyang Szécsény Marugame Zalaegerszeg Port Harcourt Beroun Frankfurt (Oder) Zalaszentgrót Potsdam Muroran Jayapura Makó Tübingen Jászberény Bélapátfalva Addis Ababa Marawi Mar del Plata 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 Banda Aceh Polgárdi Szentes Nagyatád Nobeoka Iiyama Legazpi Hitoyoshi Kingstown Schwarzenberg Vinaròs Mamuju Sorsogon City Changsha Paks Csenger Saijō Vasvár Sárbogárd Kapuvár Miercurea Sibiului Puerto Princesa Gönc Tata Celldömölk Záhony Toyooka Pétervására Ambon Bhopal Nagykanizsa Mezőcsát Dipolog Saint Helier Devecser Winnipeg Cincinnati Mezőkovácsháza Xuchang Binjai Pretoria Surabaya Bonyhád Takahashi Cottbus Gyál Ouarzazate Tandil Hajdúhadház Kabul Szolnok Kidapawan Riyadh Saiki Ústí nad Orlicí Surigao City Katsuyama Ibrány Vigan Kunszentmárton Florianópolis Kiskunfélegyháza Tagum Őriszentpéter Kariya Žďár nad Sázavou Tiszavasvári Hodonín Kitsuki Hohhot Fehérgyarmat Dorog Kyiv Alcoi Cape Coast Polgár Gibraltar Letenye Püspökladány Frankfurt Berettyóújfalu Lugdunum Tiszaújváros Putnok Zhanjiang Torgau Kiskunmajsa Saga Békéscsaba Durjaya Tsu Buenos Aires Heidelberg Kuching Oxford Komárom Athkatla Nanning Shimabara Barcs Sásd Cebu City Manila Kunszentmiklós Samarinda Kassel Tamási Keszthely Olbia Akō Szentlőrinc Adony Stanley Viseu Ürümqi Vaduz Bandung Pannonhalma Zhengzhou Ulaanbaatar Rupea Tabuk Santa Rosa Hatvan Sümeg Szerencs Vác Znojmo Islamabad Kendari Fonyód Penza Shijiazhuang Fukushima Taketa Törökszentmiklós Batangas City Tapolca Abu Dhabi Seoul Třebíč Kinshasa Eger Koblenz Yonezawa Iloilo City Yanagawa Kistelek Bukittinggi Waren (Müritz) Kerma Maasin Baktalórántháza Aizuwakamatsu Mosonmagyaróvár Sondershausen Wellington Masbate City Turquoise Mountain Mbabane Kayes Abashiri Freiberg Tarlac Banjarmasin Békés Washukanni Nakatsu Elek Emmen Yogyakarta Sellye Mátészalka Dodoma Hattusa Ōsakasayama Nyírbátor Bicske Dresden Doha Chandigarh Antipolo Worms Cigánd Pekanbaru Tanjung Pinang Kigali Kutná Hora Bucharest Digos Kisvárda Antananarivo Tandag Uda Tsuyama Mati Oral Ōmura Yerevan Hódmezővásárhely Martonvásár Dabas Malolos Rumoi Kisarazu Obihiro Brussels Smolensk Dombóvár Jiankang Brno Metro, Indonesia Burriana Sátoraljaújhely Hajdúszoboszló Uto Derecske Fukuoka Calimport Szigetszentmiklós Monor Pagadian Kemecse Enying Maloe Verevo Druzhnaya Gorka Yamaguchi Regensburg Darmstadt Port-au-Prince Kota Kinabalu Encs Oroszlány Pécsvárad Riga Kalocsa Tolna Coburg Balatonfüred Annaka Neubrandenburg Kostanay Weimar Sárospatak Leipzig Braunschweig Speyer Bácsalmás Bandar Lampung Aszód Saint Anne Wau, South Sudan Obama Szombathely Hanoi Edmonton Kiskunhalas Ho Chi Minh City Malaybalay Csurgó Abuja Heves Minas Tirith Rosenheim Abony Pontianak HigashiMatsuyama Eisenach Muscat Gárdony Palayan Sakura Cegléd Bouaké Pápa Kunming Várpalota Kazincbarcika Fuzhou Jánoshalma Salto Mohács Ōzu Siófok Tagbilaran Caracas Morioka Lucknow Patna Ungaran Hirado Koronadal Carn Dûm Mórahalom Miyazu Hajdúnánás Balassagyarmat Padang Oldenburg Pilisvörösvár Vyritsa Ogi Samarkand Szob Augsburg Cheb Agartala Yinchuan Tiszakécske Vijaya Rétság Palikir Vojskovitsy Hefei Wollongong Suzuka Sarajevo Khost Imus Mannheim Orosháza Kushiro Medan Mainz Wiesbaden Braga Cagayan de Oro Jambi Szentendre Kediri Nordhausen Mataram Yangzhou Santa Fe Mezőtúr Pasuruan Dunakeszi Shangqiu Lanzhou Sucre Manado Szarvas Brasília Chongqing Szentgotthárd Linfen Yamoussoukro Gyomaendrőd Balmazújváros Hohenstein-Ernstthal Andorra la Vella Kuala Lumpur Roxas Tuguegarao Oyo-Ile České Budějovice Kupang Komló Karcag Palangkaraya Sarkad Ajka Taiyuan Bangalore Most Fuchū Luoyang Lhasa Oelsnitz, Vogtland Marienberg Körmend Nanchang Siklós Kisbér Haikou Tacloban San Fernando Wa Veszprém Iwamizawa Tatabánya Nemuro Baja Sivas Brand-Erbisdorf Fukuchiyama Annaberg-Buchholz Szekszárd Salgótarján Dublin Aue Chemnitz Hagi Vyškov Santiago Karatsu Xining Pangkal Pinang Sokolov Yellowknife Edoras Kaposvár Bacolod Lenti Catbalogan Schmalkalden Ráckeve Wakkanai Hajdúböszörmény Sopron Miramar Sárvár Blansko Freiburg im Breisgau Vecsés Windhoek Brandenburg an der Havel Cotabato City Gaborone Praia Gera Tehran Shaoxing Xàtiva Borongan Mezőkövesd Jihlava San Fernando Oroquieta Batumi Denpasar Kőszeg Nyíradony Calapan Baghdad Mór Jaipur Csongrád Kiskőrös Gödöllő Tokaj 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 Würzburg Nanjing
Buenos Aires Riga Kyiv
action less
action union
action find_tuple_counts
relation capital of
type city
type city
action find_tuple_counts
relation capital of
type city
type type of french administrative division
action count
action filter_multi_types
action find
entity Carcassonne
relation capital of
type city
type type of french administrative division
[{'concept': 'city'}, 'capital of', [{'concept': 'city'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?t ) ?s WHERE { { ?u rdf:type ontology:city . ?s rdf:type ontology:city . ?s property:capital_of ?u } UNION { ?s property:capital_of ?u . ?s rdf:type ontology:city . ?u rdf:type ontology:type_of_french_administrative_division } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) WHERE { resource:Carcassonne property:capital_of ?f . { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } } } } . FILTER ( ?t < ?z ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q4576024
P190
Q56061
USER
Are Eggesbønes twin city of those ones ?
(Q4576024,P190,Q1486) (Q4576024,P190,Q1773) (Q4576024,P190,Q1899)
action is_in
entity prev_answer
action find
entity Q4576024
relation P190
['Q4576024', 'P190', 'Q1486'] ['Q4576024', 'P190', 'Q1773'] ['Q4576024', 'P190', 'Q1899']
ASK WHERE { VALUES ( ?n ) { ( resource:Q15826 ) ( resource:Q373542 ) ( resource:Q780731 ) } . resource:Q4576024 property:P190 ?n }
Eggesbønes
action is_in
entity prev_answer
action find
entity Eggesbønes
relation sister city
['Eggesbønes', 'sister city', 'Buenos Aires'] ['Eggesbønes', 'sister city', 'Riga'] ['Eggesbønes', 'sister city', 'Kyiv']
ASK WHERE { VALUES ( ?n ) { ( resource:Palu ) ( resource:Szigetvár ) ( resource:Szeghalom ) } . resource:Eggesbønes property:sister_city ?n }
[]
administrative territorial entity
SYSTEM
NO
(Q4576024,P190,Q1486) (Q4576024,P190,Q1773) (Q4576024,P190,Q1899)
action is_in
entity prev_answer
action find
entity Q4576024
relation P190
[ANSWER]
['Q4576024', 'P190', 'Q1486'] ['Q4576024', 'P190', 'Q1773'] ['Q4576024', 'P190', 'Q1899']
ASK WHERE { VALUES ( ?n ) { ( resource:Q15826 ) ( resource:Q373542 ) ( resource:Q780731 ) } . resource:Q4576024 property:P190 ?n }
No
action is_in
entity prev_answer
action find
entity Eggesbønes
relation sister city
['Eggesbønes', 'sister city', 'Buenos Aires'] ['Eggesbønes', 'sister city', 'Riga'] ['Eggesbønes', 'sister city', 'Kyiv']
ASK WHERE { VALUES ( ?n ) { ( resource:Palu ) ( resource:Szigetvár ) ( resource:Szeghalom ) } . resource:Eggesbønes property:sister_city ?n }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q490902 Q183 Q141185
P17
Q1048835
USER
Is Aufhausen situated in Germany and Gordoncillo ?
(Q490902,P17,Q183) (Q490902,P17,Q141185)
action is_in
entity Q490902
action intersection
action find_reverse
entity Q183
relation P17
action find_reverse
entity Q141185
relation P17
['Q490902', 'P17', 'Q183'] ['Q490902', 'P17', 'Q141185']
ASK WHERE { resource:Q490902 property:P17 resource:Q183 . resource:Q490902 property:P17 resource:Q141185 }
Aufhausen Germany Gordoncillo
action is_in
entity Aufhausen
action intersection
action find_reverse
entity Germany
relation country
action find_reverse
entity Gordoncillo
relation country
['Aufhausen', 'country', 'Germany'] ['Aufhausen', 'country', 'Gordoncillo']
ASK WHERE { resource:Aufhausen property:country resource:Germany . resource:Aufhausen property:country resource:Gordoncillo }
[]
political territorial entity
SYSTEM
YES and NO respectively
(Q490902,P17,Q183) (Q490902,P17,Q141185)
action is_in
entity Q490902
action intersection
action find_reverse
entity Q183
relation P17
action find_reverse
entity Q141185
relation P17
[ANSWER]
['Q490902', 'P17', 'Q183'] ['Q490902', 'P17', 'Q141185']
ASK WHERE { resource:Q490902 property:P17 resource:Q183 . resource:Q490902 property:P17 resource:Q141185 }
YES and NO respectively
action is_in
entity Aufhausen
action intersection
action find_reverse
entity Germany
relation country
action find_reverse
entity Gordoncillo
relation country
['Aufhausen', 'country', 'Germany'] ['Aufhausen', 'country', 'Gordoncillo']
ASK WHERE { resource:Aufhausen property:country resource:Germany . resource:Aufhausen property:country resource:Gordoncillo }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q1486 Q12100582 Q15695
P190
Q56061
USER
Is Buenos Aires twin city of Desnățui and Salamanca ?
(Q1486,P190,Q12100582) (Q1486,P190,Q15695)
action is_in
entity Q1486
action intersection
action find_reverse
entity Q12100582
relation P190
action find_reverse
entity Q15695
relation P190
['Q1486', 'P190', 'Q12100582'] ['Q1486', 'P190', 'Q15695']
ASK WHERE { resource:Q1486 property:P190 resource:Q12100582 . resource:Q1486 property:P190 resource:Q15695 }
Buenos Aires Desnățui Salamanca
action is_in
entity Buenos Aires
action intersection
action find_reverse
entity Desnățui
relation sister city
action find_reverse
entity Salamanca
relation sister city
['Buenos Aires', 'sister city', 'Desnățui'] ['Buenos Aires', 'sister city', 'Salamanca']
ASK WHERE { resource:Buenos_Aires property:sister_city resource:Desnățui . resource:Buenos_Aires property:sister_city resource:Salamanca }
[]
administrative territorial entity
SYSTEM
NO and YES respectively
(Q1486,P190,Q12100582) (Q1486,P190,Q15695)
action is_in
entity Q1486
action intersection
action find_reverse
entity Q12100582
relation P190
action find_reverse
entity Q15695
relation P190
[ANSWER]
['Q1486', 'P190', 'Q12100582'] ['Q1486', 'P190', 'Q15695']
ASK WHERE { resource:Q1486 property:P190 resource:Q12100582 . resource:Q1486 property:P190 resource:Q15695 }
NO and YES respectively
action is_in
entity Buenos Aires
action intersection
action find_reverse
entity Desnățui
relation sister city
action find_reverse
entity Salamanca
relation sister city
['Buenos Aires', 'sister city', 'Desnățui'] ['Buenos Aires', 'sister city', 'Salamanca']
ASK WHERE { resource:Buenos_Aires property:sister_city resource:Desnățui . resource:Buenos_Aires property:sister_city resource:Salamanca }
[]