Simple Question (Direct)
Simple Question
Q2437305
P27
Q15617994
USER
Which administrative territory is Tiziano Giacobbi a civilian of ?
(Q2437305,P27,c(Q15617994))
action filter_type
action find
entity Q2437305
relation P27
type Q15617994
['Q2437305', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q2437305 property:P27 ?f . ?f rdf:type ontology:Q15617994 }
Tiziano Giacobbi
action filter_type
action find
entity Tiziano Giacobbi
relation country of citizenship
type designation for an administrative territorial entity
['Tiziano Giacobbi', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Tiziano_Giacobbi property:country_of_citizenship ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q238
SYSTEM
San Marino
Q238
(Q2437305,P27,c(Q15617994))
action filter_type
action find
entity Q2437305
relation P27
type Q15617994
[ANSWER] is Tiziano Giacobbi a civilian of
['Q2437305', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q2437305 property:P27 ?f . ?f rdf:type ontology:Q15617994 }
San Marino
San Marino is Tiziano Giacobbi a civilian of
San Marino
action filter_type
action find
entity Tiziano Giacobbi
relation country of citizenship
type designation for an administrative territorial entity
['Tiziano Giacobbi', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Tiziano_Giacobbi property:country_of_citizenship ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2437305
P19
Q15617994
USER
Which administrative territory is the birthplace of that person ?
(Q238,P19,c(Q15617994))
action filter_type
action find
entity Q2437305
relation P19
type Q15617994
['Q238', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q15617994 . resource:Q2437305 property:P19 ?f }
Tiziano Giacobbi
action filter_type
action find
entity Tiziano Giacobbi
relation place of birth
type designation for an administrative territorial entity
['San Marino', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Tiziano_Giacobbi property:place_of_birth ?f }
[]
designation for an administrative territorial entity
Q238
SYSTEM
San Marino
Q238
(Q238,P19,c(Q15617994))
action filter_type
action find
entity Q2437305
relation P19
type Q15617994
[ANSWER] is the birthplace of that person
['Q238', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:Q15617994 . resource:Q2437305 property:P19 ?f }
San Marino
San Marino is the birthplace of that person
San Marino
action filter_type
action find
entity Tiziano Giacobbi
relation place of birth
type designation for an administrative territorial entity
['San Marino', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { ?f rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Tiziano_Giacobbi property:place_of_birth ?f }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P608
Q667276 Q1656682 Q502895
USER
How many people were exhibited at around 1 art exhibitions and events ?
(c(Q502895),P608,c(Q667276)|c(Q1656682))
action count
action approx
action union
action find_tuple_counts
relation P608
type Q502895
type Q667276
action find_tuple_counts
relation P608
type Q502895
type Q1656682
value 1
[{'concept': 'Q502895'}, 'P608', [{'concept': 'Q667276'}, {'concept': 'Q1656682'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?p ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?r ) WHERE { VALUES ( ?a ) { ( ontology:Q667276 ) ( ontology:Q1656682 ) } . ?j rdf:type ?a } GROUP BY ?e } . FILTER ( ?r = 1 ) }
action count
action approx
action union
action find_tuple_counts
relation exhibition history
type common name
type art exhibition
action find_tuple_counts
relation exhibition history
type common name
type event
value 1
[{'concept': 'common name'}, 'exhibition history', [{'concept': 'art exhibition'}, {'concept': 'event'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?p ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?r ) WHERE { VALUES ( ?a ) { ( ontology:art_exhibition ) ( ontology:event ) } . ?j rdf:type ?a } GROUP BY ?e } . FILTER ( ?r = 1 ) }
[]
art exhibition event common name
SYSTEM
6
Q17455385 Q16004451 Q16062545 Q16005428 Q22815085 Q9015308
(c(Q502895),P608,c(Q667276)|c(Q1656682))
action count
action approx
action union
action find_tuple_counts
relation P608
type Q502895
type Q667276
action find_tuple_counts
relation P608
type Q502895
type Q1656682
value 1
[ANSWER]
[{'concept': 'Q502895'}, 'P608', [{'concept': 'Q667276'}, {'concept': 'Q1656682'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?p ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?r ) WHERE { VALUES ( ?a ) { ( ontology:Q667276 ) ( ontology:Q1656682 ) } . ?j rdf:type ?a } GROUP BY ?e } . FILTER ( ?r = 1 ) }
Jerry Cooke Jennifer Bolande Alice Havers Andrea Bowers Georges Violet Juan Carlos Alom
6
action count
action approx
action union
action find_tuple_counts
relation exhibition history
type common name
type art exhibition
action find_tuple_counts
relation exhibition history
type common name
type event
value 1
[{'concept': 'common name'}, 'exhibition history', [{'concept': 'art exhibition'}, {'concept': 'event'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?p ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?r ) WHERE { VALUES ( ?a ) { ( ontology:art_exhibition ) ( ontology:event ) } . ?j rdf:type ?a } GROUP BY ?e } . FILTER ( ?r = 1 ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q238
P159
Q7210356 Q43229
USER
How many political organizations or organizations have their HQ location at San Marino ?
(c(Q7210356),P159,Q238) (c(Q43229),P159,Q238)
action count
action union
action filter_type
action find_reverse
entity Q238
relation P159
type Q7210356
action filter_type
action find_reverse
entity Q238
relation P159
type Q43229
[{'concept': 'Q7210356'}, 'P159', 'Q238'] [{'concept': 'Q43229'}, 'P159', 'Q238']
SELECT DISTINCT ( COUNT ( ?g ) AS ?s ) WHERE { { ?g rdf:type ontology:Q7210356 . ?g property:P159 resource:Q238 } UNION { ?g rdf:type ontology:Q43229 . ?g property:P159 resource:Q238 } }
San Marino
action count
action union
action filter_type
action find_reverse
entity San Marino
relation headquarters location
type political organization
action filter_type
action find_reverse
entity San Marino
relation headquarters location
type organization
[{'concept': 'political organization'}, 'headquarters location', 'San Marino'] [{'concept': 'organization'}, 'headquarters location', 'San Marino']
SELECT DISTINCT ( COUNT ( ?g ) AS ?s ) WHERE { { ?g rdf:type ontology:political_organization . ?g property:headquarters_location resource:San_Marino } UNION { ?g rdf:type ontology:organization . ?g property:headquarters_location resource:San_Marino } }
[]
political organization organization
SYSTEM
2
Q2707282 Q3661910
(c(Q7210356),P159,Q238) (c(Q43229),P159,Q238)
action count
action union
action filter_type
action find_reverse
entity Q238
relation P159
type Q7210356
action filter_type
action find_reverse
entity Q238
relation P159
type Q43229
[ANSWER]
[{'concept': 'Q7210356'}, 'P159', 'Q238'] [{'concept': 'Q43229'}, 'P159', 'Q238']
SELECT DISTINCT ( COUNT ( ?g ) AS ?s ) WHERE { { ?g rdf:type ontology:Q7210356 . ?g property:P159 resource:Q238 } UNION { ?g rdf:type ontology:Q43229 . ?g property:P159 resource:Q238 } }
Sammarinese Socialist Party Cassa di Risparmio della Repubblica di San Marino
2
action count
action union
action filter_type
action find_reverse
entity San Marino
relation headquarters location
type political organization
action filter_type
action find_reverse
entity San Marino
relation headquarters location
type organization
[{'concept': 'political organization'}, 'headquarters location', 'San Marino'] [{'concept': 'organization'}, 'headquarters location', 'San Marino']
SELECT DISTINCT ( COUNT ( ?g ) AS ?s ) WHERE { { ?g rdf:type ontology:political_organization . ?g property:headquarters_location resource:San_Marino } UNION { ?g rdf:type ontology:organization . ?g property:headquarters_location resource:San_Marino } }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1376
Q15617994 Q515 Q56061
USER
Which administrative territories have exactly 1 cities and administrative territories as their county seat ?
(c(Q515)|c(Q56061),P1376,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
value 1
[[{'concept': 'Q515'}, {'concept': 'Q56061'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { FILTER ( ?h = 1 ) . { SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) ?b WHERE { { ?x property:P1376 ?b . ?b rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q515 } UNION { ?x property:P1376 ?b . ?b rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q56061 } } GROUP BY ?b } }
action equal
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
value 1
[[{'concept': 'city'}, {'concept': 'administrative territorial entity'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { FILTER ( ?h = 1 ) . { SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) ?b WHERE { { ?x property:capital_of ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:city } UNION { ?x property:capital_of ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:administrative_territorial_entity } } GROUP BY ?b } }
[]
designation for an administrative territorial entity city administrative territorial entity
Q230 Q159 Q55
SYSTEM
Georgia, Russia, Netherlands
Q804 Q801 Q800 Q1098820 Q419 Q414 Q55 Q783 Q784 Q786 Q568833 Q1452650 Q2998020 Q399 Q398 Q1465069 Q1324549 Q1979 Q159 Q1664120 Q12526 Q1974 Q611074 Q2007299 Q1254171 Q220249 Q979470 Q1270648 Q1899307 Q30675 Q983 Q730 Q734 Q736 Q1280 Q1282 Q1338277 Q384731 Q1816477 Q1273 Q1279 Q1025 Q1049 Q1027 Q189 Q843 Q2007 Q184 Q1029 Q1028 Q1390630 Q1452 Q815731 Q31074 Q31075 Q96 Q1050 Q311803 Q298 Q29937 Q115 Q114 Q117 Q30786 Q1270638 Q1788988 Q1544445 Q466061 Q1515346 Q683 Q1483510 Q3924533 Q12559 Q1270636 Q34020 Q760 Q14762300 Q696651 Q3528124 Q2719360 Q948 Q1243 Q945 Q639100 Q855327 Q328134 Q1237 Q701 Q702 Q968630 Q705 Q707 Q4450475 Q668 Q1093 Q1090684 Q1263830 Q833 Q3509886 Q836 Q837 Q2305610 Q565812 Q1460 Q2068764 Q1462 Q403 Q691890 Q45 Q43 Q792 Q790 Q796 Q794 Q1232680 Q889 Q884 Q881 Q231168 Q241 Q1965 Q242 Q1437719 Q1244497 Q29965 Q33 Q32 Q31 Q37 Q36 Q34 Q3361 Q39 Q302479 Q541095 Q2567535 Q3068 Q3389 Q30644 Q236 Q230 Q232 Q233 Q1777256 Q238 Q12549 Q129003 Q1101 Q1206596 Q3139 Q902 Q1036 Q1037 Q1032 Q1030 Q1024985 Q1039 Q694 Q695 Q754 Q752 Q750 Q2562901 Q31068 Q31067 Q31065 Q1773268 Q30835 Q30831 Q574 Q1558632 Q191 Q79 Q77 Q878 Q46130 Q3044651 Q3044714 Q3044715 Q30682 Q30683 Q1951 Q2091235 Q2006764 Q1952 Q669802 Q753795 Q1256 Q1250 Q452565 Q3305157 Q684030 Q2567507 Q3044623 Q651394 Q30946 Q3044781 Q712 Q711 Q710 Q717 Q3044777 Q12770 Q657 Q1789890 Q12538 Q954 Q1393469 Q953 Q2001966 Q1886098 Q958 Q986 Q219 Q957825 Q826 Q822 Q689837 Q1142326 Q153136 Q2621010 Q1974486 Q153091 Q693658 Q1508927 Q1948 Q654849 Q2038939 Q311794 Q12661 Q20 Q27 Q28 Q1366860 Q148 Q227 Q225 Q30650 Q223 Q222 Q221 Q47261 Q311668 Q229 Q228 Q1410315 Q1989 Q60011 Q967 Q963 Q2921370 Q2921378 Q2310748 Q252157 Q1210 Q1216 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q1786286 Q1009 Q1008 Q2380910 Q1438 Q686 Q30832 Q891165 Q817 Q810 Q811 Q813 Q18046648 Q819 Q29 Q617646 Q72670 Q12545 Q2309262 Q863 Q2023 Q869 Q568751 Q334714 Q15116736 Q2150573 Q142 Q685048 Q29943 Q145 Q262 Q2009 Q12820 Q265 Q3342 Q842 Q378004 Q1150452 Q691368 Q1263 Q475035 Q2003 Q3240 Q2662372 Q686924 Q30669 Q30662 Q4628 Q455705 Q770 Q1856181 Q1077283 Q921 Q4712 Q928 Q929 Q858 Q423 Q424 Q851 Q29999 Q854 Q2226837 Q165763 Q1447 Q2360428 Q30656 Q12717 Q1045 Q1044 Q1042 Q1041 Q31070 Q3336 Q30797 Q1904 Q347 Q3462133 Q30815 Q153402 Q3207 Q894973 Q894972 Q894971 Q894970 Q1053888 Q3044677 Q212 Q213 Q211 Q217 Q214 Q215 Q218 Q244 Q1090691 Q977 Q2218506 Q692290 Q974 Q971 Q970 Q4464271 Q2502354 Q30630 Q775 Q774 Q776 Q1019 Q773 Q772 Q1014 Q1016 Q1011 Q1013 Q678 Q8575586 Q1579364 Q31079 Q2629692 Q549746 Q695660
(c(Q515)|c(Q56061),P1376,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q56061
value 1
[ANSWERS] have exactly 1 cities and administrative territories as their county seat
[[{'concept': 'Q515'}, {'concept': 'Q56061'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?b WHERE { FILTER ( ?h = 1 ) . { SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) ?b WHERE { { ?x property:P1376 ?b . ?b rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q515 } UNION { ?x property:P1376 ?b . ?b rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q56061 } } GROUP BY ?b } }
Panama Israel Costa Rica Gênes Peru Argentina Netherlands Honduras Dominica Dominican Republic Meuse-Inférieure Ombrone Corse Armenia Bahrain Frise Uthukela District Municipality Prince Edward Island Russia Alfred Nzo District Municipality Gironde British Columbia Mopani District Municipality OR Tambo District Municipality Dr Ruth Segomotsi Mompati District Municipality Eden District Municipality Seine-et-Oise Sieg Overberg District Municipality Minya Governorate Equatorial Guinea Suriname Guyana Ecuador Umbria Lazio Sambre-et-Meuse John Taolo Gaetsewe District Municipality Lejweleputswa District Municipality Tuscany Marche Mauritania Sudan Mauritius Iceland Pakistan Northwest Territories Belarus Mozambique Morocco Ourthe Basilicata Principality of Bulgaria Al Sharqia Governorate Qalyubia Governorate Mexico Swaziland Umgungundlovu District Municipality Chile Aswan Governorate Ethiopia Kenya Ghana Monufia Governorate Rhine Trasimène Sekhukhune District Municipality Petén Department Gert Sibande District Municipality Samoa Principality of Wales Province of Brescia Isère Ruhr Niue Saint Lucia single-tier municipality Saxe-Eisenach Tibre Duchy of Luxembourg Tunisia Veneto Togo Principality of Reuss-Gera Kouilou Department 6th of October Governorate Trentino-South Tyrol North Holland Federated States of Micronesia Taro Zeeland Flevoland Talitsky District India Limburg Montserrat Frances Baard District Municipality Malaysia Sègre-Ter Myanmar Nepal Vhembe District Municipality Principality of Calenberg Sicily Archa Darugha Sardinia Serbia Corcyre Portugal Turkey El Salvador Haiti Iraq Iran Ithaque Afghanistan South Korea Vietnam Zuyderzée Cuba New Brunswick Belize Thabo Mofutsanyana District Municipality Ehlanzeni District Municipality Asyut Governorate Finland Luxembourg Belgium Lithuania Poland Sweden Doubs Switzerland Ems-Occidental Rhin-et-Moselle Pô Loire-Atlantique Finistère Damietta Governorate Montenegro Georgia Kazakhstan Malta Dzerzhinsky District, Kaluga Oblast San Marino Ille-et-Vilaine French Southern and Antarctic Lands North Brabant Deux-Nèthes Alpes-Maritimes Bangladesh Uganda Rwanda Niger Namibia Cacadu District Municipality Sao Tomé and Príncipe South Holland Palau Trinidad and Tobago Groningen Bolivia West Coast District Municipality Dakahlia Governorate Ismailia Governorate Qena Governorate ZF Mgcawu District Municipality Gharbia Governorate Red Sea Governorate East Timor Rome Estonia Egypt Uruguay United Arab Emirates Rhône Louverture Ouest Ozama Matrouh Governorate Beni Suef Governorate Alberta Ugu District Municipality Xhariep District Municipality Nova Scotia Quiché Department Briceni District Liguria Friuli–Venezia Giulia Amajuba District Municipality Mella Principality of Serbia Arno Cibao Ramensky District Kafr el-Sheikh Governorate Sud Fiji Mongolia Kiribati Venezuela Nord Somme Chad West Rand District Municipality Haute-Garonne Zimbabwe Jemmapes Zambia Company rule in India Pixley ka Seme District Municipality South Sudan Eritrea Bulgaria Yssel-Supérieur Maldives Lebanon Spanish Sahara Seine Habsburg Empire Principality of Vitebsk Cape Winelands District Municipality Duchy of Prussia Izabal Department Méditerranée Manitoba Joe Gqabi District Municipality Sedibeng District Municipality iLembe District Municipality Nord Norway Ireland Hungary Escaut People's Republic of China Azerbaijan Bosnia and Herzegovina New Valley Governorate Greenland Albania Republic of Macedonia Duchy of Bavaria UThungulu District Municipality Cyprus Andorra Fezile Dabi District Municipality Saskatchewan Kars Oblast Burundi Botswana Bouches-de-l'Èbre-Montserrat Bouches-de-l'Èbre Liamone Sarre Lombardy Piedmont Mali Bhutan Angola Guinea-Bissau Guinea Gambia Kuban Oblast Cameroon Côte d'Ivoire Duchy of Zaslawye Campania Vanuatu Giza Governorate Bojanala Platinum District Municipality Kuwait Jordan Nicaragua Kyrgyzstan department Stad en Landen of Groningen Laos Spain Namakwa District Municipality Batumi Oblast Hérault Zululand District Municipality Tajikistan Nunavut Thailand Mont-Tonnerre Duchy of Athens Jaén District Unterelsaß France Simplon Alexandria Governorate United Kingdom Algeria Yukon Yvelines Uzbekistan Côte-d'Or Oman Forêts Dr Kenneth Kaunda District Municipality Léman Emilia-Romagna Helwan Governorate Newfoundland and Labrador Bouches-du-Rhône Principality of Minsk Mer-Égée Sohag Governorate North Sinai Governorate Faroe Islands Amathole District Municipality Friesland Nkangala District Municipality Chris Hani District Municipality Brunei Duchy of Burgundy Philippines Central African Republic Syria North Korea Cambodia Saudi Arabia Kingdom of the Netherlands Sri Lanka Umzinyathi District Municipality Waldeck Apulia Tijuana Municipality Faiyum Governorate Bas-Rhin Somalia Sierra Leone Seychelles Senegal Suez Governorate Corse-du-Sud Luxor Governorate Ontario Liechtenstein Saxe-Coburg and Gotha South Sinai Governorate Roer Aude Bouches-du-Rhin Bouches-de-l'Yssel Bouches-de-l'Escaut Bouches-de-la-Meuse Central Karoo District Municipality Samaná Ukraine Czech Republic Latvia Republic of Moldova Slovakia Slovenia Romania Barbados Ter Djibouti Kineshemsky District Capricorn District Municipality Democratic Republic of the Congo Republic of the Congo Comoros Principality of Trubetsk Principality of Goroden Beheira Governorate Gelderland Guatemala Utrecht Madagascar Overijssel Drenthe Liberia Libya Cape Verde Lesotho Tonga Umayyad Caliphate Lys Port Said Governorate Simferopol municipality Sisonke District Municipality Guatemala Department
Georgia, Russia and Netherlands have exactly 1 cities and administrative territories as their county seat
Georgia Russia Netherlands
action equal
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type administrative territorial entity
value 1
[[{'concept': 'city'}, {'concept': 'administrative territorial entity'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?b WHERE { FILTER ( ?h = 1 ) . { SELECT DISTINCT ( COUNT ( ?x ) AS ?h ) ?b WHERE { { ?x property:capital_of ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:city } UNION { ?x property:capital_of ?b . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:administrative_territorial_entity } } GROUP BY ?b } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q184
P530
Q15617994
USER
Do Belarus have tactful political relations with those ones ?
(Q184,P530,Q230) (Q184,P530,Q159) (Q184,P530,Q55)
action is_in
entity prev_answer
action find
entity Q184
relation P530
['Q184', 'P530', 'Q230'] ['Q184', 'P530', 'Q159'] ['Q184', 'P530', 'Q55']
ASK WHERE { VALUES ( ?l ) { ( resource:Q804 ) ( resource:Q801 ) ( resource:Q800 ) } . resource:Q184 property:P530 ?l }
Belarus
action is_in
entity prev_answer
action find
entity Belarus
relation diplomatic relation
['Belarus', 'diplomatic relation', 'Georgia'] ['Belarus', 'diplomatic relation', 'Russia'] ['Belarus', 'diplomatic relation', 'Netherlands']
ASK WHERE { VALUES ( ?l ) { ( resource:Panama ) ( resource:Israel ) ( resource:Costa_Rica ) } . resource:Belarus property:diplomatic_relation ?l }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q184,P530,Q230) (Q184,P530,Q159) (Q184,P530,Q55)
action is_in
entity prev_answer
action find
entity Q184
relation P530
[ANSWER]
['Q184', 'P530', 'Q230'] ['Q184', 'P530', 'Q159'] ['Q184', 'P530', 'Q55']
ASK WHERE { VALUES ( ?l ) { ( resource:Q804 ) ( resource:Q801 ) ( resource:Q800 ) } . resource:Q184 property:P530 ?l }
Yes
action is_in
entity prev_answer
action find
entity Belarus
relation diplomatic relation
['Belarus', 'diplomatic relation', 'Georgia'] ['Belarus', 'diplomatic relation', 'Russia'] ['Belarus', 'diplomatic relation', 'Netherlands']
ASK WHERE { VALUES ( ?l ) { ( resource:Panama ) ( resource:Israel ) ( resource:Costa_Rica ) } . resource:Belarus property:diplomatic_relation ?l }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q159 Q4539181 Q809130
P530
Q1048835
USER
Does Russia have diplomatic associations with Yasenytsya and Barrô ?
(Q159,P530,Q4539181) (Q159,P530,Q809130)
action is_in
entity Q159
action intersection
action find_reverse
entity Q4539181
relation P530
action find_reverse
entity Q809130
relation P530
['Q159', 'P530', 'Q4539181'] ['Q159', 'P530', 'Q809130']
ASK WHERE { resource:Q159 property:P530 resource:Q4539181 . resource:Q159 property:P530 resource:Q809130 }
Russia Yasenytsya Barrô
action is_in
entity Russia
action intersection
action find_reverse
entity Yasenytsya
relation diplomatic relation
action find_reverse
entity Barrô
relation diplomatic relation
['Russia', 'diplomatic relation', 'Yasenytsya'] ['Russia', 'diplomatic relation', 'Barrô']
ASK WHERE { resource:Russia property:diplomatic_relation resource:Yasenytsya . resource:Russia property:diplomatic_relation resource:Barrô }
[]
political territorial entity
SYSTEM
NO
(Q159,P530,Q4539181) (Q159,P530,Q809130)
action is_in
entity Q159
action intersection
action find_reverse
entity Q4539181
relation P530
action find_reverse
entity Q809130
relation P530
[ANSWER]
['Q159', 'P530', 'Q4539181'] ['Q159', 'P530', 'Q809130']
ASK WHERE { resource:Q159 property:P530 resource:Q4539181 . resource:Q159 property:P530 resource:Q809130 }
No
action is_in
entity Russia
action intersection
action find_reverse
entity Yasenytsya
relation diplomatic relation
action find_reverse
entity Barrô
relation diplomatic relation
['Russia', 'diplomatic relation', 'Yasenytsya'] ['Russia', 'diplomatic relation', 'Barrô']
ASK WHERE { resource:Russia property:diplomatic_relation resource:Yasenytsya . resource:Russia property:diplomatic_relation resource:Barrô }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q6355998 Q4539181
P17
Q15617994
USER
Which administrative territories are Yasenytsya or Kamard Industrial Complex situated in ?
OR((Q4539181,P17,c(Q15617994)), (Q6355998,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q4539181
relation P17
action find
entity Q6355998
relation P17
type Q15617994
{'OR': [['Q4539181', 'P17', {'concept': 'Q15617994'}], ['Q6355998', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q4539181 property:P17 ?r } UNION { resource:Q6355998 property:P17 ?r } } . ?r rdf:type ontology:Q15617994 }
Kamard Industrial Complex Yasenytsya
action filter_type
action union
action find
entity Yasenytsya
relation country
action find
entity Kamard Industrial Complex
relation country
type designation for an administrative territorial entity
{'OR': [['Yasenytsya', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Kamard Industrial Complex', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Yasenytsya property:country ?r } UNION { resource:Kamard_Industrial_Complex property:country ?r } } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q212 Q794
SYSTEM
Ukraine, Iran
Q212 Q794
OR((Q4539181,P17,c(Q15617994)), (Q6355998,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q4539181
relation P17
action find
entity Q6355998
relation P17
type Q15617994
Yasenytsya or Kamard Industrial Complex are situated in [ANSWERS]
{'OR': [['Q4539181', 'P17', {'concept': 'Q15617994'}], ['Q6355998', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Q4539181 property:P17 ?r } UNION { resource:Q6355998 property:P17 ?r } } . ?r rdf:type ontology:Q15617994 }
Ukraine Iran
Yasenytsya or Kamard Industrial Complex are situated in Ukraine and Iran
Ukraine Iran
action filter_type
action union
action find
entity Yasenytsya
relation country
action find
entity Kamard Industrial Complex
relation country
type designation for an administrative territorial entity
{'OR': [['Yasenytsya', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Kamard Industrial Complex', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?r WHERE { { { resource:Yasenytsya property:country ?r } UNION { resource:Kamard_Industrial_Complex property:country ?r } } . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P706
Q271669 Q1048835 Q15617994
USER
Which administrative territories are located in min number of landforms and political territories ?
(c(Q15617994),P706,c(Q271669)|c(Q1048835))
action argmin
action union
action find_tuple_counts
relation P706
type Q15617994
type Q271669
action find_tuple_counts
relation P706
type Q15617994
type Q1048835
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q271669'}, {'concept': 'Q1048835'}]]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) ?c WHERE { VALUES ( ?t ) { ( ontology:Q271669 ) ( ontology:Q1048835 ) } . ?z rdf:type ?t } GROUP BY ?c } . FILTER ( ?j = ?w ) . { SELECT DISTINCT ( MIN ( ?v ) AS ?w ) { SELECT DISTINCT ( COUNT ( ?o ) AS ?v ) ?b WHERE { ?o rdf:type ?n . VALUES ( ?n ) { ( ontology:Q1048835 ) ( ontology:Q271669 ) } } GROUP BY ?b } } }
action argmin
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type landform
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'landform'}, {'concept': 'political territorial entity'}]]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) ?c WHERE { VALUES ( ?t ) { ( ontology:landform ) ( ontology:political_territorial_entity ) } . ?z rdf:type ?t } GROUP BY ?c } . FILTER ( ?j = ?w ) . { SELECT DISTINCT ( MIN ( ?v ) AS ?w ) { SELECT DISTINCT ( COUNT ( ?o ) AS ?v ) ?b WHERE { ?o rdf:type ?n . VALUES ( ?n ) { ( ontology:political_territorial_entity ) ( ontology:landform ) } } GROUP BY ?b } } }
[]
landform political territorial entity designation for an administrative territorial entity
Q148 Q33 Q786
SYSTEM
People's Republic of China, Finland, Dominican Republic
Q695445 Q489215 Q525879 Q24846 Q267993 Q637400 Q632868 Q148 Q784 Q786 Q25129 Q7042 Q312335 Q525945 Q252320 Q3003231 Q505665 Q1462 Q15744129 Q521132 Q790 Q508054 Q1721440 Q555609 Q267005 Q1619957 Q204529 Q244 Q501683 Q582690 Q216422 Q5000224 Q33 Q633162 Q3146 Q520347 Q598754 Q252772 Q21074475 Q104192 Q81306 Q1778088 Q3942 Q333149 Q494305 Q565749 Q4770750 Q20836 Q20837 Q769680 Q502662 Q47821 Q503693 Q3038 Q3068 Q331886 Q25130 Q588957 Q25135 Q3218 Q112019 Q704288 Q25125 Q29931 Q754 Q507258 Q25082 Q558787 Q14892 Q180271 Q262684 Q628095 Q3923 Q27649869 Q3193 Q522992 Q15744111 Q23968 Q760 Q489865 Q46870 Q7561974 Q72432 Q504134 Q625747 Q2585085 Q20754 Q153969 Q481758 Q55416 Q31640 Q376823
(c(Q15617994),P706,c(Q271669)|c(Q1048835))
action argmin
action union
action find_tuple_counts
relation P706
type Q15617994
type Q271669
action find_tuple_counts
relation P706
type Q15617994
type Q1048835
[ANSWERS] are located in min number of landforms and political territories
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q271669'}, {'concept': 'Q1048835'}]]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) ?c WHERE { VALUES ( ?t ) { ( ontology:Q271669 ) ( ontology:Q1048835 ) } . ?z rdf:type ?t } GROUP BY ?c } . FILTER ( ?j = ?w ) . { SELECT DISTINCT ( MIN ( ?v ) AS ?w ) { SELECT DISTINCT ( COUNT ( ?o ) AS ?v ) ?b WHERE { ?o rdf:type ?n . VALUES ( ?n ) { ( ontology:Q1048835 ) ( ontology:Q271669 ) } } GROUP BY ?b } } }
Langen Oberhof Haundorf Juist Muhr am See Hohenwarte Sasbach People's Republic of China Dominica Dominican Republic Langeoog Amberg Spalt Pfofeld Pleinfeld Croisset Bergen Sardinia Oberscheuren Hilpoltstein Haiti Neu Wulmstorf Kaimig Magdala Moneglia Hippelsbach Zingst Barbados Rosengarten Neuenhagen bei Berlin Samsø Burnt River, Ontario Finland Drestedt Pellworm Röttenbach, Roth Undeloh Eichstätt Nenndorf Kleinmachnow Forbach Kochenbach Aschaffenburg Abstatt Kelheim Erden Ansons Bay Hallig Hooge Fanø Bornholm Bad Salzungen Malcesine Riedenburg Helgoland Loire-Atlantique Absberg Spiekeroog Allersberg Wangerooge Insel Hiddensee Sirmione Duchy of Holstein Baltrum Langeneß Trinidad and Tobago Kipfenberg Borkum Südeichsfeld Buchholz in der Nordheide Vetralla Füssen Nürburg Bayreuth Teglkås Ostseebad Insel Poel Braunlage Niederscheuren Norderney Saint Lucia Isola delle Femmine Bardolino Sonning Eye Procida Kirchlinteln Rangsdorf Wintersberg Gröde Lindau Pantelleria Chioggia Unterschwaningen Wenzendorf
People's Republic of China, Finland and Dominican Republic are located in min number of landforms and political territories
People's Republic of China Finland Dominican Republic
action argmin
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type landform
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'landform'}, {'concept': 'political territorial entity'}]]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?j ) ?c WHERE { VALUES ( ?t ) { ( ontology:landform ) ( ontology:political_territorial_entity ) } . ?z rdf:type ?t } GROUP BY ?c } . FILTER ( ?j = ?w ) . { SELECT DISTINCT ( MIN ( ?v ) AS ?w ) { SELECT DISTINCT ( COUNT ( ?o ) AS ?v ) ?b WHERE { ?o rdf:type ?n . VALUES ( ?n ) { ( ontology:political_territorial_entity ) ( ontology:landform ) } } GROUP BY ?b } } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q408
P530
Q1048835
USER
Are Australia known to have diplomatic connections with those administrative territories ?
(Q408,P530,Q148) (Q408,P530,Q33) (Q408,P530,Q786)
action is_in
entity prev_answer
action find
entity Q408
relation P530
['Q408', 'P530', 'Q148'] ['Q408', 'P530', 'Q33'] ['Q408', 'P530', 'Q786']
ASK WHERE { resource:Q408 property:P530 ?j . VALUES ( ?j ) { ( resource:Q695445 ) ( resource:Q489215 ) ( resource:Q525879 ) } }
Australia
action is_in
entity prev_answer
action find
entity Australia
relation diplomatic relation
['Australia', 'diplomatic relation', "People's Republic of China"] ['Australia', 'diplomatic relation', 'Finland'] ['Australia', 'diplomatic relation', 'Dominican Republic']
ASK WHERE { resource:Australia property:diplomatic_relation ?j . VALUES ( ?j ) { ( resource:Langen ) ( resource:Oberhof ) ( resource:Haundorf ) } }
[]
political territorial entity
SYSTEM
YES
(Q408,P530,Q148) (Q408,P530,Q33) (Q408,P530,Q786)
action is_in
entity prev_answer
action find
entity Q408
relation P530
[ANSWER]
['Q408', 'P530', 'Q148'] ['Q408', 'P530', 'Q33'] ['Q408', 'P530', 'Q786']
ASK WHERE { resource:Q408 property:P530 ?j . VALUES ( ?j ) { ( resource:Q695445 ) ( resource:Q489215 ) ( resource:Q525879 ) } }
Yes
action is_in
entity prev_answer
action find
entity Australia
relation diplomatic relation
['Australia', 'diplomatic relation', "People's Republic of China"] ['Australia', 'diplomatic relation', 'Finland'] ['Australia', 'diplomatic relation', 'Dominican Republic']
ASK WHERE { resource:Australia property:diplomatic_relation ?j . VALUES ( ?j ) { ( resource:Langen ) ( resource:Oberhof ) ( resource:Haundorf ) } }
[]