Simple Question (Direct)
Simple Question
Q484459
P410
Q4189293
USER
Which title has Lee Beom-seok achieved ?
(Q484459,P410,c(Q4189293))
action filter_type
action find
entity Q484459
relation P410
type Q4189293
['Q484459', 'P410', {'concept': 'Q4189293'}]
SELECT DISTINCT ?b WHERE { resource:Q484459 property:P410 ?b . ?b rdf:type ontology:Q4189293 }
Lee Beom-seok
action filter_type
action find
entity Lee Beom-seok
relation military rank
type title
['Lee Beom-seok', 'military rank', {'concept': 'title'}]
SELECT DISTINCT ?b WHERE { resource:Lee_Beom-seok property:military_rank ?b . ?b rdf:type ontology:title }
[]
title
Q83460
SYSTEM
general officer
Q83460
(Q484459,P410,c(Q4189293))
action filter_type
action find
entity Q484459
relation P410
type Q4189293
Lee Beom-seok has achieved rank [ANSWER]
['Q484459', 'P410', {'concept': 'Q4189293'}]
SELECT DISTINCT ?b WHERE { resource:Q484459 property:P410 ?b . ?b rdf:type ontology:Q4189293 }
general officer
Lee Beom-seok has achieved rank general officer
general officer
action filter_type
action find
entity Lee Beom-seok
relation military rank
type title
['Lee Beom-seok', 'military rank', {'concept': 'title'}]
SELECT DISTINCT ?b WHERE { resource:Lee_Beom-seok property:military_rank ?b . ?b rdf:type ontology:title }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q484459
P20
Q515
USER
Where did Lee Beom-seok expire ?
(Q484459,P20,c(Q515))
action filter_type
action find
entity Q484459
relation P20
type Q515
['Q484459', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?d WHERE { resource:Q484459 property:P20 ?d . ?d rdf:type ontology:Q515 }
Lee Beom-seok
action filter_type
action find
entity Lee Beom-seok
relation place of death
type city
['Lee Beom-seok', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?d WHERE { resource:Lee_Beom-seok property:place_of_death ?d . ?d rdf:type ontology:city }
[]
city
Q8684
SYSTEM
Seoul
Q8684
(Q484459,P20,c(Q515))
action filter_type
action find
entity Q484459
relation P20
type Q515
Lee Beom-seok expired in [ANSWER]
['Q484459', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?d WHERE { resource:Q484459 property:P20 ?d . ?d rdf:type ontology:Q515 }
Seoul
Lee Beom-seok expired in Seoul
Seoul
action filter_type
action find
entity Lee Beom-seok
relation place of death
type city
['Lee Beom-seok', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?d WHERE { resource:Lee_Beom-seok property:place_of_death ?d . ?d rdf:type ontology:city }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q484459
P19
Q515
USER
Which city is the place of birth of that person ?
(Q8684,P19,c(Q515))
action filter_type
action find
entity Q484459
relation P19
type Q515
['Q8684', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?k WHERE { resource:Q484459 property:P19 ?k . ?k rdf:type ontology:Q515 }
Lee Beom-seok
action filter_type
action find
entity Lee Beom-seok
relation place of birth
type city
['Seoul', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?k WHERE { resource:Lee_Beom-seok property:place_of_birth ?k . ?k rdf:type ontology:city }
[]
city
Q8684
SYSTEM
Seoul
Q8684
(Q8684,P19,c(Q515))
action filter_type
action find
entity Q484459
relation P19
type Q515
[ANSWER] is the place of birth of that person
['Q8684', 'P19', {'concept': 'Q515'}]
SELECT DISTINCT ?k WHERE { resource:Q484459 property:P19 ?k . ?k rdf:type ontology:Q515 }
Seoul
Seoul is the place of birth of that person
Seoul
action filter_type
action find
entity Lee Beom-seok
relation place of birth
type city
['Seoul', 'place of birth', {'concept': 'city'}]
SELECT DISTINCT ?k WHERE { resource:Lee_Beom-seok property:place_of_birth ?k . ?k rdf:type ontology:city }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q8684
P190
Q515 Q852446
USER
How many cities or US administrative territories are twin towns of Seoul ?
(Q8684,P190,c(Q515)) (Q8684,P190,c(Q852446))
action count
action union
action filter_type
action find
entity Q8684
relation P190
type Q515
action filter_type
action find
entity Q8684
relation P190
type Q852446
['Q8684', 'P190', {'concept': 'Q515'}] ['Q8684', 'P190', {'concept': 'Q852446'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?s ) WHERE { VALUES ( ?k ) { ( ontology:Q515 ) ( ontology:Q852446 ) } . ?h rdf:type ?k }
Seoul
action count
action union
action filter_type
action find
entity Seoul
relation sister city
type city
action filter_type
action find
entity Seoul
relation sister city
type administrative territorial entity of the United States
['Seoul', 'sister city', {'concept': 'city'}] ['Seoul', 'sister city', {'concept': 'administrative territorial entity of the United States'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?s ) WHERE { VALUES ( ?k ) { ( ontology:city ) ( ontology:administrative_territorial_entity_of_the_United_States ) } . ?h rdf:type ?k }
[]
city administrative territorial entity of the United States
SYSTEM
6
Q3616 Q23430 Q1858 Q19689 Q1486 Q487704
(Q8684,P190,c(Q515)) (Q8684,P190,c(Q852446))
action count
action union
action filter_type
action find
entity Q8684
relation P190
type Q515
action filter_type
action find
entity Q8684
relation P190
type Q852446
[ANSWER]
['Q8684', 'P190', {'concept': 'Q515'}] ['Q8684', 'P190', {'concept': 'Q852446'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?s ) WHERE { VALUES ( ?k ) { ( ontology:Q515 ) ( ontology:Q852446 ) } . ?h rdf:type ?k }
Tehran Ulaanbaatar Hanoi Tirana Buenos Aires Honolulu County
6
action count
action union
action filter_type
action find
entity Seoul
relation sister city
type city
action filter_type
action find
entity Seoul
relation sister city
type administrative territorial entity of the United States
['Seoul', 'sister city', {'concept': 'city'}] ['Seoul', 'sister city', {'concept': 'administrative territorial entity of the United States'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?s ) WHERE { VALUES ( ?k ) { ( ontology:city ) ( ontology:administrative_territorial_entity_of_the_United_States ) } . ?h rdf:type ?k }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q5241473 Q484459
P27
Q15617994
USER
Which administrative territories are Lee Beom-seok or David de Lindsay a civilian of ?
OR((Q484459,P27,c(Q15617994)), (Q5241473,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q484459
relation P27
action find
entity Q5241473
relation P27
type Q15617994
{'OR': [['Q484459', 'P27', {'concept': 'Q15617994'}], ['Q5241473', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?o WHERE { { { resource:Q484459 property:P27 ?o } UNION { resource:Q5241473 property:P27 ?o } } . ?o rdf:type ontology:Q15617994 }
David de Lindsay Lee Beom-seok
action filter_type
action union
action find
entity Lee Beom-seok
relation country of citizenship
action find
entity David de Lindsay
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Lee Beom-seok', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['David de Lindsay', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?o WHERE { { { resource:Lee_Beom-seok property:country_of_citizenship ?o } UNION { resource:David_de_Lindsay property:country_of_citizenship ?o } } . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q884 Q145
SYSTEM
South Korea, United Kingdom
Q884 Q145
OR((Q484459,P27,c(Q15617994)), (Q5241473,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q484459
relation P27
action find
entity Q5241473
relation P27
type Q15617994
[ANSWERS] are Lee Beom-seok or David de Lindsay a civilian of
{'OR': [['Q484459', 'P27', {'concept': 'Q15617994'}], ['Q5241473', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?o WHERE { { { resource:Q484459 property:P27 ?o } UNION { resource:Q5241473 property:P27 ?o } } . ?o rdf:type ontology:Q15617994 }
South Korea United Kingdom
South Korea and United Kingdom are Lee Beom-seok or David de Lindsay a civilian of
South Korea United Kingdom
action filter_type
action union
action find
entity Lee Beom-seok
relation country of citizenship
action find
entity David de Lindsay
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Lee Beom-seok', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['David de Lindsay', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?o WHERE { { { resource:Lee_Beom-seok property:country_of_citizenship ?o } UNION { resource:David_de_Lindsay property:country_of_citizenship ?o } } . ?o rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1376
Q13220204 Q15617994 Q515
USER
Which cities are center of administration for exactly 5 administrative country subdivisions and administrative territories ?
(c(Q515),P1376,c(Q13220204)|c(Q15617994))
action equal
action union
action find_tuple_counts
relation P1376
type Q515
type Q13220204
action find_tuple_counts
relation P1376
type Q515
type Q15617994
value 5
[{'concept': 'Q515'}, 'P1376', [{'concept': 'Q13220204'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?d ) AS ?y ) WHERE { { ?q property:P1376 ?d . ?q rdf:type ontology:Q515 . ?d rdf:type ontology:Q13220204 } UNION { ?q rdf:type ontology:Q515 . ?d rdf:type ontology:Q15617994 . ?q property:P1376 ?d } } GROUP BY ?q } . FILTER ( ?y = 5 ) }
action equal
action union
action find_tuple_counts
relation capital of
type city
type second-level administrative country subdivision
action find_tuple_counts
relation capital of
type city
type designation for an administrative territorial entity
value 5
[{'concept': 'city'}, 'capital of', [{'concept': 'second-level administrative country subdivision'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?d ) AS ?y ) WHERE { { ?q property:capital_of ?d . ?q rdf:type ontology:city . ?d rdf:type ontology:second-level_administrative_country_subdivision } UNION { ?q rdf:type ontology:city . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q property:capital_of ?d } } GROUP BY ?q } . FILTER ( ?y = 5 ) }
[]
second-level administrative country subdivision designation for an administrative territorial entity city
Q6602
SYSTEM
Strasbourg
Q6602
(c(Q515),P1376,c(Q13220204)|c(Q15617994))
action equal
action union
action find_tuple_counts
relation P1376
type Q515
type Q13220204
action find_tuple_counts
relation P1376
type Q515
type Q15617994
value 5
[ANSWER] is center of administration for exactly 5 administrative country subdivisions and administrative territories
[{'concept': 'Q515'}, 'P1376', [{'concept': 'Q13220204'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?d ) AS ?y ) WHERE { { ?q property:P1376 ?d . ?q rdf:type ontology:Q515 . ?d rdf:type ontology:Q13220204 } UNION { ?q rdf:type ontology:Q515 . ?d rdf:type ontology:Q15617994 . ?q property:P1376 ?d } } GROUP BY ?q } . FILTER ( ?y = 5 ) }
Strasbourg
Strasbourg is center of administration for exactly 5 administrative country subdivisions and administrative territories
Strasbourg
action equal
action union
action find_tuple_counts
relation capital of
type city
type second-level administrative country subdivision
action find_tuple_counts
relation capital of
type city
type designation for an administrative territorial entity
value 5
[{'concept': 'city'}, 'capital of', [{'concept': 'second-level administrative country subdivision'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?d ) AS ?y ) WHERE { { ?q property:capital_of ?d . ?q rdf:type ontology:city . ?d rdf:type ontology:second-level_administrative_country_subdivision } UNION { ?q rdf:type ontology:city . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity . ?q property:capital_of ?d } } GROUP BY ?q } . FILTER ( ?y = 5 ) }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q6602 Q198240 Q1731
P190
Q515
USER
Is that city partner town of Zhumadian and Dresden ?
(Q6602,P190,Q198240) (Q6602,P190,Q1731)
action is_in
entity Q6602
action intersection
action find_reverse
entity Q198240
relation P190
action find_reverse
entity Q1731
relation P190
['Q6602', 'P190', 'Q198240'] ['Q6602', 'P190', 'Q1731']
ASK WHERE { resource:Q6602 property:P190 resource:Q198240 . resource:Q6602 property:P190 resource:Q1731 }
Strasbourg Zhumadian Dresden
action is_in
entity Strasbourg
action intersection
action find_reverse
entity Zhumadian
relation sister city
action find_reverse
entity Dresden
relation sister city
['Strasbourg', 'sister city', 'Zhumadian'] ['Strasbourg', 'sister city', 'Dresden']
ASK WHERE { resource:Strasbourg property:sister_city resource:Zhumadian . resource:Strasbourg property:sister_city resource:Dresden }
[]
city
SYSTEM
NO and YES respectively
(Q6602,P190,Q198240) (Q6602,P190,Q1731)
action is_in
entity Q6602
action intersection
action find_reverse
entity Q198240
relation P190
action find_reverse
entity Q1731
relation P190
[ANSWER]
['Q6602', 'P190', 'Q198240'] ['Q6602', 'P190', 'Q1731']
ASK WHERE { resource:Q6602 property:P190 resource:Q198240 . resource:Q6602 property:P190 resource:Q1731 }
NO and YES respectively
action is_in
entity Strasbourg
action intersection
action find_reverse
entity Zhumadian
relation sister city
action find_reverse
entity Dresden
relation sister city
['Strasbourg', 'sister city', 'Zhumadian'] ['Strasbourg', 'sister city', 'Dresden']
ASK WHERE { resource:Strasbourg property:sister_city resource:Zhumadian . resource:Strasbourg property:sister_city resource:Dresden }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6602
P159
Q43229
USER
Which organizations have the principal seat at Strasbourg ?
action filter_type
action find_reverse
entity Q6602
relation P159
type Q43229
SELECT DISTINCT ?m WHERE { ?m property:P159 resource:Q6602 . ?m rdf:type ontology:Q43229 }
Strasbourg
action filter_type
action find_reverse
entity Strasbourg
relation headquarters location
type organization
SELECT DISTINCT ?m WHERE { ?m property:headquarters_location resource:Strasbourg . ?m rdf:type ontology:organization }
[]
organization
Q642627 Q35971 Q749431
SYSTEM
Crédit Mutuel, Mathis, Sofitel
Q749431 Q15690873 Q2311262 Q94786 Q35971 Q19972881 Q642627
action filter_type
action find_reverse
entity Q6602
relation P159
type Q43229
[ANSWERS] have the principal seat at Strasbourg
SELECT DISTINCT ?m WHERE { ?m property:P159 resource:Q6602 . ?m rdf:type ontology:Q43229 }
Sofitel H. Koulen & Sohn Électricité de Strasbourg Daniel Kern Manufacture d'Orgues Mathis Ensemble vocal Allegro Crédit Mutuel
Crédit Mutuel, Mathis and Sofitel have the principal seat at Strasbourg
Crédit Mutuel Mathis Sofitel
action filter_type
action find_reverse
entity Strasbourg
relation headquarters location
type organization
SELECT DISTINCT ?m WHERE { ?m property:headquarters_location resource:Strasbourg . ?m rdf:type ontology:organization }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q642627 Q35971 Q749431
P159
Q515
USER
Where are the headquarters of those organizations located ?
(Q642627,P159,c(Q515)) (Q35971,P159,c(Q515)) (Q749431,P159,c(Q515))
action filter_type
action find
entity prev_answer
relation P159
type Q515
['Q642627', 'P159', {'concept': 'Q515'}] ['Q35971', 'P159', {'concept': 'Q515'}] ['Q749431', 'P159', {'concept': 'Q515'}]
SELECT DISTINCT ?z WHERE { VALUES ( ?u ) { ( resource:Q749431 ) ( resource:Q15690873 ) ( resource:Q2311262 ) } . ?z rdf:type ontology:Q515 . ?u property:P159 ?z }
Crédit Mutuel Mathis Sofitel
action filter_type
action find
entity prev_answer
relation headquarters location
type city
['Crédit Mutuel', 'headquarters location', {'concept': 'city'}] ['Mathis', 'headquarters location', {'concept': 'city'}] ['Sofitel', 'headquarters location', {'concept': 'city'}]
SELECT DISTINCT ?z WHERE { VALUES ( ?u ) { ( resource:Sofitel ) ( resource:H._Koulen_&_Sohn ) ( resource:Électricité_de_Strasbourg ) } . ?z rdf:type ontology:city . ?u property:headquarters_location ?z }
[]
city
Q6602 Q6602 Q6602
SYSTEM
Strasbourg
Q6602 Q6602 Q6602
(Q642627,P159,c(Q515)) (Q35971,P159,c(Q515)) (Q749431,P159,c(Q515))
action filter_type
action find
entity prev_answer
relation P159
type Q515
Are the headquarters of those organizations located in [ANSWER], [ANSWER] and [ANSWER]
['Q642627', 'P159', {'concept': 'Q515'}] ['Q35971', 'P159', {'concept': 'Q515'}] ['Q749431', 'P159', {'concept': 'Q515'}]
SELECT DISTINCT ?z WHERE { VALUES ( ?u ) { ( resource:Q749431 ) ( resource:Q15690873 ) ( resource:Q2311262 ) } . ?z rdf:type ontology:Q515 . ?u property:P159 ?z }
Strasbourg Strasbourg Strasbourg
Are the headquarters of those organizations located in Strasbourg, Strasbourg and Strasbourg
Strasbourg Strasbourg Strasbourg
action filter_type
action find
entity prev_answer
relation headquarters location
type city
['Crédit Mutuel', 'headquarters location', {'concept': 'city'}] ['Mathis', 'headquarters location', {'concept': 'city'}] ['Sofitel', 'headquarters location', {'concept': 'city'}]
SELECT DISTINCT ?z WHERE { VALUES ( ?u ) { ( resource:Sofitel ) ( resource:H._Koulen_&_Sohn ) ( resource:Électricité_de_Strasbourg ) } . ?z rdf:type ontology:city . ?u property:headquarters_location ?z }
[]