Simple Question (Direct)
Simple Question
Q410809
P17
Q15617994
USER
Which administrative territory is Aiton, Savoie located in ?
(Q410809,P17,c(Q15617994))
action filter_type
action find
entity Q410809
relation P17
type Q15617994
['Q410809', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?j WHERE { resource:Q410809 property:P17 ?j . ?j rdf:type ontology:Q15617994 }
Aiton, Savoie
action filter_type
action find
entity Aiton, Savoie
relation country
type designation for an administrative territorial entity
['Aiton, Savoie', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { resource:Aiton,_Savoie property:country ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
(Q410809,P17,c(Q15617994))
action filter_type
action find
entity Q410809
relation P17
type Q15617994
Aiton , Savoie is located in [ANSWER]
['Q410809', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?j WHERE { resource:Q410809 property:P17 ?j . ?j rdf:type ontology:Q15617994 }
France
Aiton , Savoie is located in France
France
action filter_type
action find
entity Aiton, Savoie
relation country
type designation for an administrative territorial entity
['Aiton, Savoie', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?j WHERE { resource:Aiton,_Savoie property:country ?j . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q410809
P20
Q502895
USER
Which person expired at that french administrative division ?
(c(Q502895),P20,Q142)
action filter_type
action find_reverse
entity Q410809
relation P20
type Q502895
[{'concept': 'Q502895'}, 'P20', 'Q142']
SELECT DISTINCT ?m WHERE { ?m property:P20 resource:Q410809 . ?m rdf:type ontology:Q502895 }
Aiton, Savoie
action filter_type
action find_reverse
entity Aiton, Savoie
relation place of death
type common name
[{'concept': 'common name'}, 'place of death', 'France']
SELECT DISTINCT ?m WHERE { ?m property:place_of_death resource:Aiton,_Savoie . ?m rdf:type ontology:common_name }
[]
common name
Q717871
SYSTEM
John of Segovia
Q717871
(c(Q502895),P20,Q142)
action filter_type
action find_reverse
entity Q410809
relation P20
type Q502895
[ANSWER] expired at that french administrative division
[{'concept': 'Q502895'}, 'P20', 'Q142']
SELECT DISTINCT ?m WHERE { ?m property:P20 resource:Q410809 . ?m rdf:type ontology:Q502895 }
John of Segovia
John of Segovia expired at that french administrative division
John of Segovia
action filter_type
action find_reverse
entity Aiton, Savoie
relation place of death
type common name
[{'concept': 'common name'}, 'place of death', 'France']
SELECT DISTINCT ?m WHERE { ?m property:place_of_death resource:Aiton,_Savoie . ?m rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q717871 Q572452 Q29
P27
Q15617994
USER
Is that person a civilian of Appenheim and Spain ?
(Q717871,P27,Q572452) (Q717871,P27,Q29)
action is_in
entity Q717871
action intersection
action find_reverse
entity Q572452
relation P27
action find_reverse
entity Q29
relation P27
['Q717871', 'P27', 'Q572452'] ['Q717871', 'P27', 'Q29']
ASK WHERE { resource:Q717871 property:P27 resource:Q29 . resource:Q717871 property:P27 resource:Q572452 }
John of Segovia Appenheim Spain
action is_in
entity John of Segovia
action intersection
action find_reverse
entity Appenheim
relation country of citizenship
action find_reverse
entity Spain
relation country of citizenship
['John of Segovia', 'country of citizenship', 'Appenheim'] ['John of Segovia', 'country of citizenship', 'Spain']
ASK WHERE { resource:John_of_Segovia property:country_of_citizenship resource:Spain . resource:John_of_Segovia property:country_of_citizenship resource:Appenheim }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q717871,P27,Q572452) (Q717871,P27,Q29)
action is_in
entity Q717871
action intersection
action find_reverse
entity Q572452
relation P27
action find_reverse
entity Q29
relation P27
[ANSWER]
['Q717871', 'P27', 'Q572452'] ['Q717871', 'P27', 'Q29']
ASK WHERE { resource:Q717871 property:P27 resource:Q29 . resource:Q717871 property:P27 resource:Q572452 }
NO and YES respectively
action is_in
entity John of Segovia
action intersection
action find_reverse
entity Appenheim
relation country of citizenship
action find_reverse
entity Spain
relation country of citizenship
['John of Segovia', 'country of citizenship', 'Appenheim'] ['John of Segovia', 'country of citizenship', 'Spain']
ASK WHERE { resource:John_of_Segovia property:country_of_citizenship resource:Spain . resource:John_of_Segovia property:country_of_citizenship resource:Appenheim }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1001
Q15617994 Q12737077 Q11204
USER
Which administrative territories come under the supervision of atleast 43 occupations and legislatures ?
(c(Q12737077)|c(Q11204),P1001,c(Q15617994))
action atleast
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q12737077
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q11204
value 43
[[{'concept': 'Q12737077'}, {'concept': 'Q11204'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?m ) ?v WHERE { { ?x property:P1001 ?v . ?v rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q12737077 } UNION { ?v rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q11204 . ?x property:P1001 ?v } } GROUP BY ?v } . FILTER ( ?m >= 43 ) }
action atleast
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type occupation
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type legislature
value 43
[[{'concept': 'occupation'}, {'concept': 'legislature'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?m ) ?v WHERE { { ?x property:applies_to_jurisdiction ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:occupation } UNION { ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:legislature . ?x property:applies_to_jurisdiction ?v } } GROUP BY ?v } . FILTER ( ?m >= 43 ) }
[]
designation for an administrative territorial entity occupation legislature
Q145 Q41
SYSTEM
United Kingdom, Greece
Q145 Q41
(c(Q12737077)|c(Q11204),P1001,c(Q15617994))
action atleast
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q12737077
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q11204
value 43
[ANSWERS] come under the supervision of atleast 43 occupations and legislatures
[[{'concept': 'Q12737077'}, {'concept': 'Q11204'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?m ) ?v WHERE { { ?x property:P1001 ?v . ?v rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q12737077 } UNION { ?v rdf:type ontology:Q15617994 . ?x rdf:type ontology:Q11204 . ?x property:P1001 ?v } } GROUP BY ?v } . FILTER ( ?m >= 43 ) }
United Kingdom Greece
United Kingdom and Greece come under the supervision of atleast 43 occupations and legislatures
United Kingdom Greece
action atleast
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type occupation
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type legislature
value 43
[[{'concept': 'occupation'}, {'concept': 'legislature'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?m ) ?v WHERE { { ?x property:applies_to_jurisdiction ?v . ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:occupation } UNION { ?v rdf:type ontology:designation_for_an_administrative_territorial_entity . ?x rdf:type ontology:legislature . ?x property:applies_to_jurisdiction ?v } } GROUP BY ?v } . FILTER ( ?m >= 43 ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q21886658 Q572452
P17
Q1048835
USER
Which political territories are Appenheim or Mornington River situated in ?
OR((Q572452,P17,c(Q1048835)), (Q21886658,P17,c(Q1048835)))
action filter_type
action union
action find
entity Q572452
relation P17
action find
entity Q21886658
relation P17
type Q1048835
{'OR': [['Q572452', 'P17', {'concept': 'Q1048835'}], ['Q21886658', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q572452 property:P17 ?a } UNION { resource:Q21886658 property:P17 ?a } } . ?a rdf:type ontology:Q1048835 }
Mornington River Appenheim
action filter_type
action union
action find
entity Appenheim
relation country
action find
entity Mornington River
relation country
type political territorial entity
{'OR': [['Appenheim', 'country', {'concept': 'political territorial entity'}], ['Mornington River', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Appenheim property:country ?a } UNION { resource:Mornington_River property:country ?a } } . ?a rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q408 Q183
SYSTEM
Australia, Germany
Q408 Q183
OR((Q572452,P17,c(Q1048835)), (Q21886658,P17,c(Q1048835)))
action filter_type
action union
action find
entity Q572452
relation P17
action find
entity Q21886658
relation P17
type Q1048835
[ANSWERS]
{'OR': [['Q572452', 'P17', {'concept': 'Q1048835'}], ['Q21886658', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q572452 property:P17 ?a } UNION { resource:Q21886658 property:P17 ?a } } . ?a rdf:type ontology:Q1048835 }
Australia Germany
Which political territories are Appenheim or Mornington River situated in
Australia Germany
action filter_type
action union
action find
entity Appenheim
relation country
action find
entity Mornington River
relation country
type political territorial entity
{'OR': [['Appenheim', 'country', {'concept': 'political territorial entity'}], ['Mornington River', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Appenheim property:country ?a } UNION { resource:Mornington_River property:country ?a } } . ?a rdf:type ontology:political_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q19556851
P27
Q502895
USER
Are Eva Buhrich a citizen of those political territories ?
(Q19556851,P27,Q408) (Q19556851,P27,Q183)
action is_in
entity prev_answer
action find
entity Q19556851
relation P27
['Q19556851', 'P27', 'Q408'] ['Q19556851', 'P27', 'Q183']
ASK WHERE { VALUES ( ?p ) { ( resource:Q408 ) ( resource:Q183 ) } . resource:Q19556851 property:P27 ?p }
Eva Buhrich
action is_in
entity prev_answer
action find
entity Eva Buhrich
relation country of citizenship
['Eva Buhrich', 'country of citizenship', 'Australia'] ['Eva Buhrich', 'country of citizenship', 'Germany']
ASK WHERE { VALUES ( ?p ) { ( resource:Australia ) ( resource:Germany ) } . resource:Eva_Buhrich property:country_of_citizenship ?p }
[]
common name
SYSTEM
YES
(Q19556851,P27,Q408) (Q19556851,P27,Q183)
action is_in
entity prev_answer
action find
entity Q19556851
relation P27
[ANSWER]
['Q19556851', 'P27', 'Q408'] ['Q19556851', 'P27', 'Q183']
ASK WHERE { VALUES ( ?p ) { ( resource:Q408 ) ( resource:Q183 ) } . resource:Q19556851 property:P27 ?p }
Yes
action is_in
entity prev_answer
action find
entity Eva Buhrich
relation country of citizenship
['Eva Buhrich', 'country of citizenship', 'Australia'] ['Eva Buhrich', 'country of citizenship', 'Germany']
ASK WHERE { VALUES ( ?p ) { ( resource:Australia ) ( resource:Germany ) } . resource:Eva_Buhrich property:country_of_citizenship ?p }
[]