Simple Question (Direct)
Simple Question
Q69768
P47
Q13220204
USER
Who share the border with Amriswil ?
(Q69768,P47,c(Q13220204))
action filter_type
action find
entity Q69768
relation P47
type Q13220204
['Q69768', 'P47', {'concept': 'Q13220204'}]
SELECT DISTINCT ?a WHERE { resource:Q69768 property:P47 ?a . ?a rdf:type ontology:Q13220204 }
Amriswil
action filter_type
action find
entity Amriswil
relation shares border with
type second-level administrative country subdivision
['Amriswil', 'shares border with', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ?a WHERE { resource:Amriswil property:shares_border_with ?a . ?a rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q65443 Q65029 Q65439
SYSTEM
Zihlschlacht-Sitterdorf, Egnach, Erlen
Q67044 Q65029 Q65439 Q66405 Q65443 Q66641
(Q69768,P47,c(Q13220204))
action filter_type
action find
entity Q69768
relation P47
type Q13220204
[ANSWERS] share the border with Amriswil
['Q69768', 'P47', {'concept': 'Q13220204'}]
SELECT DISTINCT ?a WHERE { resource:Q69768 property:P47 ?a . ?a rdf:type ontology:Q13220204 }
Muolen Egnach Erlen Hefenhofen Zihlschlacht-Sitterdorf Sommeri
Zihlschlacht-Sitterdorf, Egnach and Erlen share the border with Amriswil
Zihlschlacht-Sitterdorf Egnach Erlen
action filter_type
action find
entity Amriswil
relation shares border with
type second-level administrative country subdivision
['Amriswil', 'shares border with', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ?a WHERE { resource:Amriswil property:shares_border_with ?a . ?a rdf:type ontology:second-level_administrative_country_subdivision }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q65443 Q65029 Q65439
P47
Q13220204
USER
Which administrative country subdivisions are bordered by those ones ?
(c(Q13220204),P47,Q65443) (c(Q13220204),P47,Q65029) (c(Q13220204),P47,Q65439)
action filter_type
action find
entity prev_answer
relation P47
type Q13220204
[{'concept': 'Q13220204'}, 'P47', 'Q65443'] [{'concept': 'Q13220204'}, 'P47', 'Q65029'] [{'concept': 'Q13220204'}, 'P47', 'Q65439']
SELECT DISTINCT ?z WHERE { ?o property:P47 ?z . VALUES ( ?o ) { ( resource:Q67044 ) ( resource:Q65029 ) ( resource:Q65439 ) } . ?z rdf:type ontology:Q13220204 }
Zihlschlacht-Sitterdorf Egnach Erlen
action filter_type
action find
entity prev_answer
relation shares border with
type second-level administrative country subdivision
[{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Zihlschlacht-Sitterdorf'] [{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Egnach'] [{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Erlen']
SELECT DISTINCT ?z WHERE { ?o property:shares_border_with ?z . VALUES ( ?o ) { ( resource:Muolen ) ( resource:Egnach ) ( resource:Erlen ) } . ?z rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q64865 Q66087 Q66087
SYSTEM
Häggenschwil for 2nd, 3rd, Bischofszell for 1st
Q66309 Q67044 Q66307 Q66087 Q65439 Q69768 Q64865 Q64156 Q67044 Q65577 Q66087 Q69768 Q66652 Q66309 Q66312 Q65767 Q65443 Q69768 Q66641
(c(Q13220204),P47,Q65443) (c(Q13220204),P47,Q65029) (c(Q13220204),P47,Q65439)
action filter_type
action find
entity prev_answer
relation P47
type Q13220204
[ANSWERS]
[{'concept': 'Q13220204'}, 'P47', 'Q65443'] [{'concept': 'Q13220204'}, 'P47', 'Q65029'] [{'concept': 'Q13220204'}, 'P47', 'Q65439']
SELECT DISTINCT ?z WHERE { ?o property:P47 ?z . VALUES ( ?o ) { ( resource:Q67044 ) ( resource:Q65029 ) ( resource:Q65439 ) } . ?z rdf:type ontology:Q13220204 }
Hohentannen Muolen Hauptwil-Gottshaus Häggenschwil Erlen Amriswil Bischofszell Arbon Muolen Roggwil Häggenschwil Amriswil Salmsach Hohentannen Langrickenbach Birwinken Zihlschlacht-Sitterdorf Amriswil Sommeri
Bischofszell, Häggenschwil and Häggenschwil are bordered by those ones
Bischofszell Häggenschwil Häggenschwil
action filter_type
action find
entity prev_answer
relation shares border with
type second-level administrative country subdivision
[{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Zihlschlacht-Sitterdorf'] [{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Egnach'] [{'concept': 'second-level administrative country subdivision'}, 'shares border with', 'Erlen']
SELECT DISTINCT ?z WHERE { ?o property:shares_border_with ?z . VALUES ( ?o ) { ( resource:Muolen ) ( resource:Egnach ) ( resource:Erlen ) } . ?z rdf:type ontology:second-level_administrative_country_subdivision }
[]
Clarification
Simple Question|Single Entity|Indirect
Q66087
P17
Q15617994
USER
Which administrative territory is that administrative country subdivision present in ?
(Q66087,P17,c(Q15617994))
action filter_type
action find
entity Q66087
relation P17
type Q15617994
['Q66087', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q15617994 . resource:Q66087 property:P17 ?x }
Häggenschwil
action filter_type
action find
entity Häggenschwil
relation country
type designation for an administrative territorial entity
['Häggenschwil', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Häggenschwil property:country ?x }
[]
designation for an administrative territorial entity
Clarification for simple ques.
Q64865
SYSTEM
Did you mean Bischofszell ?
Q64865 Q66087 Q66087
(Q64865,P17,c(Q15617994)) (Q66087,P17,c(Q15617994)) (Q66087,P17,c(Q15617994))
[ANSWER]
['Q64865', 'P17', {'concept': 'Q15617994'}] ['Q66087', 'P17', {'concept': 'Q15617994'}] ['Q66087', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q15617994 . resource:Q66087 property:P17 ?x }
Bischofszell Häggenschwil Häggenschwil
Did you mean Bischofszell ?
Bischofszell
['Bischofszell', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Häggenschwil', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Häggenschwil', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Häggenschwil property:country ?x }
[]
Simple Question (Coreferenced)
USER
No, I meant Häggenschwil. Could you tell me the answer for that?
(Q66087,P17,c(Q15617994))
Q66087
['Q66087', 'P17', {'concept': 'Q15617994'}]
['Häggenschwil', 'country', {'concept': 'designation for an administrative territorial entity'}]
[]
Q39
SYSTEM
Switzerland
Q39
(Q66087,P17,c(Q15617994))
action filter_type
action find
entity Q66087
relation P17
type Q15617994
That administrative country subdivision is in [ANSWER]
['Q66087', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:Q15617994 . resource:Q66087 property:P17 ?x }
Switzerland
That administrative country subdivision is in Switzerland
Switzerland
action filter_type
action find
entity Häggenschwil
relation country
type designation for an administrative territorial entity
['Häggenschwil', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Häggenschwil property:country ?x }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q39 Q40 Q375274
P47
Q1048835
USER
Is that administrative territory bordered by Austria and Santa Rita do Itueto ?
(Q39,P47,Q40) (Q39,P47,Q375274)
action is_in
entity Q39
action intersection
action find_reverse
entity Q40
relation P47
action find_reverse
entity Q375274
relation P47
['Q39', 'P47', 'Q40'] ['Q39', 'P47', 'Q375274']
ASK WHERE { resource:Q39 property:P47 resource:Q40 . resource:Q39 property:P47 resource:Q375274 }
Switzerland Austria Santa Rita do Itueto
action is_in
entity Switzerland
action intersection
action find_reverse
entity Austria
relation shares border with
action find_reverse
entity Santa Rita do Itueto
relation shares border with
['Switzerland', 'shares border with', 'Austria'] ['Switzerland', 'shares border with', 'Santa Rita do Itueto']
ASK WHERE { resource:Switzerland property:shares_border_with resource:Austria . resource:Switzerland property:shares_border_with resource:Santa_Rita_do_Itueto }
[]
political territorial entity
SYSTEM
YES and NO respectively
(Q39,P47,Q40) (Q39,P47,Q375274)
action is_in
entity Q39
action intersection
action find_reverse
entity Q40
relation P47
action find_reverse
entity Q375274
relation P47
[ANSWER]
['Q39', 'P47', 'Q40'] ['Q39', 'P47', 'Q375274']
ASK WHERE { resource:Q39 property:P47 resource:Q40 . resource:Q39 property:P47 resource:Q375274 }
YES and NO respectively
action is_in
entity Switzerland
action intersection
action find_reverse
entity Austria
relation shares border with
action find_reverse
entity Santa Rita do Itueto
relation shares border with
['Switzerland', 'shares border with', 'Austria'] ['Switzerland', 'shares border with', 'Santa Rita do Itueto']
ASK WHERE { resource:Switzerland property:shares_border_with resource:Austria . resource:Switzerland property:shares_border_with resource:Santa_Rita_do_Itueto }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q65443 Q39
P17
Q15617994
USER
Is Zihlschlacht-Sitterdorf present in Switzerland ?
(Q65443,P17,Q39)
action is_in
entity Q39
action find
entity Q65443
relation P17
['Q65443', 'P17', 'Q39']
ASK WHERE { resource:Q65443 property:P17 resource:Q39 }
Zihlschlacht-Sitterdorf Switzerland
action is_in
entity Switzerland
action find
entity Zihlschlacht-Sitterdorf
relation country
['Zihlschlacht-Sitterdorf', 'country', 'Switzerland']
ASK WHERE { resource:Zihlschlacht-Sitterdorf property:country resource:Switzerland }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q65443,P17,Q39)
action is_in
entity Q39
action find
entity Q65443
relation P17
[ANSWER]
['Q65443', 'P17', 'Q39']
ASK WHERE { resource:Q65443 property:P17 resource:Q39 }
Yes
action is_in
entity Switzerland
action find
entity Zihlschlacht-Sitterdorf
relation country
['Zihlschlacht-Sitterdorf', 'country', 'Switzerland']
ASK WHERE { resource:Zihlschlacht-Sitterdorf property:country resource:Switzerland }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q1048835 Q15617994
USER
Which political territories have diplomatic relationships with around 26 administrative territories ?
(c(Q15617994),P530,c(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 26
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?j ) AS ?s ) WHERE { ?h property:P530 ?j . ?h rdf:type ontology:Q1048835 . ?j rdf:type ontology:Q15617994 } GROUP BY ?h } . FILTER ( ?s = 26 ) }
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 26
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?j ) AS ?s ) WHERE { ?h property:diplomatic_relation ?j . ?h rdf:type ontology:political_territorial_entity . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?h } . FILTER ( ?s = 26 ) }
[]
political territorial entity designation for an administrative territorial entity
Q35 Q16 Q40
SYSTEM
Denmark, Canada, Austria
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q16 Q664 Q766
(c(Q15617994),P530,c(Q1048835))
action approx
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
value 26
[ANSWERS] have diplomatic relationships with around 26 administrative territories
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?j ) AS ?s ) WHERE { ?h property:P530 ?j . ?h rdf:type ontology:Q1048835 . ?j rdf:type ontology:Q15617994 } GROUP BY ?h } . FILTER ( ?s = 26 ) }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
Denmark, Canada and Austria have diplomatic relationships with around 26 administrative territories
Denmark Canada Austria
action approx
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
value 26
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?j ) AS ?s ) WHERE { ?h property:diplomatic_relation ?j . ?h rdf:type ontology:political_territorial_entity . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?h } . FILTER ( ?s = 26 ) }
[]