Simple Question (Direct)
Simple Question
Q3694347
P641
Q349
USER
What did Corrado Zorzin participate in ?
(Q3694347,P641,c(Q349))
action filter_type
action find
entity Q3694347
relation P641
type Q349
['Q3694347', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?m WHERE { resource:Q3694347 property:P641 ?m . ?m rdf:type ontology:Q349 }
Corrado Zorzin
action filter_type
action find
entity Corrado Zorzin
relation sport
type sport
['Corrado Zorzin', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?m WHERE { resource:Corrado_Zorzin property:sport ?m . ?m rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
(Q3694347,P641,c(Q349))
action filter_type
action find
entity Q3694347
relation P641
type Q349
Corrado Zorzin participated in [ANSWER]
['Q3694347', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?m WHERE { resource:Q3694347 property:P641 ?m . ?m rdf:type ontology:Q349 }
association football
Corrado Zorzin participated in association football
association football
action filter_type
action find
entity Corrado Zorzin
relation sport
type sport
['Corrado Zorzin', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?m WHERE { resource:Corrado_Zorzin property:sport ?m . ?m rdf:type ontology:sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q3694347
P106
Q12737077
USER
What is the job of that person ?
(Q2736,P106,c(Q12737077))
action filter_type
action find
entity Q3694347
relation P106
type Q12737077
['Q2736', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q12737077 . resource:Q3694347 property:P106 ?v }
Corrado Zorzin
action filter_type
action find
entity Corrado Zorzin
relation occupation
type occupation
['association football', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:occupation . resource:Corrado_Zorzin property:occupation ?v }
[]
occupation
Q937857
SYSTEM
association football player
Q937857
(Q2736,P106,c(Q12737077))
action filter_type
action find
entity Q3694347
relation P106
type Q12737077
The job of that person is an [ANSWER]
['Q2736', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q12737077 . resource:Q3694347 property:P106 ?v }
association football player
The job of that person is an association football player
association football player
action filter_type
action find
entity Corrado Zorzin
relation occupation
type occupation
['association football', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:occupation . resource:Corrado_Zorzin property:occupation ?v }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q3694347
P27
Q15617994
USER
Which administrative territory is the country of citizenship of that person ?
(Q937857,P27,c(Q15617994))
action filter_type
action find
entity Q3694347
relation P27
type Q15617994
['Q937857', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { resource:Q3694347 property:P27 ?d . ?d rdf:type ontology:Q15617994 }
Corrado Zorzin
action filter_type
action find
entity Corrado Zorzin
relation country of citizenship
type designation for an administrative territorial entity
['association football player', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Corrado_Zorzin property:country_of_citizenship ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q38
SYSTEM
Italy
Q38
(Q937857,P27,c(Q15617994))
action filter_type
action find
entity Q3694347
relation P27
type Q15617994
[ANSWER] is the country of citizenship of that person
['Q937857', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { resource:Q3694347 property:P27 ?d . ?d rdf:type ontology:Q15617994 }
Italy
Italy is the country of citizenship of that person
Italy
action filter_type
action find
entity Corrado Zorzin
relation country of citizenship
type designation for an administrative territorial entity
['association football player', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { resource:Corrado_Zorzin property:country_of_citizenship ?d . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q38 Q45 Q1440507
P530
Q15617994
USER
Does that administrative territory have tactful political relations with Portugal and Fraijanes ?
(Q38,P530,Q45) (Q38,P530,Q1440507)
action is_in
entity Q38
action intersection
action find_reverse
entity Q45
relation P530
action find_reverse
entity Q1440507
relation P530
['Q38', 'P530', 'Q45'] ['Q38', 'P530', 'Q1440507']
ASK WHERE { resource:Q38 property:P530 resource:Q45 . resource:Q38 property:P530 resource:Q1440507 }
Italy Portugal Fraijanes
action is_in
entity Italy
action intersection
action find_reverse
entity Portugal
relation diplomatic relation
action find_reverse
entity Fraijanes
relation diplomatic relation
['Italy', 'diplomatic relation', 'Portugal'] ['Italy', 'diplomatic relation', 'Fraijanes']
ASK WHERE { resource:Italy property:diplomatic_relation resource:Portugal . resource:Italy property:diplomatic_relation resource:Fraijanes }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q38,P530,Q45) (Q38,P530,Q1440507)
action is_in
entity Q38
action intersection
action find_reverse
entity Q45
relation P530
action find_reverse
entity Q1440507
relation P530
[ANSWER]
['Q38', 'P530', 'Q45'] ['Q38', 'P530', 'Q1440507']
ASK WHERE { resource:Q38 property:P530 resource:Q45 . resource:Q38 property:P530 resource:Q1440507 }
YES and NO respectively
action is_in
entity Italy
action intersection
action find_reverse
entity Portugal
relation diplomatic relation
action find_reverse
entity Fraijanes
relation diplomatic relation
['Italy', 'diplomatic relation', 'Portugal'] ['Italy', 'diplomatic relation', 'Fraijanes']
ASK WHERE { resource:Italy property:diplomatic_relation resource:Portugal . resource:Italy property:diplomatic_relation resource:Fraijanes }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q3525728 Q38
P530 P495
Q15617994
USER
Which administrative territories holds diplomatic relationship with Italy and are not the countries of origin of Thomas the Impostor ?
AND((Q38,P530,c(Q15617994)), NOT((Q3525728,P495,c(Q15617994))))
action filter_type
action difference
action find
entity Q38
relation P530
action find
entity Q3525728
relation P495
type Q15617994
{'AND': [['Q38', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q3525728', 'P495', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Q38 property:P530 ?e . MINUS { resource:Q3525728 property:P495 ?e } . ?e rdf:type ontology:Q15617994 }
Thomas the Impostor Italy
action filter_type
action difference
action find
entity Italy
relation diplomatic relation
action find
entity Thomas the Impostor
relation country of origin
type designation for an administrative territorial entity
{'AND': [['Italy', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Thomas the Impostor', 'country of origin', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Italy property:diplomatic_relation ?e . MINUS { resource:Thomas_the_Impostor property:country_of_origin ?e } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q399 Q211 Q213 Q114 Q215 Q37 Q869 Q29 Q881 Q419
SYSTEM
Some of them are Armenia, Latvia, Czech Republic, Kenya, Slovenia, Lithuania, Thailand, Spain, Vietnam, Peru
Q805 Q219 Q869 Q801 Q189 Q843 Q184 Q423 Q822 Q419 Q668 Q347 Q414 Q227 Q225 Q224 Q55 Q222 Q221 Q145 Q148 Q96 Q31 Q229 Q228 Q33 Q32 Q17 Q30 Q37 Q36 Q79 Q34 Q77 Q39 Q1016 Q739 Q948 Q191 Q733 Q928 Q298 Q45 Q252 Q114 Q399 Q403 Q230 Q233 Q258 Q43 Q212 Q213 Q236 Q211 Q159 Q217 Q214 Q215 Q155 Q218 Q41 Q238 Q796 Q794 Q20 Q1045 Q889 Q27 Q28 Q29 Q884 Q881
AND((Q38,P530,c(Q15617994)), NOT((Q3525728,P495,c(Q15617994))))
action filter_type
action difference
action find
entity Q38
relation P530
action find
entity Q3525728
relation P495
type Q15617994
[ANSWERS] hold diplomatic relationship with Italy and are not the countries of origin of Thomas the Impostor
{'AND': [['Q38', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q3525728', 'P495', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Q38 property:P530 ?e . MINUS { resource:Q3525728 property:P495 ?e } . ?e rdf:type ontology:Q15617994 }
Yemen Bulgaria Thailand Israel Iceland Pakistan Belarus North Korea Lebanon Peru India Liechtenstein Argentina Azerbaijan Bosnia and Herzegovina Croatia Netherlands Albania Republic of Macedonia United Kingdom People's Republic of China Mexico Belgium Cyprus Andorra Finland Luxembourg Japan United States of America Lithuania Poland Egypt Sweden Uruguay Switzerland Libya Colombia Tunisia Estonia Paraguay Philippines Chile Portugal Indonesia Kenya Armenia Serbia Georgia Malta South Africa Turkey Ukraine Czech Republic Montenegro Latvia Russia Republic of Moldova Slovakia Slovenia Brazil Romania Greece San Marino Iraq Iran Norway Somalia Afghanistan Ireland Hungary Spain South Korea Vietnam
Armenia, Latvia, Czech Republic, Kenya, Slovenia, Lithuania, Thailand, Spain, Vietnam and Peru hold diplomatic relationship with Italy and are not the countries of origin of Thomas the Impostor
Armenia Latvia Czech Republic Kenya Slovenia Lithuania Thailand Spain Vietnam Peru
action filter_type
action difference
action find
entity Italy
relation diplomatic relation
action find
entity Thomas the Impostor
relation country of origin
type designation for an administrative territorial entity
{'AND': [['Italy', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Thomas the Impostor', 'country of origin', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Italy property:diplomatic_relation ?e . MINUS { resource:Thomas_the_Impostor property:country_of_origin ?e } . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P138
Q15617994 Q13220204 Q486972
USER
Which administrative territories are namesakes of exactly 1 administrative country subdivisions and human settlements ?
(c(Q13220204)|c(Q486972),P138,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q13220204
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q486972
value 1
[[{'concept': 'Q13220204'}, {'concept': 'Q486972'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) ?z WHERE { { ?x property:P138 ?z . ?z rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q13220204 } UNION { ?z rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q486972 . ?x property:P138 ?z } } GROUP BY ?z } . FILTER ( ?l = 1 ) }
action equal
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type second-level administrative country subdivision
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type human settlement
value 1
[[{'concept': 'second-level administrative country subdivision'}, {'concept': 'human settlement'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) ?z WHERE { { ?x property:named_after ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:second-level_administrative_country_subdivision } UNION { ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:human_settlement . ?x property:named_after ?z } } GROUP BY ?z } . FILTER ( ?l = 1 ) }
[]
designation for an administrative territorial entity second-level administrative country subdivision human settlement
Q2719360 Q243474 Q42668
SYSTEM
Duchy of Luxembourg, Rees, Pudost
Q243474 Q159856 Q2719360 Q42668
(c(Q13220204)|c(Q486972),P138,c(Q15617994))
action equal
action union
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q13220204
action find_reverse_tuple_counts
relation P138
type Q15617994
type Q486972
value 1
[ANSWERS] are namesakes of exactly 1 administrative country subdivisions and human settlements
[[{'concept': 'Q13220204'}, {'concept': 'Q486972'}], 'P138', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) ?z WHERE { { ?x property:P138 ?z . ?z rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q13220204 } UNION { ?z rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q486972 . ?x property:P138 ?z } } GROUP BY ?z } . FILTER ( ?l = 1 ) }
Rees Duchy of Brabant Duchy of Luxembourg Pudost
Duchy of Luxembourg, Rees and Pudost are namesakes of exactly 1 administrative country subdivisions and human settlements
Duchy of Luxembourg Rees Pudost
action equal
action union
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type second-level administrative country subdivision
action find_reverse_tuple_counts
relation named after
type designation for an administrative territorial entity
type human settlement
value 1
[[{'concept': 'second-level administrative country subdivision'}, {'concept': 'human settlement'}], 'named after', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?l ) ?z WHERE { { ?x property:named_after ?z . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:second-level_administrative_country_subdivision } UNION { ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:human_settlement . ?x property:named_after ?z } } GROUP BY ?z } . FILTER ( ?l = 1 ) }
[]
Clarification
Simple Question|Single Entity|Indirect
Q2719360
P1376
Q56061
USER
Which administrative territory is the capital of that administrative territory ?
(c(Q56061),P1376,Q2719360)
action filter_type
action find_reverse
entity Q2719360
relation P1376
type Q56061
[{'concept': 'Q56061'}, 'P1376', 'Q2719360']
SELECT DISTINCT ?s WHERE { ?s property:P1376 resource:Q2719360 . ?s rdf:type ontology:Q56061 }
Duchy of Luxembourg
action filter_type
action find_reverse
entity Duchy of Luxembourg
relation capital of
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'capital of', 'Duchy of Luxembourg']
SELECT DISTINCT ?s WHERE { ?s property:capital_of resource:Duchy_of_Luxembourg . ?s rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Clarification for simple ques.
Q243474
SYSTEM
Did you mean Rees ?
Q2719360 Q243474 Q42668
(c(Q56061),P1376,Q2719360) (c(Q56061),P1376,Q243474) (c(Q56061),P1376,Q42668)
[ANSWER]
[{'concept': 'Q56061'}, 'P1376', 'Q2719360'] [{'concept': 'Q56061'}, 'P1376', 'Q243474'] [{'concept': 'Q56061'}, 'P1376', 'Q42668']
SELECT DISTINCT ?s WHERE { ?s property:P1376 resource:Q2719360 . ?s rdf:type ontology:Q56061 }
Duchy of Luxembourg Rees Pudost
Did you mean Rees ?
Rees
[{'concept': 'administrative territorial entity'}, 'capital of', 'Duchy of Luxembourg'] [{'concept': 'administrative territorial entity'}, 'capital of', 'Rees'] [{'concept': 'administrative territorial entity'}, 'capital of', 'Pudost']
SELECT DISTINCT ?s WHERE { ?s property:capital_of resource:Duchy_of_Luxembourg . ?s rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
USER
No, I meant Duchy of Luxembourg. Could you tell me the answer for that?
(c(Q56061),P1376,Q2719360)
Q2719360
[{'concept': 'Q56061'}, 'P1376', 'Q2719360']
[{'concept': 'administrative territorial entity'}, 'capital of', 'Duchy of Luxembourg']
[]
Q1842
SYSTEM
Luxembourg
Q1842
(c(Q56061),P1376,Q2719360)
action filter_type
action find_reverse
entity Q2719360
relation P1376
type Q56061
[ANSWER] is the capital of that administrative territory
[{'concept': 'Q56061'}, 'P1376', 'Q2719360']
SELECT DISTINCT ?s WHERE { ?s property:P1376 resource:Q2719360 . ?s rdf:type ontology:Q56061 }
Luxembourg
Luxembourg is the capital of that administrative territory
Luxembourg
action filter_type
action find_reverse
entity Duchy of Luxembourg
relation capital of
type administrative territorial entity
[{'concept': 'administrative territorial entity'}, 'capital of', 'Duchy of Luxembourg']
SELECT DISTINCT ?s WHERE { ?s property:capital_of resource:Duchy_of_Luxembourg . ?s rdf:type ontology:administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type|Indirect
P1376
Q15617994
USER
How many administrative territories have that administrative territory as their capital ?
(Q1842,P1376,c(Q15617994))
action count
action filter_type
action find
entity Q1842
relation P1376
type Q15617994
['Q1842', 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) WHERE { ?a rdf:type ontology:Q15617994 . resource:Q1842 property:P1376 ?a }
action count
action filter_type
action find
entity Luxembourg
relation capital of
type designation for an administrative territorial entity
['Luxembourg', 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) WHERE { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Luxembourg property:capital_of ?a }
[]
designation for an administrative territorial entity
SYSTEM
3
Q32 Q2719360 Q378004
(Q1842,P1376,c(Q15617994))
action count
action filter_type
action find
entity Q1842
relation P1376
type Q15617994
[ANSWER]
['Q1842', 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) WHERE { ?a rdf:type ontology:Q15617994 . resource:Q1842 property:P1376 ?a }
Luxembourg Duchy of Luxembourg Forêts
3
action count
action filter_type
action find
entity Luxembourg
relation capital of
type designation for an administrative territorial entity
['Luxembourg', 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?a ) AS ?j ) WHERE { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Luxembourg property:capital_of ?a }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1842
P190
Q20667921
USER
Which french administrative division is twin city of Luxembourg ?
(Q1842,P190,c(Q20667921))
action filter_type
action find
entity Q1842
relation P190
type Q20667921
['Q1842', 'P190', {'concept': 'Q20667921'}]
SELECT DISTINCT ?n WHERE { resource:Q1842 property:P190 ?n . ?n rdf:type ontology:Q20667921 }
Luxembourg
action filter_type
action find
entity Luxembourg
relation sister city
type type of french administrative division
['Luxembourg', 'sister city', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?n WHERE { resource:Luxembourg property:sister_city ?n . ?n rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q22690
SYSTEM
Metz
Q22690
(Q1842,P190,c(Q20667921))
action filter_type
action find
entity Q1842
relation P190
type Q20667921
[ANSWER] is twin city of Luxembourg
['Q1842', 'P190', {'concept': 'Q20667921'}]
SELECT DISTINCT ?n WHERE { resource:Q1842 property:P190 ?n . ?n rdf:type ontology:Q20667921 }
Metz
Metz is twin city of Luxembourg
Metz
action filter_type
action find
entity Luxembourg
relation sister city
type type of french administrative division
['Luxembourg', 'sister city', {'concept': 'type of french administrative division'}]
SELECT DISTINCT ?n WHERE { resource:Luxembourg property:sister_city ?n . ?n rdf:type ontology:type_of_french_administrative_division }
[]