Simple Question (Direct)
Simple Question
Q5973453
P1412
Q34770
USER
Which language does Leopoldo González Sáenz speak in ?
(Q5973453,P1412,c(Q34770))
action filter_type
action find
entity Q5973453
relation P1412
type Q34770
['Q5973453', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?g WHERE { resource:Q5973453 property:P1412 ?g . ?g rdf:type ontology:Q34770 }
Leopoldo González Sáenz
action filter_type
action find
entity Leopoldo González Sáenz
relation languages spoken, written or signed
type language
['Leopoldo González Sáenz', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?g WHERE { resource:Leopoldo_González_Sáenz property:languages_spoken,_written_or_signed ?g . ?g rdf:type ontology:language }
[]
language
Q1321
SYSTEM
Spanish
Q1321
(Q5973453,P1412,c(Q34770))
action filter_type
action find
entity Q5973453
relation P1412
type Q34770
Leopoldo González Sáenz speaks in [ANSWER]
['Q5973453', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?g WHERE { resource:Q5973453 property:P1412 ?g . ?g rdf:type ontology:Q34770 }
Spanish
Leopoldo González Sáenz speaks in Spanish
Spanish
action filter_type
action find
entity Leopoldo González Sáenz
relation languages spoken, written or signed
type language
['Leopoldo González Sáenz', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?g WHERE { resource:Leopoldo_González_Sáenz property:languages_spoken,_written_or_signed ?g . ?g rdf:type ontology:language }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q5973453
P102
Q7210356
USER
Which political organization is Leopoldo González Sáenz a member of ?
(Q5973453,P102,c(Q7210356))
action filter_type
action find
entity Q5973453
relation P102
type Q7210356
['Q5973453', 'P102', {'concept': 'Q7210356'}]
SELECT DISTINCT ?m WHERE { resource:Q5973453 property:P102 ?m . ?m rdf:type ontology:Q7210356 }
Leopoldo González Sáenz
action filter_type
action find
entity Leopoldo González Sáenz
relation member of political party
type political organization
['Leopoldo González Sáenz', 'member of political party', {'concept': 'political organization'}]
SELECT DISTINCT ?m WHERE { resource:Leopoldo_González_Sáenz property:member_of_political_party ?m . ?m rdf:type ontology:political_organization }
[]
political organization
Q682969
SYSTEM
Institutional Revolutionary Party
Q682969
(Q5973453,P102,c(Q7210356))
action filter_type
action find
entity Q5973453
relation P102
type Q7210356
Party [ANSWER] is Leopoldo González Sáenz a member of
['Q5973453', 'P102', {'concept': 'Q7210356'}]
SELECT DISTINCT ?m WHERE { resource:Q5973453 property:P102 ?m . ?m rdf:type ontology:Q7210356 }
Institutional Revolutionary Party
Party Institutional Revolutionary Party is Leopoldo González Sáenz a member of
Institutional Revolutionary Party
action filter_type
action find
entity Leopoldo González Sáenz
relation member of political party
type political organization
['Leopoldo González Sáenz', 'member of political party', {'concept': 'political organization'}]
SELECT DISTINCT ?m WHERE { resource:Leopoldo_González_Sáenz property:member_of_political_party ?m . ?m rdf:type ontology:political_organization }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q5973453
P27
Q15617994
USER
Which administrative territory is the country of citizenship of that person ?
(Q682969,P27,c(Q15617994))
action filter_type
action find
entity Q5973453
relation P27
type Q15617994
['Q682969', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?g WHERE { resource:Q5973453 property:P27 ?g . ?g rdf:type ontology:Q15617994 }
Leopoldo González Sáenz
action filter_type
action find
entity Leopoldo González Sáenz
relation country of citizenship
type designation for an administrative territorial entity
['Institutional Revolutionary Party', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:Leopoldo_González_Sáenz property:country_of_citizenship ?g . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q96
SYSTEM
Mexico
Q96
(Q682969,P27,c(Q15617994))
action filter_type
action find
entity Q5973453
relation P27
type Q15617994
[ANSWER] is the country of citizenship of that person
['Q682969', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?g WHERE { resource:Q5973453 property:P27 ?g . ?g rdf:type ontology:Q15617994 }
Mexico
Mexico is the country of citizenship of that person
Mexico
action filter_type
action find
entity Leopoldo González Sáenz
relation country of citizenship
type designation for an administrative territorial entity
['Institutional Revolutionary Party', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?g WHERE { resource:Leopoldo_González_Sáenz property:country_of_citizenship ?g . ?g rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P37
Q34770 Q7275 Q56061
USER
Which languages are the official languages of min number of states or administrative territories ?
(c(Q7275)|c(Q56061),P37,c(Q34770))
action argmin
action union
action find_reverse_tuple_counts
relation P37
type Q34770
type Q7275
action find_reverse_tuple_counts
relation P37
type Q34770
type Q56061
[[{'concept': 'Q7275'}, {'concept': 'Q56061'}], 'P37', {'concept': 'Q34770'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?t ) AS ?i ) WHERE { VALUES ( ?k ) { ( ontology:Q7275 ) ( ontology:Q56061 ) } . ?t rdf:type ?k } GROUP BY ?d } . FILTER ( ?i = ?u ) . { SELECT DISTINCT ( MIN ( ?e ) AS ?u ) { SELECT DISTINCT ?n ( COUNT ( ?j ) AS ?e ) WHERE { { ?j property:P37 ?n . ?n rdf:type ontology:Q34770 . ?j rdf:type ontology:Q7275 } UNION { ?n rdf:type ontology:Q34770 . ?j rdf:type ontology:Q56061 . ?j property:P37 ?n } } GROUP BY ?n } } }
action argmin
action union
action find_reverse_tuple_counts
relation official language
type language
type state
action find_reverse_tuple_counts
relation official language
type language
type administrative territorial entity
[[{'concept': 'state'}, {'concept': 'administrative territorial entity'}], 'official language', {'concept': 'language'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?t ) AS ?i ) WHERE { VALUES ( ?k ) { ( ontology:state ) ( ontology:administrative_territorial_entity ) } . ?t rdf:type ?k } GROUP BY ?d } . FILTER ( ?i = ?u ) . { SELECT DISTINCT ( MIN ( ?e ) AS ?u ) { SELECT DISTINCT ?n ( COUNT ( ?j ) AS ?e ) WHERE { { ?j property:official_language ?n . ?n rdf:type ontology:language . ?j rdf:type ontology:state } UNION { ?n rdf:type ontology:language . ?j rdf:type ontology:administrative_territorial_entity . ?j property:official_language ?n } } GROUP BY ?n } } }
[]
language state administrative territorial entity
Q33251 Q8752 Q35499
SYSTEM
Church Slavonic, Basque, Old Church Slavonic
Q33251 Q3110592 Q36206 Q8752 Q35499 Q25164
(c(Q7275)|c(Q56061),P37,c(Q34770))
action argmin
action union
action find_reverse_tuple_counts
relation P37
type Q34770
type Q7275
action find_reverse_tuple_counts
relation P37
type Q34770
type Q56061
[ANSWERS] are the official languages of min number of states or administrative territories
[[{'concept': 'Q7275'}, {'concept': 'Q56061'}], 'P37', {'concept': 'Q34770'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?t ) AS ?i ) WHERE { VALUES ( ?k ) { ( ontology:Q7275 ) ( ontology:Q56061 ) } . ?t rdf:type ?k } GROUP BY ?d } . FILTER ( ?i = ?u ) . { SELECT DISTINCT ( MIN ( ?e ) AS ?u ) { SELECT DISTINCT ?n ( COUNT ( ?j ) AS ?e ) WHERE { { ?j property:P37 ?n . ?n rdf:type ontology:Q34770 . ?j rdf:type ontology:Q7275 } UNION { ?n rdf:type ontology:Q34770 . ?j rdf:type ontology:Q56061 . ?j property:P37 ?n } } GROUP BY ?n } } }
Church Slavonic written Chinese Lak Basque Old Church Slavonic Nynorsk
Church Slavonic, Basque and Old Church Slavonic are the official languages of min number of states or administrative territories
Church Slavonic Basque Old Church Slavonic
action argmin
action union
action find_reverse_tuple_counts
relation official language
type language
type state
action find_reverse_tuple_counts
relation official language
type language
type administrative territorial entity
[[{'concept': 'state'}, {'concept': 'administrative territorial entity'}], 'official language', {'concept': 'language'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?t ) AS ?i ) WHERE { VALUES ( ?k ) { ( ontology:state ) ( ontology:administrative_territorial_entity ) } . ?t rdf:type ?k } GROUP BY ?d } . FILTER ( ?i = ?u ) . { SELECT DISTINCT ( MIN ( ?e ) AS ?u ) { SELECT DISTINCT ?n ( COUNT ( ?j ) AS ?e ) WHERE { { ?j property:official_language ?n . ?n rdf:type ontology:language . ?j rdf:type ontology:state } UNION { ?n rdf:type ontology:language . ?j rdf:type ontology:administrative_territorial_entity . ?j property:official_language ?n } } GROUP BY ?n } } }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P530
Q15617994 Q15617994 Q1048835
USER
Which administrative territories have diplomatic relationships with atmost 61 administrative territories or political territories ?
(c(Q15617994)|c(Q1048835),P530,c(Q15617994))
action atmost
action union
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q1048835
value 61
[[{'concept': 'Q15617994'}, {'concept': 'Q1048835'}], 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?j <= 61 ) . { SELECT DISTINCT ?a ( COUNT ( ?m ) AS ?j ) WHERE { VALUES ( ?b ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } . ?m rdf:type ?b } GROUP BY ?a } }
action atmost
action union
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
value 61
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}], 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?j <= 61 ) . { SELECT DISTINCT ?a ( COUNT ( ?m ) AS ?j ) WHERE { VALUES ( ?b ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } . ?m rdf:type ?b } GROUP BY ?a } }
[]
designation for an administrative territorial entity designation for an administrative territorial entity political territorial entity
Q155 Q30 Q230
SYSTEM
Brazil, United States of America, Georgia
Q702 Q804 Q801 Q800 Q805 Q419 Q668 Q414 Q142 Q55 Q145 Q262 Q148 Q783 Q784 Q265 Q37 Q712 Q711 Q710 Q717 Q837 Q252 Q399 Q398 Q403 Q657 Q258 Q45 Q159 Q43 Q41 Q155 Q792 Q790 Q796 Q794 Q954 Q889 Q884 Q958 Q881 Q986 Q822 Q241 Q242 Q244 Q811 Q33 Q32 Q31 Q30 Q924 Q36 Q34 Q928 Q929 Q39 Q739 Q423 Q983 Q851 Q733 Q29999 Q854 Q734 Q819 Q424 Q730 Q1013 Q236 Q230 Q232 Q233 Q238 Q20 Q1045 Q1041 Q27 Q28 Q921 Q1049 Q1027 Q1020 Q189 Q843 Q842 Q184 Q1029 Q1028 Q736 Q786 Q228 Q227 Q225 Q224 Q222 Q221 Q96 Q229 Q347 Q17 Q902 Q1036 Q1037 Q974 Q1032 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q697 Q298 Q695 Q115 Q114 Q117 Q754 Q750 Q212 Q213 Q211 Q217 Q214 Q215 Q218 Q219 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q833 Q977 Q1009 Q1008 Q971 Q970 Q683 Q34020 Q686 Q836 Q574 Q874 Q79 Q77 Q858 Q878 Q774 Q948 Q817 Q810 Q1019 Q1016 Q1011 Q945 Q678 Q29 Q33788 Q869 Q953
(c(Q15617994)|c(Q1048835),P530,c(Q15617994))
action atmost
action union
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q1048835
value 61
[ANSWERS] have diplomatic relationships with atmost 61 administrative territories or political territories
[[{'concept': 'Q15617994'}, {'concept': 'Q1048835'}], 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?j <= 61 ) . { SELECT DISTINCT ?a ( COUNT ( ?m ) AS ?j ) WHERE { VALUES ( ?b ) { ( ontology:Q15617994 ) ( ontology:Q1048835 ) } . ?m rdf:type ?b } GROUP BY ?a } }
Federated States of Micronesia Panama Israel Costa Rica Yemen Peru India Argentina France Netherlands United Kingdom Algeria People's Republic of China Honduras Dominica Uzbekistan Lithuania Fiji Mongolia Kiribati Venezuela Nepal Indonesia Armenia Bahrain Serbia Chad South Africa Portugal Russia Turkey Greece Brazil El Salvador Haiti Iraq Iran Zimbabwe Afghanistan South Korea South Sudan Vietnam Eritrea Lebanon Cuba Belize Barbados Nicaragua Finland Luxembourg Belgium United States of America Tanzania Poland Sweden Philippines Central African Republic Switzerland Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Kingdom of the Netherlands Sri Lanka Guyana Laos Cambodia Suriname Lesotho Montenegro Georgia Kazakhstan Malta San Marino Norway Somalia Senegal Ireland Hungary Brunei Sudan Mauritius Malawi Iceland Pakistan Oman Belarus Mozambique Morocco Ecuador Dominican Republic Andorra Azerbaijan Bosnia and Herzegovina Croatia Albania Republic of Macedonia Mexico Cyprus Liechtenstein Japan Bangladesh Uganda Rwanda Democratic Republic of the Congo Niger Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Nauru Chile Palau Ethiopia Kenya Ghana Trinidad and Tobago Bolivia Ukraine Czech Republic Latvia Republic of Moldova Slovakia Slovenia Romania Bulgaria Mali Bhutan Angola Guinea-Bissau Guinea Gambia Malaysia Djibouti Cameroon Côte d'Ivoire Republic of the Congo Comoros Samoa Niue Vanuatu Myanmar East Timor Turkmenistan Egypt Uruguay Syria United Arab Emirates Guatemala Tunisia Kuwait Jordan Madagascar Libya Cape Verde Togo Tonga Spain New Caledonia Thailand Zambia
Brazil, United States of America and Georgia have diplomatic relationships with atmost 61 administrative territories or political territories
Brazil United States of America Georgia
action atmost
action union
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
value 61
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'political territorial entity'}], 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { FILTER ( ?j <= 61 ) . { SELECT DISTINCT ?a ( COUNT ( ?m ) AS ?j ) WHERE { VALUES ( ?b ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:political_territorial_entity ) } . ?m rdf:type ?b } GROUP BY ?a } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q1904
P194
Q11204 Q1752346 Q15617994
USER
Which administrative territories have around the same number of legislatures and assemblies as their representative body as Ontario ?
(c(Q15617994),P194,c(Q11204)|c(Q1752346))
action approx
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q1752346
action count
action filter_multi_types
action find
entity Q1904
relation P194
type Q11204
type Q1752346
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q1752346'}]]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?d ) WHERE { { VALUES ( ?k ) { ( ontology:Q11204 ) ( ontology:Q1752346 ) } . ?y rdf:type ?k } . resource:Q1904 property:P194 ?y } } . FILTER ( ?s = ?d ) . { SELECT DISTINCT ?i ( COUNT ( ?u ) AS ?s ) WHERE { ?u rdf:type ?x . VALUES ( ?x ) { ( ontology:Q1752346 ) ( ontology:Q11204 ) } } GROUP BY ?i } }
Ontario
action approx
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type assembly
action count
action filter_multi_types
action find
entity Ontario
relation legislative body
type legislature
type assembly
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'assembly'}]]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?d ) WHERE { { VALUES ( ?k ) { ( ontology:legislature ) ( ontology:assembly ) } . ?y rdf:type ?k } . resource:Ontario property:legislative_body ?y } } . FILTER ( ?s = ?d ) . { SELECT DISTINCT ?i ( COUNT ( ?u ) AS ?s ) WHERE { ?u rdf:type ?x . VALUES ( ?x ) { ( ontology:assembly ) ( ontology:legislature ) } } GROUP BY ?i } }
[]
legislature assembly designation for an administrative territorial entity
Q32 Q1011 Q212
SYSTEM
Luxembourg, Cape Verde, Ukraine
Q2806757 Q1948 Q252320 Q187035 Q3361 Q1979 Q153529 Q1974 Q32 Q104192 Q603676 Q2009 Q2007 Q2003 Q1904 Q1989 Q212 Q694594 Q1011 Q12620 Q1951 Q2023
(c(Q15617994),P194,c(Q11204)|c(Q1752346))
action approx
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q1752346
action count
action filter_multi_types
action find
entity Q1904
relation P194
type Q11204
type Q1752346
[ANSWERS] have around the same number of legislatures and assemblies as their representative body as Ontario
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q1752346'}]]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?d ) WHERE { { VALUES ( ?k ) { ( ontology:Q11204 ) ( ontology:Q1752346 ) } . ?y rdf:type ?k } . resource:Q1904 property:P194 ?y } } . FILTER ( ?s = ?d ) . { SELECT DISTINCT ?i ( COUNT ( ?u ) AS ?s ) WHERE { ?u rdf:type ?x . VALUES ( ?x ) { ( ontology:Q1752346 ) ( ontology:Q11204 ) } } GROUP BY ?i } }
105 Mile Post Indian Reserve No. 2 Manitoba Pleinfeld Principality of Albania Doubs Prince Edward Island Duchy of Milan British Columbia Luxembourg Kleinmachnow District of Keewatin Yukon Northwest Territories Newfoundland and Labrador Ontario Saskatchewan Ukraine Bremen-Verden Cape Verde Mayenne Alberta Nunavut
Luxembourg, Cape Verde and Ukraine have around the same number of legislatures and assemblies as their representative body as Ontario
Luxembourg Cape Verde Ukraine
action approx
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type assembly
action count
action filter_multi_types
action find
entity Ontario
relation legislative body
type legislature
type assembly
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'assembly'}]]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ( COUNT ( ?y ) AS ?d ) WHERE { { VALUES ( ?k ) { ( ontology:legislature ) ( ontology:assembly ) } . ?y rdf:type ?k } . resource:Ontario property:legislative_body ?y } } . FILTER ( ?s = ?d ) . { SELECT DISTINCT ?i ( COUNT ( ?u ) AS ?s ) WHERE { ?u rdf:type ?x . VALUES ( ?x ) { ( ontology:assembly ) ( ontology:legislature ) } } GROUP BY ?i } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q32
P710
Q1190554
USER
Which event was Luxembourg a participant of ?
(c(Q1190554),P710,Q32)
action filter_type
action find_reverse
entity Q32
relation P710
type Q1190554
[{'concept': 'Q1190554'}, 'P710', 'Q32']
SELECT DISTINCT ?c WHERE { ?c property:P710 resource:Q32 . ?c rdf:type ontology:Q1190554 }
Luxembourg
action filter_type
action find_reverse
entity Luxembourg
relation participant
type event
[{'concept': 'event'}, 'participant', 'Luxembourg']
SELECT DISTINCT ?c WHERE { ?c property:participant resource:Luxembourg . ?c rdf:type ontology:event }
[]
event
Q13435464
SYSTEM
Invasion of Luxembourg
Q13435464
(c(Q1190554),P710,Q32)
action filter_type
action find_reverse
entity Q32
relation P710
type Q1190554
Luxembourg was the [ANSWER]
[{'concept': 'Q1190554'}, 'P710', 'Q32']
SELECT DISTINCT ?c WHERE { ?c property:P710 resource:Q32 . ?c rdf:type ontology:Q1190554 }
Invasion of Luxembourg
Luxembourg was the Invasion of Luxembourg
Invasion of Luxembourg
action filter_type
action find_reverse
entity Luxembourg
relation participant
type event
[{'concept': 'event'}, 'participant', 'Luxembourg']
SELECT DISTINCT ?c WHERE { ?c property:participant resource:Luxembourg . ?c rdf:type ontology:event }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q13435464
P276
Q15617994
USER
Where can that event be found ?
(Q13435464,P276,c(Q15617994))
action filter_type
action find
entity Q13435464
relation P276
type Q15617994
['Q13435464', 'P276', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { resource:Q13435464 property:P276 ?d . ?d rdf:type ontology:Q15617994 }
Invasion of Luxembourg
action filter_type
action find
entity Invasion of Luxembourg
relation location
type designation for an administrative territorial entity
['Invasion of Luxembourg', 'location', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Invasion_of_Luxembourg property:location ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q32
SYSTEM
Luxembourg
Q32
(Q13435464,P276,c(Q15617994))
action filter_type
action find
entity Q13435464
relation P276
type Q15617994
That event can be found in [ANSWER]
['Q13435464', 'P276', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { resource:Q13435464 property:P276 ?d . ?d rdf:type ontology:Q15617994 }
Luxembourg
That event can be found in Luxembourg
Luxembourg
action filter_type
action find
entity Invasion of Luxembourg
relation location
type designation for an administrative territorial entity
['Invasion of Luxembourg', 'location', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Invasion_of_Luxembourg property:location ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P840
Q15617994 Q838948 Q15416
USER
Which administrative territories are exactly 3 works of art or television programs set in ?
(c(Q838948)|c(Q15416),P840,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P840
type Q15617994
type Q838948
action find_reverse_tuple_counts
relation P840
type Q15617994
type Q15416
value 3
[[{'concept': 'Q838948'}, {'concept': 'Q15416'}], 'P840', {'concept': 'Q15617994'}]
SELECT DISTINCT ?o WHERE { FILTER ( ?b = 3 ) . { SELECT DISTINCT ( COUNT ( ?j ) AS ?b ) ?o WHERE { { ?j property:P840 ?o . ?o rdf:type ontology:Q15617994 . ?j rdf:type ontology:Q838948 } UNION { ?j property:P840 ?o . ?o rdf:type ontology:Q15617994 . ?j rdf:type ontology:Q15416 } } GROUP BY ?o } }
action equal
action union
action find_reverse_tuple_counts
relation narrative location
type designation for an administrative territorial entity
type work of art
action find_reverse_tuple_counts
relation narrative location
type designation for an administrative territorial entity
type television program
value 3
[[{'concept': 'work of art'}, {'concept': 'television program'}], 'narrative location', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { FILTER ( ?b = 3 ) . { SELECT DISTINCT ( COUNT ( ?j ) AS ?b ) ?o WHERE { { ?j property:narrative_location ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity . ?j rdf:type ontology:work_of_art } UNION { ?j property:narrative_location ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity . ?j rdf:type ontology:television_program } } GROUP BY ?o } }
[]
designation for an administrative territorial entity work of art television program
Q801 Q191 Q822
SYSTEM
Israel, Estonia, Lebanon
Q801 Q822 Q191 Q1014
(c(Q838948)|c(Q15416),P840,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P840
type Q15617994
type Q838948
action find_reverse_tuple_counts
relation P840
type Q15617994
type Q15416
value 3
[ANSWERS] are exactly 3 works of art or television programs set in
[[{'concept': 'Q838948'}, {'concept': 'Q15416'}], 'P840', {'concept': 'Q15617994'}]
SELECT DISTINCT ?o WHERE { FILTER ( ?b = 3 ) . { SELECT DISTINCT ( COUNT ( ?j ) AS ?b ) ?o WHERE { { ?j property:P840 ?o . ?o rdf:type ontology:Q15617994 . ?j rdf:type ontology:Q838948 } UNION { ?j property:P840 ?o . ?o rdf:type ontology:Q15617994 . ?j rdf:type ontology:Q15416 } } GROUP BY ?o } }
Israel Lebanon Estonia Liberia
Israel, Estonia and Lebanon are exactly 3 works of art or television programs set in
Israel Estonia Lebanon
action equal
action union
action find_reverse_tuple_counts
relation narrative location
type designation for an administrative territorial entity
type work of art
action find_reverse_tuple_counts
relation narrative location
type designation for an administrative territorial entity
type television program
value 3
[[{'concept': 'work of art'}, {'concept': 'television program'}], 'narrative location', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { FILTER ( ?b = 3 ) . { SELECT DISTINCT ( COUNT ( ?j ) AS ?b ) ?o WHERE { { ?j property:narrative_location ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity . ?j rdf:type ontology:work_of_art } UNION { ?j property:narrative_location ?o . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity . ?j rdf:type ontology:television_program } } GROUP BY ?o } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q3314049
P530
Q1048835
USER
Are Catahuasi District known to have diplomatic connections with those administrative territories ?
(Q3314049,P530,Q801) (Q3314049,P530,Q191) (Q3314049,P530,Q822)
action is_in
entity prev_answer
action find
entity Q3314049
relation P530
['Q3314049', 'P530', 'Q801'] ['Q3314049', 'P530', 'Q191'] ['Q3314049', 'P530', 'Q822']
ASK WHERE { VALUES ( ?h ) { ( resource:Q801 ) ( resource:Q822 ) ( resource:Q191 ) } . resource:Q3314049 property:P530 ?h }
Catahuasi District
action is_in
entity prev_answer
action find
entity Catahuasi District
relation diplomatic relation
['Catahuasi District', 'diplomatic relation', 'Israel'] ['Catahuasi District', 'diplomatic relation', 'Estonia'] ['Catahuasi District', 'diplomatic relation', 'Lebanon']
ASK WHERE { VALUES ( ?h ) { ( resource:Israel ) ( resource:Lebanon ) ( resource:Estonia ) } . resource:Catahuasi_District property:diplomatic_relation ?h }
[]
political territorial entity
SYSTEM
NO
(Q3314049,P530,Q801) (Q3314049,P530,Q191) (Q3314049,P530,Q822)
action is_in
entity prev_answer
action find
entity Q3314049
relation P530
[ANSWER]
['Q3314049', 'P530', 'Q801'] ['Q3314049', 'P530', 'Q191'] ['Q3314049', 'P530', 'Q822']
ASK WHERE { VALUES ( ?h ) { ( resource:Q801 ) ( resource:Q822 ) ( resource:Q191 ) } . resource:Q3314049 property:P530 ?h }
No
action is_in
entity prev_answer
action find
entity Catahuasi District
relation diplomatic relation
['Catahuasi District', 'diplomatic relation', 'Israel'] ['Catahuasi District', 'diplomatic relation', 'Estonia'] ['Catahuasi District', 'diplomatic relation', 'Lebanon']
ASK WHERE { VALUES ( ?h ) { ( resource:Israel ) ( resource:Lebanon ) ( resource:Estonia ) } . resource:Catahuasi_District property:diplomatic_relation ?h }
[]