Simple Question (Direct)
Simple Question
Q10536793
P108
Q3918
USER
Which university employs Victor Flynn ?
(Q10536793,P108,c(Q3918))
action filter_type
action find
entity Q10536793
relation P108
type Q3918
['Q10536793', 'P108', {'concept': 'Q3918'}]
SELECT DISTINCT ?d WHERE { resource:Q10536793 property:P108 ?d . ?d rdf:type ontology:Q3918 }
Victor Flynn
action filter_type
action find
entity Victor Flynn
relation employer
type university
['Victor Flynn', 'employer', {'concept': 'university'}]
SELECT DISTINCT ?d WHERE { resource:Victor_Flynn property:employer ?d . ?d rdf:type ontology:university }
[]
university
Q230492
SYSTEM
University of Michigan
Q230492
(Q10536793,P108,c(Q3918))
action filter_type
action find
entity Q10536793
relation P108
type Q3918
[ANSWER] employs Victor Flynn
['Q10536793', 'P108', {'concept': 'Q3918'}]
SELECT DISTINCT ?d WHERE { resource:Q10536793 property:P108 ?d . ?d rdf:type ontology:Q3918 }
University of Michigan
University of Michigan employs Victor Flynn
University of Michigan
action filter_type
action find
entity Victor Flynn
relation employer
type university
['Victor Flynn', 'employer', {'concept': 'university'}]
SELECT DISTINCT ?d WHERE { resource:Victor_Flynn property:employer ?d . ?d rdf:type ontology:university }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q10536793
P184
Q502895
USER
Which person was the doctoral supervisor of that one ?
(Q230492,P184,c(Q502895))
action filter_type
action find
entity Q10536793
relation P184
type Q502895
['Q230492', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?m WHERE { resource:Q10536793 property:P184 ?m . ?m rdf:type ontology:Q502895 }
Victor Flynn
action filter_type
action find
entity Victor Flynn
relation doctoral advisor
type common name
['University of Michigan', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?m WHERE { resource:Victor_Flynn property:doctoral_advisor ?m . ?m rdf:type ontology:common_name }
[]
common name
Q372466
SYSTEM
J. W. S. Cassels
Q372466
(Q230492,P184,c(Q502895))
action filter_type
action find
entity Q10536793
relation P184
type Q502895
[ANSWER] was the doctoral supervisor of that one
['Q230492', 'P184', {'concept': 'Q502895'}]
SELECT DISTINCT ?m WHERE { resource:Q10536793 property:P184 ?m . ?m rdf:type ontology:Q502895 }
J. W. S. Cassels
J. W. S. Cassels was the doctoral supervisor of that one
J. W. S. Cassels
action filter_type
action find
entity Victor Flynn
relation doctoral advisor
type common name
['University of Michigan', 'doctoral advisor', {'concept': 'common name'}]
SELECT DISTINCT ?m WHERE { resource:Victor_Flynn property:doctoral_advisor ?m . ?m rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q372466 Q950911
P184
Q502895
USER
Does Bryan John Birch have that one as doctoral supervisor ?
(Q950911,P184,Q372466)
action is_in
entity Q372466
action find
entity Q950911
relation P184
['Q950911', 'P184', 'Q372466']
ASK WHERE { resource:Q950911 property:P184 resource:Q372466 }
J. W. S. Cassels Bryan John Birch
action is_in
entity J. W. S. Cassels
action find
entity Bryan John Birch
relation doctoral advisor
['Bryan John Birch', 'doctoral advisor', 'J. W. S. Cassels']
ASK WHERE { resource:Bryan_John_Birch property:doctoral_advisor resource:J._W._S._Cassels }
[]
common name
SYSTEM
YES
(Q950911,P184,Q372466)
action is_in
entity Q372466
action find
entity Q950911
relation P184
[ANSWER]
['Q950911', 'P184', 'Q372466']
ASK WHERE { resource:Q950911 property:P184 resource:Q372466 }
Yes
action is_in
entity J. W. S. Cassels
action find
entity Bryan John Birch
relation doctoral advisor
['Bryan John Birch', 'doctoral advisor', 'J. W. S. Cassels']
ASK WHERE { resource:Bryan_John_Birch property:doctoral_advisor resource:J._W._S._Cassels }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q16678090 Q372466
P27
Q15617994
USER
Which administrative territories are the native countriesof J. W. S. Cassels or Stéphane Desrousseaux ?
OR((Q372466,P27,c(Q15617994)), (Q16678090,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q372466
relation P27
action find
entity Q16678090
relation P27
type Q15617994
{'OR': [['Q372466', 'P27', {'concept': 'Q15617994'}], ['Q16678090', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?j WHERE { { ?q property:P27 ?j . VALUES ( ?q ) { ( resource:Q372466 ) ( resource:Q16678090 ) } } . ?j rdf:type ontology:Q15617994 }
Stéphane Desrousseaux J. W. S. Cassels
action filter_type
action union
action find
entity J. W. S. Cassels
relation country of citizenship
action find
entity Stéphane Desrousseaux
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['J. W. S. Cassels', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Stéphane Desrousseaux', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { ?q property:country_of_citizenship ?j . VALUES ( ?q ) { ( resource:J._W._S._Cassels ) ( resource:Stéphane_Desrousseaux ) } } . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142 Q145
SYSTEM
France, United Kingdom
Q142 Q145
OR((Q372466,P27,c(Q15617994)), (Q16678090,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q372466
relation P27
action find
entity Q16678090
relation P27
type Q15617994
[ANSWERS] are the native countriesof J. W. S. Cassels or Stéphane Desrousseaux
{'OR': [['Q372466', 'P27', {'concept': 'Q15617994'}], ['Q16678090', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?j WHERE { { ?q property:P27 ?j . VALUES ( ?q ) { ( resource:Q372466 ) ( resource:Q16678090 ) } } . ?j rdf:type ontology:Q15617994 }
France United Kingdom
France and United Kingdom are the native countriesof J. W. S. Cassels or Stéphane Desrousseaux
France United Kingdom
action filter_type
action union
action find
entity J. W. S. Cassels
relation country of citizenship
action find
entity Stéphane Desrousseaux
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['J. W. S. Cassels', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Stéphane Desrousseaux', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { ?q property:country_of_citizenship ?j . VALUES ( ?q ) { ( resource:J._W._S._Cassels ) ( resource:Stéphane_Desrousseaux ) } } . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q2037176
P495
Q838948
USER
Are those administrative territories a country of origin of Minotaur ?
(Q2037176,P495,Q142) (Q2037176,P495,Q145)
action is_in
entity prev_answer
action find
entity Q2037176
relation P495
['Q2037176', 'P495', 'Q142'] ['Q2037176', 'P495', 'Q145']
ASK WHERE { VALUES ( ?d ) { ( resource:Q142 ) ( resource:Q145 ) } . resource:Q2037176 property:P495 ?d }
Minotaur
action is_in
entity prev_answer
action find
entity Minotaur
relation country of origin
['Minotaur', 'country of origin', 'France'] ['Minotaur', 'country of origin', 'United Kingdom']
ASK WHERE { VALUES ( ?d ) { ( resource:France ) ( resource:United_Kingdom ) } . resource:Minotaur property:country_of_origin ?d }
[]
work of art
SYSTEM
YES
(Q2037176,P495,Q142) (Q2037176,P495,Q145)
action is_in
entity prev_answer
action find
entity Q2037176
relation P495
[ANSWER]
['Q2037176', 'P495', 'Q142'] ['Q2037176', 'P495', 'Q145']
ASK WHERE { VALUES ( ?d ) { ( resource:Q142 ) ( resource:Q145 ) } . resource:Q2037176 property:P495 ?d }
Yes
action is_in
entity prev_answer
action find
entity Minotaur
relation country of origin
['Minotaur', 'country of origin', 'France'] ['Minotaur', 'country of origin', 'United Kingdom']
ASK WHERE { VALUES ( ?d ) { ( resource:France ) ( resource:United_Kingdom ) } . resource:Minotaur property:country_of_origin ?d }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q145
P276
Q3305213
USER
Which painting is situated at United Kingdom ?
(c(Q3305213),P276,Q145)
action filter_type
action find_reverse
entity Q145
relation P276
type Q3305213
[{'concept': 'Q3305213'}, 'P276', 'Q145']
SELECT DISTINCT ?d WHERE { ?d property:P276 resource:Q145 . ?d rdf:type ontology:Q3305213 }
United Kingdom
action filter_type
action find_reverse
entity United Kingdom
relation location
type painting
[{'concept': 'painting'}, 'location', 'United Kingdom']
SELECT DISTINCT ?d WHERE { ?d property:location resource:United_Kingdom . ?d rdf:type ontology:painting }
[]
painting
Q23691279
SYSTEM
God Blessing the Seventh Day
Q23691279
(c(Q3305213),P276,Q145)
action filter_type
action find_reverse
entity Q145
relation P276
type Q3305213
God blessing the Seventh Day is situated at United Kingdom
[{'concept': 'Q3305213'}, 'P276', 'Q145']
SELECT DISTINCT ?d WHERE { ?d property:P276 resource:Q145 . ?d rdf:type ontology:Q3305213 }
God Blessing the Seventh Day
God blessing the Seventh Day is situated at United Kingdom
God Blessing the Seventh Day
action filter_type
action find_reverse
entity United Kingdom
relation location
type painting
[{'concept': 'painting'}, 'location', 'United Kingdom']
SELECT DISTINCT ?d WHERE { ?d property:location resource:United_Kingdom . ?d rdf:type ontology:painting }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q145
P106
Q502895
USER
Which people have the profession as that administrative territory ?
(c(Q502895),P106,Q23691279)
action filter_type
action find_reverse
entity Q145
relation P106
type Q502895
[{'concept': 'Q502895'}, 'P106', 'Q23691279']
SELECT DISTINCT ?g WHERE { ?g property:P106 resource:Q145 . ?g rdf:type ontology:Q502895 }
United Kingdom
action filter_type
action find_reverse
entity United Kingdom
relation occupation
type common name
[{'concept': 'common name'}, 'occupation', 'God Blessing the Seventh Day']
SELECT DISTINCT ?g WHERE { ?g property:occupation resource:United_Kingdom . ?g rdf:type ontology:common_name }
[]
common name
Q26449944 Q16148085
SYSTEM
William Whiteley, 3rd Baron Marchamley, Nadia Almada
Q26449944 Q16148085
(c(Q502895),P106,Q23691279)
action filter_type
action find_reverse
entity Q145
relation P106
type Q502895
[ANSWERS] have the profession as that administrative territory
[{'concept': 'Q502895'}, 'P106', 'Q23691279']
SELECT DISTINCT ?g WHERE { ?g property:P106 resource:Q145 . ?g rdf:type ontology:Q502895 }
William Whiteley, 3rd Baron Marchamley Nadia Almada
William Whiteley, 3rd Baron Marchamley and Nadia Almada have the profession as that administrative territory
William Whiteley, 3rd Baron Marchamley Nadia Almada
action filter_type
action find_reverse
entity United Kingdom
relation occupation
type common name
[{'concept': 'common name'}, 'occupation', 'God Blessing the Seventh Day']
SELECT DISTINCT ?g WHERE { ?g property:occupation resource:United_Kingdom . ?g rdf:type ontology:common_name }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q801
P1001
Q15617994 Q35798 Q17335294
USER
How many administrative territories apply to jurisdiction of lesser number of executive branches and coats of arms than Israel ?
(c(Q35798)|c(Q17335294),P1001,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q35798
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q17335294
action count
action filter_multi_types
action find_reverse
entity Q801
relation P1001
type Q35798
type Q17335294
[[{'concept': 'Q35798'}, {'concept': 'Q17335294'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?f ) ?v WHERE { ?g rdf:type ?d . VALUES ( ?d ) { ( ontology:Q35798 ) ( ontology:Q17335294 ) } } GROUP BY ?v } . FILTER ( ?f < ?b ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { ?l property:P1001 resource:Q801 . { ?l rdf:type ?t . VALUES ( ?t ) { ( ontology:Q35798 ) ( ontology:Q17335294 ) } } } } }
Israel
action count
action less
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type executive branch
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type flag or coat of arms
action count
action filter_multi_types
action find_reverse
entity Israel
relation applies to jurisdiction
type executive branch
type flag or coat of arms
[[{'concept': 'executive branch'}, {'concept': 'flag or coat of arms'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?f ) ?v WHERE { ?g rdf:type ?d . VALUES ( ?d ) { ( ontology:executive_branch ) ( ontology:flag_or_coat_of_arms ) } } GROUP BY ?v } . FILTER ( ?f < ?b ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { ?l property:applies_to_jurisdiction resource:Israel . { ?l rdf:type ?t . VALUES ( ?t ) { ( ontology:executive_branch ) ( ontology:flag_or_coat_of_arms ) } } } } }
[]
designation for an administrative territorial entity executive branch flag or coat of arms
SYSTEM
222
Q702 Q804 Q709 Q811 Q706679 Q805 Q2765 Q163012 Q414 Q142 Q22273061 Q55 Q2871 Q262 Q148 Q189 Q784 Q31 Q265 Q24764 Q2742 Q842 Q37 Q398 Q874 Q712 Q711 Q710 Q717 Q837 Q213 Q443815 Q50198 Q1028 Q187035 Q252 Q22274206 Q399 Q1462 Q403 Q657 Q258 Q6465 Q1979 Q45 Q43 Q41 Q155 Q792 Q790 Q4628 Q796 Q794 Q954 Q884 Q958 Q881 Q7688 Q739 Q3097 Q826 Q158893 Q2942 Q822 Q241 Q1965 Q817 Q11340 Q244 Q11343 Q1142326 Q1019 Q2899 Q2758 Q813 Q218 Q921 Q4712 Q36 Q928 Q155019 Q39 Q38 Q3389 Q986 Q983 Q851 Q733 Q29999 Q734 Q819 Q163966 Q3068 Q730 Q1013 Q11323 Q236 Q230 Q1948 Q232 Q238 Q119284 Q1045 Q3403547 Q1042 Q1041 Q27 Q28 Q1049 Q1025 Q1027 Q783 Q1020 Q2009 Q843 Q2007 Q184 Q1029 Q2003 Q736 Q786 Q1904 Q32 Q228 Q3462133 Q227 Q225 Q224 Q223 Q222 Q221 Q96 Q229 Q347 Q1050 Q17 Q1989 Q2838 Q902 Q1036 Q1037 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q695 Q115 Q114 Q117 Q754 Q750 Q22274534 Q11337 Q211 Q11331 Q215 Q12642 Q219 Q154547 Q683 Q242 Q1216 Q12753 Q912 Q2805 Q917 Q916 Q2107 Q1007 Q1006 Q1005 Q833 Q977 Q1951 Q1009 Q1008 Q971 Q970 Q34020 Q2380910 Q686 Q836 Q760 Q29 Q574 Q11301 Q2904 Q158095 Q1044 Q79 Q77 Q878 Q774 Q948 Q1014 Q1016 Q158083 Q1011 Q1243 Q945 Q72449 Q12549 Q22273285 Q678 Q800 Q1039 Q672 Q929 Q298 Q329609 Q863 Q2938 Q2023 Q869 Q1231 Q953 Q1237
(c(Q35798)|c(Q17335294),P1001,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q35798
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q17335294
action count
action filter_multi_types
action find_reverse
entity Q801
relation P1001
type Q35798
type Q17335294
[ANSWER]
[[{'concept': 'Q35798'}, {'concept': 'Q17335294'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?f ) ?v WHERE { ?g rdf:type ?d . VALUES ( ?d ) { ( ontology:Q35798 ) ( ontology:Q17335294 ) } } GROUP BY ?v } . FILTER ( ?f < ?b ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { ?l property:P1001 resource:Q801 . { ?l rdf:type ?t . VALUES ( ?t ) { ( ontology:Q35798 ) ( ontology:Q17335294 ) } } } } }
Federated States of Micronesia Panama Marshall Islands Nicaragua Duchy of Bar Yemen Gelsenkirchen Pankow Argentina France Duchy of Nemours Netherlands Hagen Algeria People's Republic of China Iceland Dominica Belgium Uzbekistan municipality of the Philippines Münster Oman Lithuania Bahrain Turkmenistan Fiji Mongolia Kiribati Venezuela Nepal Czech Republic Altomünster province of Thailand Morocco Principality of Albania Indonesia Duchy of Mercoeur Armenia Sardinia Serbia Chad South Africa department of France Prince Edward Island Portugal Turkey Greece Brazil El Salvador Haiti Faroe Islands Iraq Iran Zimbabwe South Korea South Sudan Vietnam raion Colombia Remscheid Maldives Friedrichshain-Kreuzberg Solingen Lebanon Cuba New Brunswick Kuwait Sprockhövel Barbados Wetter (Ruhr) Seine Madagascar Mülheim an der Ruhr Mönchengladbach Kyrgyzstan Romania Brunei Duchy of Burgundy Poland Philippines Duchy of Lorraine Switzerland Italy Finistère Eritrea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Guyana Laos Mitte Loire-Atlantique Suriname Lesotho Breckerfeld Montenegro Georgia Manitoba Kazakhstan San Marino Marzahn-Hellersdorf Somalia principality of Phalsbourg and Lixheim Seychelles Senegal Ireland Hungary Sudan Mauritania Mauritius Honduras Malawi Yukon Pakistan Northwest Territories Belarus Mozambique Newfoundland and Labrador Ecuador Dominican Republic Ontario Luxembourg Andorra Saxe-Coburg and Gotha Azerbaijan Bosnia and Herzegovina Croatia Greenland Albania Republic of Macedonia Mexico Cyprus Liechtenstein Swaziland Japan Saskatchewan Oberhausen Bangladesh Uganda Rwanda Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Palau Ethiopia Kenya Ghana Trinidad and Tobago Bolivia Duchy of Elbeuf Herdecke Latvia Gevelsberg Slovenia Morbihan Bulgaria duchy Samoa Belize Piedmont Seine-et-Marne Mali Krefeld Bhutan Angola Wuppertal Guinea-Bissau Guinea Gambia Malaysia Djibouti Alberta Cameroon Côte d'Ivoire Republic of the Congo Comoros Niue Duchy of Zaslawye Vanuatu Myanmar Saint Lucia Spain East Timor Ennepetal Herne Charlottenburg-Wilmersdorf Sierra Leone Egypt Uruguay United Arab Emirates Guatemala Tunisia Liberia Libya Spandau Cape Verde Veneto Togo Roccarainola Ille-et-Vilaine Duchy of Guise Tonga Costa Rica Sao Tomé and Príncipe Tuvalu Central African Republic Chile Lichtenberg Tajikistan Leverkusen Nunavut Thailand Kosovo Region Zambia Trentino-South Tyrol
222
action count
action less
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type executive branch
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type flag or coat of arms
action count
action filter_multi_types
action find_reverse
entity Israel
relation applies to jurisdiction
type executive branch
type flag or coat of arms
[[{'concept': 'executive branch'}, {'concept': 'flag or coat of arms'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?f ) ?v WHERE { ?g rdf:type ?d . VALUES ( ?d ) { ( ontology:executive_branch ) ( ontology:flag_or_coat_of_arms ) } } GROUP BY ?v } . FILTER ( ?f < ?b ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { ?l property:applies_to_jurisdiction resource:Israel . { ?l rdf:type ?t . VALUES ( ?t ) { ( ontology:executive_branch ) ( ontology:flag_or_coat_of_arms ) } } } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q924
P1001
Q15617994 Q35798 Q17335294
USER
And also tell me about Tanzania?
(c(Q35798)|c(Q17335294),P1001,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q35798
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q17335294
action count
action filter_multi_types
action find_reverse
entity Q924
relation P1001
type Q35798
type Q17335294
[[{'concept': 'Q35798'}, {'concept': 'Q17335294'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?b ) ?p WHERE { { ?p rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q17335294 . ?y property:P1001 ?p } UNION { ?y property:P1001 ?p . ?p rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q35798 } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?w ) WHERE { ?i property:P1001 resource:Q924 . { { ?i rdf:type ontology:Q35798 } UNION { ?i rdf:type ontology:Q17335294 } } } } . FILTER ( ?b < ?w ) }
Tanzania
action count
action less
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type executive branch
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type flag or coat of arms
action count
action filter_multi_types
action find_reverse
entity Tanzania
relation applies to jurisdiction
type executive branch
type flag or coat of arms
[[{'concept': 'executive branch'}, {'concept': 'flag or coat of arms'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?b ) ?p WHERE { { ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:flag_or_coat_of_arms . ?y property:applies_to_jurisdiction ?p } UNION { ?y property:applies_to_jurisdiction ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:executive_branch } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?w ) WHERE { ?i property:applies_to_jurisdiction resource:Tanzania . { { ?i rdf:type ontology:executive_branch } UNION { ?i rdf:type ontology:flag_or_coat_of_arms } } } } . FILTER ( ?b < ?w ) }
[]
designation for an administrative territorial entity executive branch flag or coat of arms
SYSTEM
222
Q702 Q804 Q709 Q811 Q706679 Q805 Q2765 Q163012 Q414 Q142 Q22273061 Q55 Q2871 Q262 Q148 Q189 Q784 Q31 Q265 Q24764 Q2742 Q842 Q37 Q398 Q874 Q712 Q711 Q710 Q717 Q837 Q213 Q443815 Q50198 Q1028 Q187035 Q252 Q22274206 Q399 Q1462 Q403 Q657 Q258 Q6465 Q1979 Q45 Q43 Q41 Q155 Q792 Q790 Q4628 Q796 Q794 Q954 Q884 Q958 Q881 Q7688 Q739 Q3097 Q826 Q158893 Q2942 Q822 Q241 Q1965 Q817 Q11340 Q244 Q11343 Q1142326 Q1019 Q2899 Q2758 Q813 Q218 Q921 Q4712 Q36 Q928 Q155019 Q39 Q38 Q3389 Q986 Q983 Q851 Q733 Q29999 Q734 Q819 Q163966 Q3068 Q730 Q1013 Q11323 Q236 Q230 Q1948 Q232 Q238 Q119284 Q1045 Q3403547 Q1042 Q1041 Q27 Q28 Q1049 Q1025 Q1027 Q783 Q1020 Q2009 Q843 Q2007 Q184 Q1029 Q2003 Q736 Q786 Q1904 Q32 Q228 Q3462133 Q227 Q225 Q224 Q223 Q222 Q221 Q96 Q229 Q347 Q1050 Q17 Q1989 Q2838 Q902 Q1036 Q1037 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q695 Q115 Q114 Q117 Q754 Q750 Q22274534 Q11337 Q211 Q11331 Q215 Q12642 Q219 Q154547 Q683 Q242 Q1216 Q12753 Q912 Q2805 Q917 Q916 Q2107 Q1007 Q1006 Q1005 Q833 Q977 Q1951 Q1009 Q1008 Q971 Q970 Q34020 Q2380910 Q686 Q836 Q760 Q29 Q574 Q11301 Q2904 Q158095 Q1044 Q79 Q77 Q878 Q774 Q948 Q1014 Q1016 Q158083 Q1011 Q1243 Q945 Q72449 Q12549 Q22273285 Q678 Q800 Q1039 Q672 Q929 Q298 Q329609 Q863 Q2938 Q2023 Q869 Q1231 Q953 Q1237
(c(Q35798)|c(Q17335294),P1001,c(Q15617994))
action count
action less
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q35798
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q17335294
action count
action filter_multi_types
action find_reverse
entity Q924
relation P1001
type Q35798
type Q17335294
[ANSWER]
[[{'concept': 'Q35798'}, {'concept': 'Q17335294'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?b ) ?p WHERE { { ?p rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q17335294 . ?y property:P1001 ?p } UNION { ?y property:P1001 ?p . ?p rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q35798 } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?w ) WHERE { ?i property:P1001 resource:Q924 . { { ?i rdf:type ontology:Q35798 } UNION { ?i rdf:type ontology:Q17335294 } } } } . FILTER ( ?b < ?w ) }
Federated States of Micronesia Panama Marshall Islands Nicaragua Duchy of Bar Yemen Gelsenkirchen Pankow Argentina France Duchy of Nemours Netherlands Hagen Algeria People's Republic of China Iceland Dominica Belgium Uzbekistan municipality of the Philippines Münster Oman Lithuania Bahrain Turkmenistan Fiji Mongolia Kiribati Venezuela Nepal Czech Republic Altomünster province of Thailand Morocco Principality of Albania Indonesia Duchy of Mercoeur Armenia Sardinia Serbia Chad South Africa department of France Prince Edward Island Portugal Turkey Greece Brazil El Salvador Haiti Faroe Islands Iraq Iran Zimbabwe South Korea South Sudan Vietnam raion Colombia Remscheid Maldives Friedrichshain-Kreuzberg Solingen Lebanon Cuba New Brunswick Kuwait Sprockhövel Barbados Wetter (Ruhr) Seine Madagascar Mülheim an der Ruhr Mönchengladbach Kyrgyzstan Romania Brunei Duchy of Burgundy Poland Philippines Duchy of Lorraine Switzerland Italy Finistère Eritrea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Guyana Laos Mitte Loire-Atlantique Suriname Lesotho Breckerfeld Montenegro Georgia Manitoba Kazakhstan San Marino Marzahn-Hellersdorf Somalia principality of Phalsbourg and Lixheim Seychelles Senegal Ireland Hungary Sudan Mauritania Mauritius Honduras Malawi Yukon Pakistan Northwest Territories Belarus Mozambique Newfoundland and Labrador Ecuador Dominican Republic Ontario Luxembourg Andorra Saxe-Coburg and Gotha Azerbaijan Bosnia and Herzegovina Croatia Greenland Albania Republic of Macedonia Mexico Cyprus Liechtenstein Swaziland Japan Saskatchewan Oberhausen Bangladesh Uganda Rwanda Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Palau Ethiopia Kenya Ghana Trinidad and Tobago Bolivia Duchy of Elbeuf Herdecke Latvia Gevelsberg Slovenia Morbihan Bulgaria duchy Samoa Belize Piedmont Seine-et-Marne Mali Krefeld Bhutan Angola Wuppertal Guinea-Bissau Guinea Gambia Malaysia Djibouti Alberta Cameroon Côte d'Ivoire Republic of the Congo Comoros Niue Duchy of Zaslawye Vanuatu Myanmar Saint Lucia Spain East Timor Ennepetal Herne Charlottenburg-Wilmersdorf Sierra Leone Egypt Uruguay United Arab Emirates Guatemala Tunisia Liberia Libya Spandau Cape Verde Veneto Togo Roccarainola Ille-et-Vilaine Duchy of Guise Tonga Costa Rica Sao Tomé and Príncipe Tuvalu Central African Republic Chile Lichtenberg Tajikistan Leverkusen Nunavut Thailand Kosovo Region Zambia Trentino-South Tyrol
222
action count
action less
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type executive branch
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type flag or coat of arms
action count
action filter_multi_types
action find_reverse
entity Tanzania
relation applies to jurisdiction
type executive branch
type flag or coat of arms
[[{'concept': 'executive branch'}, {'concept': 'flag or coat of arms'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?j ) WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?b ) ?p WHERE { { ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:flag_or_coat_of_arms . ?y property:applies_to_jurisdiction ?p } UNION { ?y property:applies_to_jurisdiction ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:executive_branch } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?w ) WHERE { ?i property:applies_to_jurisdiction resource:Tanzania . { { ?i rdf:type ontology:executive_branch } UNION { ?i rdf:type ontology:flag_or_coat_of_arms } } } } . FILTER ( ?b < ?w ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P138
Q15619164 Q20667921 Q15617994
USER
Which administrative territories have max number of abstract beings and french administrative divisions as their namesake ?
(c(Q15617994),P138,c(Q15619164)|c(Q20667921))
action argmax
action union
action find_tuple_counts
relation P138
type Q15617994
type Q15619164
action find_tuple_counts
relation P138
type Q15617994
type Q20667921
[{'concept': 'Q15617994'}, 'P138', [{'concept': 'Q15619164'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( MAX ( ?c ) AS ?t ) { SELECT DISTINCT ?n ( COUNT ( ?v ) AS ?c ) WHERE { VALUES ( ?z ) { ( ontology:Q15619164 ) ( ontology:Q20667921 ) } . ?v rdf:type ?z } GROUP BY ?n } } . { SELECT DISTINCT ?k ( COUNT ( ?d ) AS ?l ) WHERE { VALUES ( ?p ) { ( ontology:Q15619164 ) ( ontology:Q20667921 ) } . ?d rdf:type ?p } GROUP BY ?k } . FILTER ( ?l = ?t ) }
action argmax
action union
action find_tuple_counts
relation named after
type designation for an administrative territorial entity
type abstract being
action find_tuple_counts
relation named after
type designation for an administrative territorial entity
type type of french administrative division
[{'concept': 'designation for an administrative territorial entity'}, 'named after', [{'concept': 'abstract being'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( MAX ( ?c ) AS ?t ) { SELECT DISTINCT ?n ( COUNT ( ?v ) AS ?c ) WHERE { VALUES ( ?z ) { ( ontology:abstract_being ) ( ontology:type_of_french_administrative_division ) } . ?v rdf:type ?z } GROUP BY ?n } } . { SELECT DISTINCT ?k ( COUNT ( ?d ) AS ?l ) WHERE { VALUES ( ?p ) { ( ontology:abstract_being ) ( ontology:type_of_french_administrative_division ) } . ?d rdf:type ?p } GROUP BY ?k } . FILTER ( ?l = ?t ) }
[]
abstract being type of french administrative division designation for an administrative territorial entity
Q79 Q12761 Q12792
SYSTEM
Egypt, Seine-Saint-Denis, Vaucluse
Q2998020 Q12792 Q3336 Q3334 Q27495866 Q12782 Q12761 Q79
(c(Q15617994),P138,c(Q15619164)|c(Q20667921))
action argmax
action union
action find_tuple_counts
relation P138
type Q15617994
type Q15619164
action find_tuple_counts
relation P138
type Q15617994
type Q20667921
[ANSWERS] have max number of abstract beings and french administrative divisions as their namesake
[{'concept': 'Q15617994'}, 'P138', [{'concept': 'Q15619164'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( MAX ( ?c ) AS ?t ) { SELECT DISTINCT ?n ( COUNT ( ?v ) AS ?c ) WHERE { VALUES ( ?z ) { ( ontology:Q15619164 ) ( ontology:Q20667921 ) } . ?v rdf:type ?z } GROUP BY ?n } } . { SELECT DISTINCT ?k ( COUNT ( ?d ) AS ?l ) WHERE { VALUES ( ?p ) { ( ontology:Q15619164 ) ( ontology:Q20667921 ) } . ?d rdf:type ?p } GROUP BY ?k } . FILTER ( ?l = ?t ) }
Corse Vaucluse Corse-du-Sud Haute-Corse Corse Territoire de Belfort Seine-Saint-Denis Egypt
Egypt, Seine-Saint-Denis and Vaucluse have max number of abstract beings and french administrative divisions as their namesake
Egypt Seine-Saint-Denis Vaucluse
action argmax
action union
action find_tuple_counts
relation named after
type designation for an administrative territorial entity
type abstract being
action find_tuple_counts
relation named after
type designation for an administrative territorial entity
type type of french administrative division
[{'concept': 'designation for an administrative territorial entity'}, 'named after', [{'concept': 'abstract being'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ( MAX ( ?c ) AS ?t ) { SELECT DISTINCT ?n ( COUNT ( ?v ) AS ?c ) WHERE { VALUES ( ?z ) { ( ontology:abstract_being ) ( ontology:type_of_french_administrative_division ) } . ?v rdf:type ?z } GROUP BY ?n } } . { SELECT DISTINCT ?k ( COUNT ( ?d ) AS ?l ) WHERE { VALUES ( ?p ) { ( ontology:abstract_being ) ( ontology:type_of_french_administrative_division ) } . ?d rdf:type ?p } GROUP BY ?k } . FILTER ( ?l = ?t ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q145
P463
Q56061 Q35749
USER
How many administrative territories and parliaments were United Kingdom a member of ?
(Q145,P463,c(Q56061)) (Q145,P463,c(Q35749))
action count
action union
action filter_type
action find
entity Q145
relation P463
type Q56061
action filter_type
action find
entity Q145
relation P463
type Q35749
['Q145', 'P463', {'concept': 'Q56061'}] ['Q145', 'P463', {'concept': 'Q35749'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?n ) WHERE { ?y rdf:type ?l . VALUES ( ?l ) { ( ontology:Q56061 ) ( ontology:Q35749 ) } }
United Kingdom
action count
action union
action filter_type
action find
entity United Kingdom
relation member of
type administrative territorial entity
action filter_type
action find
entity United Kingdom
relation member of
type parliament
['United Kingdom', 'member of', {'concept': 'administrative territorial entity'}] ['United Kingdom', 'member of', {'concept': 'parliament'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?n ) WHERE { ?y rdf:type ?l . VALUES ( ?l ) { ( ontology:administrative_territorial_entity ) ( ontology:parliament ) } }
[]
administrative territorial entity parliament
SYSTEM
1 administrative territories and 1 parliaments
Q37470 Q458
(Q145,P463,c(Q56061)) (Q145,P463,c(Q35749))
action count
action union
action filter_type
action find
entity Q145
relation P463
type Q56061
action filter_type
action find
entity Q145
relation P463
type Q35749
[ANSWER]
['Q145', 'P463', {'concept': 'Q56061'}] ['Q145', 'P463', {'concept': 'Q35749'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?n ) WHERE { ?y rdf:type ?l . VALUES ( ?l ) { ( ontology:Q56061 ) ( ontology:Q35749 ) } }
United Nations Security Council European Union
1 administrative territories and 1 parliaments
action count
action union
action filter_type
action find
entity United Kingdom
relation member of
type administrative territorial entity
action filter_type
action find
entity United Kingdom
relation member of
type parliament
['United Kingdom', 'member of', {'concept': 'administrative territorial entity'}] ['United Kingdom', 'member of', {'concept': 'parliament'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?n ) WHERE { ?y rdf:type ?l . VALUES ( ?l ) { ( ontology:administrative_territorial_entity ) ( ontology:parliament ) } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q1721234 Q2037176
P495
Q1048835
USER
Which political territories are the countries of origin of Minotaur or Twitch City ?
OR((Q2037176,P495,c(Q1048835)), (Q1721234,P495,c(Q1048835)))
action filter_type
action union
action find
entity Q2037176
relation P495
action find
entity Q1721234
relation P495
type Q1048835
{'OR': [['Q2037176', 'P495', {'concept': 'Q1048835'}], ['Q1721234', 'P495', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Q2037176 property:P495 ?u } UNION { resource:Q1721234 property:P495 ?u } } . ?u rdf:type ontology:Q1048835 }
Twitch City Minotaur
action filter_type
action union
action find
entity Minotaur
relation country of origin
action find
entity Twitch City
relation country of origin
type political territorial entity
{'OR': [['Minotaur', 'country of origin', {'concept': 'political territorial entity'}], ['Twitch City', 'country of origin', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Minotaur property:country_of_origin ?u } UNION { resource:Twitch_City property:country_of_origin ?u } } . ?u rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q16 Q183
SYSTEM
Canada, Germany
Q16 Q183
OR((Q2037176,P495,c(Q1048835)), (Q1721234,P495,c(Q1048835)))
action filter_type
action union
action find
entity Q2037176
relation P495
action find
entity Q1721234
relation P495
type Q1048835
[ANSWERS] are the countries of origin of Minotaur or Twitch City
{'OR': [['Q2037176', 'P495', {'concept': 'Q1048835'}], ['Q1721234', 'P495', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Q2037176 property:P495 ?u } UNION { resource:Q1721234 property:P495 ?u } } . ?u rdf:type ontology:Q1048835 }
Canada Germany
Canada and Germany are the countries of origin of Minotaur or Twitch City
Canada Germany
action filter_type
action union
action find
entity Minotaur
relation country of origin
action find
entity Twitch City
relation country of origin
type political territorial entity
{'OR': [['Minotaur', 'country of origin', {'concept': 'political territorial entity'}], ['Twitch City', 'country of origin', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?u WHERE { { { resource:Minotaur property:country_of_origin ?u } UNION { resource:Twitch_City property:country_of_origin ?u } } . ?u rdf:type ontology:political_territorial_entity }
[]