Simple Question (Direct)
Simple Question
Q672919
P69
Q3914
USER
Where was Brad Sherman educated ?
(Q672919,P69,c(Q3914))
action filter_type
action find
entity Q672919
relation P69
type Q3914
['Q672919', 'P69', {'concept': 'Q3914'}]
SELECT DISTINCT ?y WHERE { resource:Q672919 property:P69 ?y . ?y rdf:type ontology:Q3914 }
Brad Sherman
action filter_type
action find
entity Brad Sherman
relation educated at
type school
['Brad Sherman', 'educated at', {'concept': 'school'}]
SELECT DISTINCT ?y WHERE { resource:Brad_Sherman property:educated_at ?y . ?y rdf:type ontology:school }
[]
school
Q49122
SYSTEM
Harvard Law School
Q49122
(Q672919,P69,c(Q3914))
action filter_type
action find
entity Q672919
relation P69
type Q3914
Brad Sherman was educated at [ANSWER]
['Q672919', 'P69', {'concept': 'Q3914'}]
SELECT DISTINCT ?y WHERE { resource:Q672919 property:P69 ?y . ?y rdf:type ontology:Q3914 }
Harvard Law School
Brad Sherman was educated at Harvard Law School
Harvard Law School
action filter_type
action find
entity Brad Sherman
relation educated at
type school
['Brad Sherman', 'educated at', {'concept': 'school'}]
SELECT DISTINCT ?y WHERE { resource:Brad_Sherman property:educated_at ?y . ?y rdf:type ontology:school }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q49122
P17
Q15617994
USER
Which administrative territory is that school situated in ?
(Q49122,P17,c(Q15617994))
action filter_type
action find
entity Q49122
relation P17
type Q15617994
['Q49122', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q15617994 . resource:Q49122 property:P17 ?u }
Harvard Law School
action filter_type
action find
entity Harvard Law School
relation country
type designation for an administrative territorial entity
['Harvard Law School', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Harvard_Law_School property:country ?u }
[]
designation for an administrative territorial entity
Q30
SYSTEM
United States of America
Q30
(Q49122,P17,c(Q15617994))
action filter_type
action find
entity Q49122
relation P17
type Q15617994
That school is situated in [ANSWER]
['Q49122', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q15617994 . resource:Q49122 property:P17 ?u }
United States of America
That school is situated in United States of America
United States of America
action filter_type
action find
entity Harvard Law School
relation country
type designation for an administrative territorial entity
['Harvard Law School', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Harvard_Law_School property:country ?u }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q30 Q35686
P6
Q502895
USER
Is that administrative territory the head of goverment of Rutherford B. Hayes ?
(Q30,P6,Q35686)
action is_in
entity Q35686
action find
entity Q30
relation P6
['Q30', 'P6', 'Q35686']
ASK WHERE { resource:Q30 property:P6 resource:Q35686 }
United States of America Rutherford B. Hayes
action is_in
entity Rutherford B. Hayes
action find
entity United States of America
relation head of government
['United States of America', 'head of government', 'Rutherford B. Hayes']
ASK WHERE { resource:United_States_of_America property:head_of_government resource:Rutherford_B._Hayes }
[]
common name
SYSTEM
YES
(Q30,P6,Q35686)
action is_in
entity Q35686
action find
entity Q30
relation P6
[ANSWER]
['Q30', 'P6', 'Q35686']
ASK WHERE { resource:Q30 property:P6 resource:Q35686 }
Yes
action is_in
entity Rutherford B. Hayes
action find
entity United States of America
relation head of government
['United States of America', 'head of government', 'Rutherford B. Hayes']
ASK WHERE { resource:United_States_of_America property:head_of_government resource:Rutherford_B._Hayes }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q766
P530
Q1048835 Q15617994
USER
Which political territories holds diplomatic relationship with greater number of administrative territories than Jamaica ?
(c(Q15617994),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q766
relation P530
type Q1048835
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?i ) AS ?a ) WHERE { ?k property:P530 ?i . ?k rdf:type ontology:Q1048835 . ?i rdf:type ontology:Q15617994 } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { resource:Q766 property:P530 ?t . ?t rdf:type ontology:Q1048835 } } . FILTER ( ?a > ?e ) }
Jamaica
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Jamaica
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?i ) AS ?a ) WHERE { ?k property:diplomatic_relation ?i . ?k rdf:type ontology:political_territorial_entity . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { resource:Jamaica property:diplomatic_relation ?t . ?t rdf:type ontology:political_territorial_entity } } . FILTER ( ?a > ?e ) }
[]
political territorial entity designation for an administrative territorial entity
Q183 Q408 Q35
SYSTEM
Germany, Australia, Denmark
Q40 Q183 Q408 Q35 Q16 Q664
(c(Q15617994),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q766
relation P530
type Q1048835
[ANSWERS] hold diplomatic relationship with greater number of administrative territories than Jamaica
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?i ) AS ?a ) WHERE { ?k property:P530 ?i . ?k rdf:type ontology:Q1048835 . ?i rdf:type ontology:Q15617994 } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { resource:Q766 property:P530 ?t . ?t rdf:type ontology:Q1048835 } } . FILTER ( ?a > ?e ) }
Austria Germany Australia Denmark Canada New Zealand
Germany, Australia and Denmark hold diplomatic relationship with greater number of administrative territories than Jamaica
Germany Australia Denmark
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Jamaica
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?i ) AS ?a ) WHERE { ?k property:diplomatic_relation ?i . ?k rdf:type ontology:political_territorial_entity . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { resource:Jamaica property:diplomatic_relation ?t . ?t rdf:type ontology:political_territorial_entity } } . FILTER ( ?a > ?e ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q35
P530
Q1048835 Q15617994
USER
And how about Denmark?
(c(Q15617994),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q35
relation P530
type Q1048835
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) WHERE { ?w rdf:type ontology:Q1048835 . resource:Q35 property:P530 ?w } } . FILTER ( ?i > ?g ) . { SELECT DISTINCT ?p ( COUNT ( ?x ) AS ?i ) WHERE { ?p property:P530 ?x . ?p rdf:type ontology:Q1048835 . ?x rdf:type ontology:Q15617994 } GROUP BY ?p } }
Denmark
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Denmark
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) WHERE { ?w rdf:type ontology:political_territorial_entity . resource:Denmark property:diplomatic_relation ?w } } . FILTER ( ?i > ?g ) . { SELECT DISTINCT ?p ( COUNT ( ?x ) AS ?i ) WHERE { ?p property:diplomatic_relation ?x . ?p rdf:type ontology:political_territorial_entity . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?p } }
[]
political territorial entity designation for an administrative territorial entity
Q183 Q408 Q16
SYSTEM
Germany, Australia, Canada
Q40 Q183 Q408 Q16
(c(Q15617994),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q35
relation P530
type Q1048835
[ANSWERS]
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) WHERE { ?w rdf:type ontology:Q1048835 . resource:Q35 property:P530 ?w } } . FILTER ( ?i > ?g ) . { SELECT DISTINCT ?p ( COUNT ( ?x ) AS ?i ) WHERE { ?p property:P530 ?x . ?p rdf:type ontology:Q1048835 . ?x rdf:type ontology:Q15617994 } GROUP BY ?p } }
Austria Germany Australia Canada
Germany Australia Canada
action greater
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Denmark
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) WHERE { ?w rdf:type ontology:political_territorial_entity . resource:Denmark property:diplomatic_relation ?w } } . FILTER ( ?i > ?g ) . { SELECT DISTINCT ?p ( COUNT ( ?x ) AS ?i ) WHERE { ?p property:diplomatic_relation ?x . ?p rdf:type ontology:political_territorial_entity . ?x rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?p } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q157871
P530
Q15617994
USER
Do Rosignano Marittimo have diplomatic relations with those political territories ?
(Q157871,P530,Q183) (Q157871,P530,Q408) (Q157871,P530,Q16)
action is_in
entity prev_answer
action find
entity Q157871
relation P530
['Q157871', 'P530', 'Q183'] ['Q157871', 'P530', 'Q408'] ['Q157871', 'P530', 'Q16']
ASK WHERE { VALUES ( ?j ) { ( resource:Q40 ) ( resource:Q183 ) ( resource:Q408 ) } . resource:Q157871 property:P530 ?j }
Rosignano Marittimo
action is_in
entity prev_answer
action find
entity Rosignano Marittimo
relation diplomatic relation
['Rosignano Marittimo', 'diplomatic relation', 'Germany'] ['Rosignano Marittimo', 'diplomatic relation', 'Australia'] ['Rosignano Marittimo', 'diplomatic relation', 'Canada']
ASK WHERE { VALUES ( ?j ) { ( resource:Austria ) ( resource:Germany ) ( resource:Australia ) } . resource:Rosignano_Marittimo property:diplomatic_relation ?j }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q157871,P530,Q183) (Q157871,P530,Q408) (Q157871,P530,Q16)
action is_in
entity prev_answer
action find
entity Q157871
relation P530
[ANSWER]
['Q157871', 'P530', 'Q183'] ['Q157871', 'P530', 'Q408'] ['Q157871', 'P530', 'Q16']
ASK WHERE { VALUES ( ?j ) { ( resource:Q40 ) ( resource:Q183 ) ( resource:Q408 ) } . resource:Q157871 property:P530 ?j }
No
action is_in
entity prev_answer
action find
entity Rosignano Marittimo
relation diplomatic relation
['Rosignano Marittimo', 'diplomatic relation', 'Germany'] ['Rosignano Marittimo', 'diplomatic relation', 'Australia'] ['Rosignano Marittimo', 'diplomatic relation', 'Canada']
ASK WHERE { VALUES ( ?j ) { ( resource:Austria ) ( resource:Germany ) ( resource:Australia ) } . resource:Rosignano_Marittimo property:diplomatic_relation ?j }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q408 Q800 Q155144
P530
Q15617994
USER
Does Australia have tactful political relations with Costa Rica and Alsace-Lorraine ?
(Q408,P530,Q800) (Q408,P530,Q155144)
action is_in
entity Q408
action intersection
action find_reverse
entity Q800
relation P530
action find_reverse
entity Q155144
relation P530
['Q408', 'P530', 'Q800'] ['Q408', 'P530', 'Q155144']
ASK WHERE { resource:Q408 property:P530 resource:Q155144 . resource:Q408 property:P530 resource:Q800 }
Australia Costa Rica Alsace-Lorraine
action is_in
entity Australia
action intersection
action find_reverse
entity Costa Rica
relation diplomatic relation
action find_reverse
entity Alsace-Lorraine
relation diplomatic relation
['Australia', 'diplomatic relation', 'Costa Rica'] ['Australia', 'diplomatic relation', 'Alsace-Lorraine']
ASK WHERE { resource:Australia property:diplomatic_relation resource:Alsace-Lorraine . resource:Australia property:diplomatic_relation resource:Costa_Rica }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q408,P530,Q800) (Q408,P530,Q155144)
action is_in
entity Q408
action intersection
action find_reverse
entity Q800
relation P530
action find_reverse
entity Q155144
relation P530
[ANSWER]
['Q408', 'P530', 'Q800'] ['Q408', 'P530', 'Q155144']
ASK WHERE { resource:Q408 property:P530 resource:Q155144 . resource:Q408 property:P530 resource:Q800 }
YES and NO respectively
action is_in
entity Australia
action intersection
action find_reverse
entity Costa Rica
relation diplomatic relation
action find_reverse
entity Alsace-Lorraine
relation diplomatic relation
['Australia', 'diplomatic relation', 'Costa Rica'] ['Australia', 'diplomatic relation', 'Alsace-Lorraine']
ASK WHERE { resource:Australia property:diplomatic_relation resource:Alsace-Lorraine . resource:Australia property:diplomatic_relation resource:Costa_Rica }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P495
Q1048835 Q201658 Q2088357
USER
Which political territories did max number of film genres and musical ensembles originate ?
(c(Q201658)|c(Q2088357),P495,c(Q1048835))
action argmax
action union
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q201658
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q2088357
[[{'concept': 'Q201658'}, {'concept': 'Q2088357'}], 'P495', {'concept': 'Q1048835'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?w ) AS ?l ) { SELECT DISTINCT ( COUNT ( ?c ) AS ?w ) ?d WHERE { VALUES ( ?x ) { ( ontology:Q201658 ) ( ontology:Q2088357 ) } . ?c rdf:type ?x } GROUP BY ?d } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?n ) ?p WHERE { { ?j property:P495 ?p . ?p rdf:type ontology:Q1048835 . ?j rdf:type ontology:Q201658 } UNION { ?j property:P495 ?p . ?p rdf:type ontology:Q1048835 . ?j rdf:type ontology:Q2088357 } } GROUP BY ?p } . FILTER ( ?n = ?l ) }
action argmax
action union
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type film genre
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type musical ensemble
[[{'concept': 'film genre'}, {'concept': 'musical ensemble'}], 'country of origin', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?w ) AS ?l ) { SELECT DISTINCT ( COUNT ( ?c ) AS ?w ) ?d WHERE { VALUES ( ?x ) { ( ontology:film_genre ) ( ontology:musical_ensemble ) } . ?c rdf:type ?x } GROUP BY ?d } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?n ) ?p WHERE { { ?j property:country_of_origin ?p . ?p rdf:type ontology:political_territorial_entity . ?j rdf:type ontology:film_genre } UNION { ?j property:country_of_origin ?p . ?p rdf:type ontology:political_territorial_entity . ?j rdf:type ontology:musical_ensemble } } GROUP BY ?p } . FILTER ( ?n = ?l ) }
[]
political territorial entity film genre musical ensemble
Q16
SYSTEM
Canada
Q16
(c(Q201658)|c(Q2088357),P495,c(Q1048835))
action argmax
action union
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q201658
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q2088357
Max number of film genres and musical ensembles originated from [ANSWER]
[[{'concept': 'Q201658'}, {'concept': 'Q2088357'}], 'P495', {'concept': 'Q1048835'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?w ) AS ?l ) { SELECT DISTINCT ( COUNT ( ?c ) AS ?w ) ?d WHERE { VALUES ( ?x ) { ( ontology:Q201658 ) ( ontology:Q2088357 ) } . ?c rdf:type ?x } GROUP BY ?d } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?n ) ?p WHERE { { ?j property:P495 ?p . ?p rdf:type ontology:Q1048835 . ?j rdf:type ontology:Q201658 } UNION { ?j property:P495 ?p . ?p rdf:type ontology:Q1048835 . ?j rdf:type ontology:Q2088357 } } GROUP BY ?p } . FILTER ( ?n = ?l ) }
Canada
Max number of film genres and musical ensembles originated from Canada
Canada
action argmax
action union
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type film genre
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type musical ensemble
[[{'concept': 'film genre'}, {'concept': 'musical ensemble'}], 'country of origin', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( MAX ( ?w ) AS ?l ) { SELECT DISTINCT ( COUNT ( ?c ) AS ?w ) ?d WHERE { VALUES ( ?x ) { ( ontology:film_genre ) ( ontology:musical_ensemble ) } . ?c rdf:type ?x } GROUP BY ?d } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?n ) ?p WHERE { { ?j property:country_of_origin ?p . ?p rdf:type ontology:political_territorial_entity . ?j rdf:type ontology:film_genre } UNION { ?j property:country_of_origin ?p . ?p rdf:type ontology:political_territorial_entity . ?j rdf:type ontology:musical_ensemble } } GROUP BY ?p } . FILTER ( ?n = ?l ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q103699
P1376
Q1048835 Q515 Q56061
USER
How many political territories have more number of cities or administrative territories have their first city than Gävleborg County ?
(c(Q515)|c(Q56061),P1376,c(Q1048835))
action count
action greater
action union
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q103699
relation P1376
type Q515
type Q56061
[[{'concept': 'Q515'}, {'concept': 'Q56061'}], 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?b ) AS ?u ) WHERE { { ?b property:P1376 ?v . ?v rdf:type ontology:Q1048835 . ?b rdf:type ontology:Q515 } UNION { ?b property:P1376 ?v . ?v rdf:type ontology:Q1048835 . ?b rdf:type ontology:Q56061 } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?o ) WHERE { ?q property:P1376 resource:Q103699 . { { ?q rdf:type ontology:Q515 } UNION { ?q rdf:type ontology:Q56061 } } } } . FILTER ( ?u > ?o ) }
Gävleborg County
action count
action greater
action union
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Gävleborg County
relation capital of
type city
type administrative territorial entity
[[{'concept': 'city'}, {'concept': 'administrative territorial entity'}], 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?b ) AS ?u ) WHERE { { ?b property:capital_of ?v . ?v rdf:type ontology:political_territorial_entity . ?b rdf:type ontology:city } UNION { ?b property:capital_of ?v . ?v rdf:type ontology:political_territorial_entity . ?b rdf:type ontology:administrative_territorial_entity } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?o ) WHERE { ?q property:capital_of resource:Gävleborg_County . { { ?q rdf:type ontology:city } UNION { ?q rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?u > ?o ) }
[]
political territorial entity city administrative territorial entity
SYSTEM
4
Q22880 Q13353 Q193619 Q183
(c(Q515)|c(Q56061),P1376,c(Q1048835))
action count
action greater
action union
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q515
action find_reverse_tuple_counts
relation P1376
type Q1048835
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q103699
relation P1376
type Q515
type Q56061
[ANSWER]
[[{'concept': 'Q515'}, {'concept': 'Q56061'}], 'P1376', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?b ) AS ?u ) WHERE { { ?b property:P1376 ?v . ?v rdf:type ontology:Q1048835 . ?b rdf:type ontology:Q515 } UNION { ?b property:P1376 ?v . ?v rdf:type ontology:Q1048835 . ?b rdf:type ontology:Q56061 } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?o ) WHERE { ?q property:P1376 resource:Q103699 . { { ?q rdf:type ontology:Q515 } UNION { ?q rdf:type ontology:Q56061 } } } } . FILTER ( ?u > ?o ) }
Electoral Palatinate Montserrat Union of South Africa Germany
4
action count
action greater
action union
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type city
action find_reverse_tuple_counts
relation capital of
type political territorial entity
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Gävleborg County
relation capital of
type city
type administrative territorial entity
[[{'concept': 'city'}, {'concept': 'administrative territorial entity'}], 'capital of', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?b ) AS ?u ) WHERE { { ?b property:capital_of ?v . ?v rdf:type ontology:political_territorial_entity . ?b rdf:type ontology:city } UNION { ?b property:capital_of ?v . ?v rdf:type ontology:political_territorial_entity . ?b rdf:type ontology:administrative_territorial_entity } } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?o ) WHERE { ?q property:capital_of resource:Gävleborg_County . { { ?q rdf:type ontology:city } UNION { ?q rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?u > ?o ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q7536180 Q408
P530 P17
Q15617994
USER
Which administrative territories have a diplomatic relationship with Australia or do Skoków, Greater Poland Voivodeship belong to ?
OR((Q408,P530,c(Q15617994)), (Q7536180,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q408
relation P530
action find
entity Q7536180
relation P17
type Q15617994
{'OR': [['Q408', 'P530', {'concept': 'Q15617994'}], ['Q7536180', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Q408 property:P530 ?w } UNION { resource:Q7536180 property:P17 ?w } } . ?w rdf:type ontology:Q15617994 }
Skoków, Greater Poland Voivodeship Australia
action filter_type
action union
action find
entity Australia
relation diplomatic relation
action find
entity Skoków, Greater Poland Voivodeship
relation country
type designation for an administrative territorial entity
{'OR': [['Australia', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Skoków, Greater Poland Voivodeship', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Australia property:diplomatic_relation ?w } UNION { resource:Skoków,_Greater_Poland_Voivodeship property:country ?w } } . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q55 Q115 Q79 Q145 Q800 Q1009 Q31 Q424 Q148 Q114
SYSTEM
Some of them are Netherlands, Ethiopia, Egypt, United Kingdom, Costa Rica, Cameroon, Belgium, Cambodia, People's Republic of China, Kenya
Q702 Q801 Q800 Q419 Q668 Q414 Q142 Q55 Q145 Q148 Q783 Q786 Q924 Q712 Q711 Q836 Q837 Q252 Q403 Q258 Q45 Q159 Q43 Q41 Q155 Q792 Q796 Q794 Q954 Q889 Q884 Q881 Q822 Q244 Q33 Q921 Q31 Q30 Q37 Q36 Q34 Q928 Q39 Q38 Q739 Q423 Q424 Q851 Q733 Q854 Q734 Q736 Q233 Q20 Q1041 Q27 Q29 Q1027 Q1020 Q843 Q1029 Q225 Q224 Q221 Q96 Q229 Q17 Q902 Q1036 Q1033 Q1030 Q191 Q963 Q697 Q298 Q695 Q115 Q114 Q117 Q754 Q750 Q212 Q213 Q211 Q215 Q218 Q219 Q916 Q833 Q977 Q1009 Q683 Q686 Q574 Q79 Q77 Q878 Q774 Q817 Q810 Q811 Q819 Q678 Q33788 Q869 Q953
OR((Q408,P530,c(Q15617994)), (Q7536180,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q408
relation P530
action find
entity Q7536180
relation P17
type Q15617994
[ANSWERS] have a diplomatic relationship with Australia or do Skoków, Greater Poland Voivodeship belong to
{'OR': [['Q408', 'P530', {'concept': 'Q15617994'}], ['Q7536180', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Q408 property:P530 ?w } UNION { resource:Q7536180 property:P17 ?w } } . ?w rdf:type ontology:Q15617994 }
Federated States of Micronesia Israel Costa Rica Peru India Argentina France Netherlands United Kingdom People's Republic of China Honduras Dominican Republic Tanzania Fiji Mongolia Myanmar Nepal Indonesia Serbia South Africa Portugal Russia Turkey Greece Brazil El Salvador Iraq Iran Zimbabwe Afghanistan South Korea Vietnam Lebanon Barbados Finland Brunei Belgium United States of America Lithuania Poland Sweden Philippines Switzerland Italy Colombia North Korea Cambodia Saudi Arabia Paraguay Sri Lanka Guyana Ecuador Malta Norway Senegal Ireland Spain Mauritius Malawi Pakistan Mozambique Bosnia and Herzegovina Croatia Republic of Macedonia Mexico Cyprus Japan Bangladesh Uganda Nigeria Namibia Estonia Botswana Nauru Chile Palau Ethiopia Kenya Ghana Trinidad and Tobago Bolivia Ukraine Czech Republic Latvia Slovenia Romania Bulgaria Angola Malaysia Djibouti Cameroon Samoa Vanuatu East Timor Egypt Uruguay United Arab Emirates Guatemala Kuwait Jordan Nicaragua Laos Tonga New Caledonia Thailand Zambia
Netherlands, Ethiopia, Egypt, United Kingdom, Costa Rica, Cameroon, Belgium, Cambodia, People's Republic of China and Kenya have a diplomatic relationship with Australia or do Skoków, Greater Poland Voivodeship belong to
Netherlands Ethiopia Egypt United Kingdom Costa Rica Cameroon Belgium Cambodia People's Republic of China Kenya
action filter_type
action union
action find
entity Australia
relation diplomatic relation
action find
entity Skoków, Greater Poland Voivodeship
relation country
type designation for an administrative territorial entity
{'OR': [['Australia', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Skoków, Greater Poland Voivodeship', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { { resource:Australia property:diplomatic_relation ?w } UNION { resource:Skoków,_Greater_Poland_Voivodeship property:country ?w } } . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q2697675
P530
Q1048835
USER
Do Rahuapampa District have diplomatic associations with those administrative territories ?
(Q2697675,P530,Q55) (Q2697675,P530,Q115) (Q2697675,P530,Q79) (Q2697675,P530,Q145) (Q2697675,P530,Q800) (Q2697675,P530,Q1009) (Q2697675,P530,Q31) (Q2697675,P530,Q424) (Q2697675,P530,Q148) (Q2697675,P530,Q114)
action is_in
entity prev_answer
action find
entity Q2697675
relation P530
['Q2697675', 'P530', 'Q55'] ['Q2697675', 'P530', 'Q115'] ['Q2697675', 'P530', 'Q79'] ['Q2697675', 'P530', 'Q145'] ['Q2697675', 'P530', 'Q800'] ['Q2697675', 'P530', 'Q1009'] ['Q2697675', 'P530', 'Q31'] ['Q2697675', 'P530', 'Q424'] ['Q2697675', 'P530', 'Q148'] ['Q2697675', 'P530', 'Q114']
ASK WHERE { VALUES ( ?z ) { ( resource:Q702 ) ( resource:Q801 ) ( resource:Q800 ) } . resource:Q2697675 property:P530 ?z }
Rahuapampa District
action is_in
entity prev_answer
action find
entity Rahuapampa District
relation diplomatic relation
['Rahuapampa District', 'diplomatic relation', 'Netherlands'] ['Rahuapampa District', 'diplomatic relation', 'Ethiopia'] ['Rahuapampa District', 'diplomatic relation', 'Egypt'] ['Rahuapampa District', 'diplomatic relation', 'United Kingdom'] ['Rahuapampa District', 'diplomatic relation', 'Costa Rica'] ['Rahuapampa District', 'diplomatic relation', 'Cameroon'] ['Rahuapampa District', 'diplomatic relation', 'Belgium'] ['Rahuapampa District', 'diplomatic relation', 'Cambodia'] ['Rahuapampa District', 'diplomatic relation', "People's Republic of China"] ['Rahuapampa District', 'diplomatic relation', 'Kenya']
ASK WHERE { VALUES ( ?z ) { ( resource:Federated_States_of_Micronesia ) ( resource:Israel ) ( resource:Costa_Rica ) } . resource:Rahuapampa_District property:diplomatic_relation ?z }
[]
political territorial entity
SYSTEM
NO
(Q2697675,P530,Q55) (Q2697675,P530,Q115) (Q2697675,P530,Q79) (Q2697675,P530,Q145) (Q2697675,P530,Q800) (Q2697675,P530,Q1009) (Q2697675,P530,Q31) (Q2697675,P530,Q424) (Q2697675,P530,Q148) (Q2697675,P530,Q114)
action is_in
entity prev_answer
action find
entity Q2697675
relation P530
[ANSWER]
['Q2697675', 'P530', 'Q55'] ['Q2697675', 'P530', 'Q115'] ['Q2697675', 'P530', 'Q79'] ['Q2697675', 'P530', 'Q145'] ['Q2697675', 'P530', 'Q800'] ['Q2697675', 'P530', 'Q1009'] ['Q2697675', 'P530', 'Q31'] ['Q2697675', 'P530', 'Q424'] ['Q2697675', 'P530', 'Q148'] ['Q2697675', 'P530', 'Q114']
ASK WHERE { VALUES ( ?z ) { ( resource:Q702 ) ( resource:Q801 ) ( resource:Q800 ) } . resource:Q2697675 property:P530 ?z }
No
action is_in
entity prev_answer
action find
entity Rahuapampa District
relation diplomatic relation
['Rahuapampa District', 'diplomatic relation', 'Netherlands'] ['Rahuapampa District', 'diplomatic relation', 'Ethiopia'] ['Rahuapampa District', 'diplomatic relation', 'Egypt'] ['Rahuapampa District', 'diplomatic relation', 'United Kingdom'] ['Rahuapampa District', 'diplomatic relation', 'Costa Rica'] ['Rahuapampa District', 'diplomatic relation', 'Cameroon'] ['Rahuapampa District', 'diplomatic relation', 'Belgium'] ['Rahuapampa District', 'diplomatic relation', 'Cambodia'] ['Rahuapampa District', 'diplomatic relation', "People's Republic of China"] ['Rahuapampa District', 'diplomatic relation', 'Kenya']
ASK WHERE { VALUES ( ?z ) { ( resource:Federated_States_of_Micronesia ) ( resource:Israel ) ( resource:Costa_Rica ) } . resource:Rahuapampa_District property:diplomatic_relation ?z }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q145
P272
Q838948
USER
Which work of art had United Kingdom as the production house ?
(c(Q838948),P272,Q145)
action filter_type
action find_reverse
entity Q145
relation P272
type Q838948
[{'concept': 'Q838948'}, 'P272', 'Q145']
SELECT DISTINCT ?u WHERE { ?u property:P272 resource:Q145 . ?u rdf:type ontology:Q838948 }
United Kingdom
action filter_type
action find_reverse
entity United Kingdom
relation production company
type work of art
[{'concept': 'work of art'}, 'production company', 'United Kingdom']
SELECT DISTINCT ?u WHERE { ?u property:production_company resource:United_Kingdom . ?u rdf:type ontology:work_of_art }
[]
work of art
Q7774772
SYSTEM
The Widow
Q7774772
(c(Q838948),P272,Q145)
action filter_type
action find_reverse
entity Q145
relation P272
type Q838948
[ANSWER] had United Kingdom as the production house
[{'concept': 'Q838948'}, 'P272', 'Q145']
SELECT DISTINCT ?u WHERE { ?u property:P272 resource:Q145 . ?u rdf:type ontology:Q838948 }
The Widow
The Widow had United Kingdom as the production house
The Widow
action filter_type
action find_reverse
entity United Kingdom
relation production company
type work of art
[{'concept': 'work of art'}, 'production company', 'United Kingdom']
SELECT DISTINCT ?u WHERE { ?u property:production_company resource:United_Kingdom . ?u rdf:type ontology:work_of_art }
[]