Simple Question (Direct)
Simple Question
Q3839948
P19
Q56061
USER
Which administrative territory is the place of birth of Luigi Olasi ?
(Q3839948,P19,c(Q56061))
action filter_type
action find
entity Q3839948
relation P19
type Q56061
['Q3839948', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q56061 . resource:Q3839948 property:P19 ?c }
Luigi Olasi
action filter_type
action find
entity Luigi Olasi
relation place of birth
type administrative territorial entity
['Luigi Olasi', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:administrative_territorial_entity . resource:Luigi_Olasi property:place_of_birth ?c }
[]
administrative territorial entity
Q13362
SYSTEM
Ferrara
Q13362
(Q3839948,P19,c(Q56061))
action filter_type
action find
entity Q3839948
relation P19
type Q56061
The [ANSWER] is the place of birth of Luigi Olasi
['Q3839948', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q56061 . resource:Q3839948 property:P19 ?c }
Ferrara
The Ferrara is the place of birth of Luigi Olasi
Ferrara
action filter_type
action find
entity Luigi Olasi
relation place of birth
type administrative territorial entity
['Luigi Olasi', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:administrative_territorial_entity . resource:Luigi_Olasi property:place_of_birth ?c }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q13362
P47
Q15617994
USER
Who share the border with that administrative territory ?
(Q13362,P47,c(Q15617994))
action filter_type
action find
entity Q13362
relation P47
type Q15617994
['Q13362', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?n WHERE { resource:Q13362 property:P47 ?n . ?n rdf:type ontology:Q15617994 }
Ferrara
action filter_type
action find
entity Ferrara
relation shares border with
type designation for an administrative territorial entity
['Ferrara', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { resource:Ferrara property:shares_border_with ?n . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q95090 Q95131 Q94540
SYSTEM
Argenta, Emilia–Romagna, Ostellato, Baricella
Q95098 Q95090 Q94540 Q34699 Q34598 Q34592 Q34593 Q95102 Q34595 Q95138 Q95137 Q95135 Q95146 Q95147 Q95131
(Q13362,P47,c(Q15617994))
action filter_type
action find
entity Q13362
relation P47
type Q15617994
[ANSWERS] share the border with that administrative territory
['Q13362', 'P47', {'concept': 'Q15617994'}]
SELECT DISTINCT ?n WHERE { resource:Q13362 property:P47 ?n . ?n rdf:type ontology:Q15617994 }
Copparo Argenta, Emilia–Romagna Baricella Canaro Stienta Occhiobello Gaiba Formignana Ficarolo Ro Portomaggiore Poggio Renatico Vigarano Mainarda Voghiera Ostellato
Argenta, Emilia–Romagna, Ostellato and Baricella share the border with that administrative territory
Argenta, Emilia–Romagna Ostellato Baricella
action filter_type
action find
entity Ferrara
relation shares border with
type designation for an administrative territorial entity
['Ferrara', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { resource:Ferrara property:shares_border_with ?n . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q13362
P1376
Q15089
USER
Which province of Italy has Ferrara as its capital ?
(Q13362,P1376,c(Q15089))
action filter_type
action find
entity Q13362
relation P1376
type Q15089
['Q13362', 'P1376', {'concept': 'Q15089'}]
SELECT DISTINCT ?a WHERE { resource:Q13362 property:P1376 ?a . ?a rdf:type ontology:Q15089 }
Ferrara
action filter_type
action find
entity Ferrara
relation capital of
type province of Italy
['Ferrara', 'capital of', {'concept': 'province of Italy'}]
SELECT DISTINCT ?a WHERE { resource:Ferrara property:capital_of ?a . ?a rdf:type ontology:province_of_Italy }
[]
province of Italy
Q16168
SYSTEM
Province of Ferrara
Q16168
(Q13362,P1376,c(Q15089))
action filter_type
action find
entity Q13362
relation P1376
type Q15089
The [ANSWER] has Ferrara as its capital
['Q13362', 'P1376', {'concept': 'Q15089'}]
SELECT DISTINCT ?a WHERE { resource:Q13362 property:P1376 ?a . ?a rdf:type ontology:Q15089 }
Province of Ferrara
The Province of Ferrara has Ferrara as its capital
Province of Ferrara
action filter_type
action find
entity Ferrara
relation capital of
type province of Italy
['Ferrara', 'capital of', {'concept': 'province of Italy'}]
SELECT DISTINCT ?a WHERE { resource:Ferrara property:capital_of ?a . ?a rdf:type ontology:province_of_Italy }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q13410
Q15089
USER
And also tell me about Latina?
(Q13410,P1376,c(Q15089))
action filter_type
action find
entity Q13410
relation P1376
type Q15089
['Q13410', 'P1376', {'concept': 'Q15089'}]
SELECT DISTINCT ?s WHERE { resource:Q13410 property:P1376 ?s . ?s rdf:type ontology:Q15089 }
Latina
action filter_type
action find
entity Latina
relation capital of
type province of Italy
['Latina', 'capital of', {'concept': 'province of Italy'}]
SELECT DISTINCT ?s WHERE { resource:Latina property:capital_of ?s . ?s rdf:type ontology:province_of_Italy }
[]
province of Italy
Q16196
SYSTEM
Province of Latina
Q16196
(Q13410,P1376,c(Q15089))
action filter_type
action find
entity Q13410
relation P1376
type Q15089
[ANSWER]
['Q13410', 'P1376', {'concept': 'Q15089'}]
SELECT DISTINCT ?s WHERE { resource:Q13410 property:P1376 ?s . ?s rdf:type ontology:Q15089 }
Province of Latina
Province of Latina
action filter_type
action find
entity Latina
relation capital of
type province of Italy
['Latina', 'capital of', {'concept': 'province of Italy'}]
SELECT DISTINCT ?s WHERE { resource:Latina property:capital_of ?s . ?s rdf:type ontology:province_of_Italy }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P17
Q15617994 Q2668072 Q13406554
USER
Which administrative territories are exactly 7 collections and sport competitions located in ?
(c(Q2668072)|c(Q13406554),P17,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q2668072
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q13406554
value 7
[[{'concept': 'Q2668072'}, {'concept': 'Q13406554'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?d ) AS ?q ) WHERE { { ?d property:P17 ?y . ?d rdf:type ontology:Q2668072 . ?y rdf:type ontology:Q15617994 } UNION { ?y rdf:type ontology:Q15617994 . ?d rdf:type ontology:Q13406554 . ?d property:P17 ?y } } GROUP BY ?y } . FILTER ( ?q = 7 ) }
action equal
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type collection
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type sport competition
value 7
[[{'concept': 'collection'}, {'concept': 'sport competition'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?d ) AS ?q ) WHERE { { ?d property:country ?y . ?d rdf:type ontology:collection . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d rdf:type ontology:sport_competition . ?d property:country ?y } } GROUP BY ?y } . FILTER ( ?q = 7 ) }
[]
designation for an administrative territorial entity collection sport competition
Q851 Q796 Q189
SYSTEM
Saudi Arabia, Iraq, Iceland
Q800 Q262 Q796 Q736 Q851 Q189
(c(Q2668072)|c(Q13406554),P17,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q2668072
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q13406554
value 7
[ANSWERS]
[[{'concept': 'Q2668072'}, {'concept': 'Q13406554'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?d ) AS ?q ) WHERE { { ?d property:P17 ?y . ?d rdf:type ontology:Q2668072 . ?y rdf:type ontology:Q15617994 } UNION { ?y rdf:type ontology:Q15617994 . ?d rdf:type ontology:Q13406554 . ?d property:P17 ?y } } GROUP BY ?y } . FILTER ( ?q = 7 ) }
Costa Rica Algeria Iraq Ecuador Saudi Arabia Iceland
Which administrative territories are exactly 7 collections and sport competitions located in
Saudi Arabia Iraq Iceland
action equal
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type collection
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type sport competition
value 7
[[{'concept': 'collection'}, {'concept': 'sport competition'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?d ) AS ?q ) WHERE { { ?d property:country ?y . ?d rdf:type ontology:collection . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d rdf:type ontology:sport_competition . ?d property:country ?y } } GROUP BY ?y } . FILTER ( ?q = 7 ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1773001
P530
Q1048835
USER
Do Lezáun have tactful political relations with those administrative territories ?
(Q1773001,P530,Q851) (Q1773001,P530,Q796) (Q1773001,P530,Q189)
action is_in
entity prev_answer
action find
entity Q1773001
relation P530
['Q1773001', 'P530', 'Q851'] ['Q1773001', 'P530', 'Q796'] ['Q1773001', 'P530', 'Q189']
ASK WHERE { resource:Q1773001 property:P530 ?g . VALUES ( ?g ) { ( resource:Q800 ) ( resource:Q262 ) ( resource:Q796 ) } }
Lezáun
action is_in
entity prev_answer
action find
entity Lezáun
relation diplomatic relation
['Lezáun', 'diplomatic relation', 'Saudi Arabia'] ['Lezáun', 'diplomatic relation', 'Iraq'] ['Lezáun', 'diplomatic relation', 'Iceland']
ASK WHERE { resource:Lezáun property:diplomatic_relation ?g . VALUES ( ?g ) { ( resource:Costa_Rica ) ( resource:Algeria ) ( resource:Iraq ) } }
[]
political territorial entity
SYSTEM
NO
(Q1773001,P530,Q851) (Q1773001,P530,Q796) (Q1773001,P530,Q189)
action is_in
entity prev_answer
action find
entity Q1773001
relation P530
[ANSWER]
['Q1773001', 'P530', 'Q851'] ['Q1773001', 'P530', 'Q796'] ['Q1773001', 'P530', 'Q189']
ASK WHERE { resource:Q1773001 property:P530 ?g . VALUES ( ?g ) { ( resource:Q800 ) ( resource:Q262 ) ( resource:Q796 ) } }
No
action is_in
entity prev_answer
action find
entity Lezáun
relation diplomatic relation
['Lezáun', 'diplomatic relation', 'Saudi Arabia'] ['Lezáun', 'diplomatic relation', 'Iraq'] ['Lezáun', 'diplomatic relation', 'Iceland']
ASK WHERE { resource:Lezáun property:diplomatic_relation ?g . VALUES ( ?g ) { ( resource:Costa_Rica ) ( resource:Algeria ) ( resource:Iraq ) } }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q38 Q95131
P47 P17
Q486972
USER
Which human settlements have an adjacent border with Ostellato and are situated in Italy ?
AND((c(Q486972),P47,Q95131), (c(Q486972),P17,Q38))
action filter_type
action intersection
action find_reverse
entity Q95131
relation P47
action find_reverse
entity Q38
relation P17
type Q486972
{'AND': [[{'concept': 'Q486972'}, 'P47', 'Q95131'], [{'concept': 'Q486972'}, 'P17', 'Q38']]}
SELECT DISTINCT ?m WHERE { ?m property:P47 resource:Q95131 . ?m property:P17 resource:Q38 . ?m rdf:type ontology:Q486972 }
Italy Ostellato
action filter_type
action intersection
action find_reverse
entity Ostellato
relation shares border with
action find_reverse
entity Italy
relation country
type human settlement
{'AND': [[{'concept': 'human settlement'}, 'shares border with', 'Ostellato'], [{'concept': 'human settlement'}, 'country', 'Italy']]}
SELECT DISTINCT ?m WHERE { ?m property:shares_border_with resource:Ostellato . ?m property:country resource:Italy . ?m rdf:type ontology:human_settlement }
[]
human settlement
Q95114 Q95122 Q95124
SYSTEM
Massa Fiscaglia, Migliarino, Migliaro
Q95114 Q95122 Q95124
AND((c(Q486972),P47,Q95131), (c(Q486972),P17,Q38))
action filter_type
action intersection
action find_reverse
entity Q95131
relation P47
action find_reverse
entity Q38
relation P17
type Q486972
[ANSWERS] have an adjacent border with Ostellato and are situated in Italy
{'AND': [[{'concept': 'Q486972'}, 'P47', 'Q95131'], [{'concept': 'Q486972'}, 'P17', 'Q38']]}
SELECT DISTINCT ?m WHERE { ?m property:P47 resource:Q95131 . ?m property:P17 resource:Q38 . ?m rdf:type ontology:Q486972 }
Massa Fiscaglia Migliarino Migliaro
Massa Fiscaglia, Migliarino and Migliaro have an adjacent border with Ostellato and are situated in Italy
Massa Fiscaglia Migliarino Migliaro
action filter_type
action intersection
action find_reverse
entity Ostellato
relation shares border with
action find_reverse
entity Italy
relation country
type human settlement
{'AND': [[{'concept': 'human settlement'}, 'shares border with', 'Ostellato'], [{'concept': 'human settlement'}, 'country', 'Italy']]}
SELECT DISTINCT ?m WHERE { ?m property:shares_border_with resource:Ostellato . ?m property:country resource:Italy . ?m rdf:type ontology:human_settlement }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q95131
P47
Q15617994
USER
Does Ostellato share border with those human settlements ?
(Q95131,P47,Q95114) (Q95131,P47,Q95122) (Q95131,P47,Q95124)
action is_in
entity prev_answer
action find
entity Q95131
relation P47
['Q95131', 'P47', 'Q95114'] ['Q95131', 'P47', 'Q95122'] ['Q95131', 'P47', 'Q95124']
ASK WHERE { VALUES ( ?o ) { ( resource:Q95114 ) ( resource:Q95122 ) ( resource:Q95124 ) } . resource:Q95131 property:P47 ?o }
Ostellato
action is_in
entity prev_answer
action find
entity Ostellato
relation shares border with
['Ostellato', 'shares border with', 'Massa Fiscaglia'] ['Ostellato', 'shares border with', 'Migliarino'] ['Ostellato', 'shares border with', 'Migliaro']
ASK WHERE { VALUES ( ?o ) { ( resource:Massa_Fiscaglia ) ( resource:Migliarino ) ( resource:Migliaro ) } . resource:Ostellato property:shares_border_with ?o }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q95131,P47,Q95114) (Q95131,P47,Q95122) (Q95131,P47,Q95124)
action is_in
entity prev_answer
action find
entity Q95131
relation P47
[ANSWER]
['Q95131', 'P47', 'Q95114'] ['Q95131', 'P47', 'Q95122'] ['Q95131', 'P47', 'Q95124']
ASK WHERE { VALUES ( ?o ) { ( resource:Q95114 ) ( resource:Q95122 ) ( resource:Q95124 ) } . resource:Q95131 property:P47 ?o }
Yes
action is_in
entity prev_answer
action find
entity Ostellato
relation shares border with
['Ostellato', 'shares border with', 'Massa Fiscaglia'] ['Ostellato', 'shares border with', 'Migliarino'] ['Ostellato', 'shares border with', 'Migliaro']
ASK WHERE { VALUES ( ?o ) { ( resource:Massa_Fiscaglia ) ( resource:Migliarino ) ( resource:Migliaro ) } . resource:Ostellato property:shares_border_with ?o }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P1376
Q914262 Q486972
USER
Which administrative territory of Swedens have atleast 1 human settlement as their capital ?
(c(Q486972),P1376,c(Q914262))
action atleast
action find_reverse_tuple_counts
relation P1376
type Q914262
type Q486972
value 1
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q914262'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?r ) AS ?h ) WHERE { ?r property:P1376 ?a . ?a rdf:type ontology:Q914262 . ?r rdf:type ontology:Q486972 } GROUP BY ?a } . FILTER ( ?h >= 1 ) }
action atleast
action find_reverse_tuple_counts
relation capital of
type administrative territorial entity of Sweden
type human settlement
value 1
[{'concept': 'human settlement'}, 'capital of', {'concept': 'administrative territorial entity of Sweden'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?r ) AS ?h ) WHERE { ?r property:capital_of ?a . ?a rdf:type ontology:administrative_territorial_entity_of_Sweden . ?r rdf:type ontology:human_settlement } GROUP BY ?a } . FILTER ( ?h >= 1 ) }
[]
administrative territorial entity of Sweden human settlement
Q503162 Q508168 Q182007
SYSTEM
Alingsås Municipality, Falkenberg Municipality, Alvesta Municipality
Q508168 Q266401 Q515519 Q493855 Q946647 Q503162 Q503167 Q431271 Q182007
(c(Q486972),P1376,c(Q914262))
action atleast
action find_reverse_tuple_counts
relation P1376
type Q914262
type Q486972
value 1
[ANSWERS] have atleast 1 human settlement as their capital
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q914262'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?r ) AS ?h ) WHERE { ?r property:P1376 ?a . ?a rdf:type ontology:Q914262 . ?r rdf:type ontology:Q486972 } GROUP BY ?a } . FILTER ( ?h >= 1 ) }
Falkenberg Municipality Höör Municipality Tomelilla Municipality Arjeplog Municipality Nacka Municipality Alingsås Municipality Aneby Municipality Arboga Municipality Alvesta Municipality
Alingsås Municipality, Falkenberg Municipality and Alvesta Municipality have atleast 1 human settlement as their capital
Alingsås Municipality Falkenberg Municipality Alvesta Municipality
action atleast
action find_reverse_tuple_counts
relation capital of
type administrative territorial entity of Sweden
type human settlement
value 1
[{'concept': 'human settlement'}, 'capital of', {'concept': 'administrative territorial entity of Sweden'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?r ) AS ?h ) WHERE { ?r property:capital_of ?a . ?a rdf:type ontology:administrative_territorial_entity_of_Sweden . ?r rdf:type ontology:human_settlement } GROUP BY ?a } . FILTER ( ?h >= 1 ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P1376
Q914262 Q486972
USER
Which human settlements are the capital of exactly 1 administrative territory of Sweden ?
(c(Q486972),P1376,c(Q914262))
action equal
action find_tuple_counts
relation P1376
type Q486972
type Q914262
value 1
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q914262'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?f ) AS ?y ) WHERE { ?u property:P1376 ?f . ?f rdf:type ontology:Q914262 . ?u rdf:type ontology:Q486972 } GROUP BY ?u } . FILTER ( ?y = 1 ) }
action equal
action find_tuple_counts
relation capital of
type human settlement
type administrative territorial entity of Sweden
value 1
[{'concept': 'human settlement'}, 'capital of', {'concept': 'administrative territorial entity of Sweden'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?f ) AS ?y ) WHERE { ?u property:capital_of ?f . ?f rdf:type ontology:administrative_territorial_entity_of_Sweden . ?u rdf:type ontology:human_settlement } GROUP BY ?u } . FILTER ( ?y = 1 ) }
[]
administrative territorial entity of Sweden human settlement
Q13383459 Q1940596 Q674988
SYSTEM
Nacka, Aneby, Falkenberg
Q1940596 Q674988 Q54743 Q765434 Q669660 Q2604885 Q983681 Q671330 Q13383459
(c(Q486972),P1376,c(Q914262))
action equal
action find_tuple_counts
relation P1376
type Q486972
type Q914262
value 1
[ANSWERS] are the capital of exactly 1 administrative territory of Sweden
[{'concept': 'Q486972'}, 'P1376', {'concept': 'Q914262'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?f ) AS ?y ) WHERE { ?u property:P1376 ?f . ?f rdf:type ontology:Q914262 . ?u rdf:type ontology:Q486972 } GROUP BY ?u } . FILTER ( ?y = 1 ) }
Aneby Falkenberg Alingsås Höör Arboga Alvesta Tomelilla Arjeplog Nacka
Nacka, Aneby and Falkenberg are the capital of exactly 1 administrative territory of Sweden
Nacka Aneby Falkenberg
action equal
action find_tuple_counts
relation capital of
type human settlement
type administrative territorial entity of Sweden
value 1
[{'concept': 'human settlement'}, 'capital of', {'concept': 'administrative territorial entity of Sweden'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?f ) AS ?y ) WHERE { ?u property:capital_of ?f . ?f rdf:type ontology:administrative_territorial_entity_of_Sweden . ?u rdf:type ontology:human_settlement } GROUP BY ?u } . FILTER ( ?y = 1 ) }
[]