Simple Question (Direct)
Simple Question
Q14893
P17
Q1048835
USER
Which political territory does Ettlingen belong to ?
(Q14893,P17,c(Q1048835))
action filter_type
action find
entity Q14893
relation P17
type Q1048835
['Q14893', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?w WHERE { resource:Q14893 property:P17 ?w . ?w rdf:type ontology:Q1048835 }
Ettlingen
action filter_type
action find
entity Ettlingen
relation country
type political territorial entity
['Ettlingen', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Ettlingen property:country ?w . ?w rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q14893,P17,c(Q1048835))
action filter_type
action find
entity Q14893
relation P17
type Q1048835
Ettlingen belongs to [ANSWER]
['Q14893', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ?w WHERE { resource:Q14893 property:P17 ?w . ?w rdf:type ontology:Q1048835 }
Germany
Ettlingen belongs to Germany
Germany
action filter_type
action find
entity Ettlingen
relation country
type political territorial entity
['Ettlingen', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?w WHERE { resource:Ettlingen property:country ?w . ?w rdf:type ontology:political_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q14893
P190
Q20667921
USER
Which french administrative division is partner town of Ettlingen ?
(c(Q20667921),P190,Q14893)
action filter_type
action find
entity Q14893
relation P190
type Q20667921
[{'concept': 'Q20667921'}, 'P190', 'Q14893']
SELECT DISTINCT ?g WHERE { resource:Q14893 property:P190 ?g . ?g rdf:type ontology:Q20667921 }
Ettlingen
action filter_type
action find
entity Ettlingen
relation sister city
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'sister city', 'Ettlingen']
SELECT DISTINCT ?g WHERE { resource:Ettlingen property:sister_city ?g . ?g rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q205537
SYSTEM
Épernay
Q205537
(c(Q20667921),P190,Q14893)
action filter_type
action find
entity Q14893
relation P190
type Q20667921
[ANSWER] is partner town of Ettlingen
[{'concept': 'Q20667921'}, 'P190', 'Q14893']
SELECT DISTINCT ?g WHERE { resource:Q14893 property:P190 ?g . ?g rdf:type ontology:Q20667921 }
Épernay
Épernay is partner town of Ettlingen
Épernay
action filter_type
action find
entity Ettlingen
relation sister city
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'sister city', 'Ettlingen']
SELECT DISTINCT ?g WHERE { resource:Ettlingen property:sister_city ?g . ?g rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q205537
P36
Q20667921
USER
Which french administrative divisions have that one as their capital ?
(c(Q20667921),P36,Q205537)
action filter_type
action find_reverse
entity Q205537
relation P36
type Q20667921
[{'concept': 'Q20667921'}, 'P36', 'Q205537']
SELECT DISTINCT ?v WHERE { ?v property:P36 resource:Q205537 . ?v rdf:type ontology:Q20667921 }
Épernay
action filter_type
action find_reverse
entity Épernay
relation capital
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital', 'Épernay']
SELECT DISTINCT ?v WHERE { ?v property:capital resource:Épernay . ?v rdf:type ontology:type_of_french_administrative_division }
[]
type of french administrative division
Q1728023 Q531264
SYSTEM
canton of Épernay-1, canton of Épernay-2
Q1728023 Q531264
(c(Q20667921),P36,Q205537)
action filter_type
action find_reverse
entity Q205537
relation P36
type Q20667921
[ANSWERS] have that one as their capital
[{'concept': 'Q20667921'}, 'P36', 'Q205537']
SELECT DISTINCT ?v WHERE { ?v property:P36 resource:Q205537 . ?v rdf:type ontology:Q20667921 }
canton of Épernay-1 canton of Épernay-2
Canton of Épernay-1 and canton of Épernay-2 have that one as their capital
canton of Épernay-1 canton of Épernay-2
action filter_type
action find_reverse
entity Épernay
relation capital
type type of french administrative division
[{'concept': 'type of french administrative division'}, 'capital', 'Épernay']
SELECT DISTINCT ?v WHERE { ?v property:capital resource:Épernay . ?v rdf:type ontology:type_of_french_administrative_division }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q205537
P1376
Q20667921
USER
Are Épernay the capital of those ones ?
(Q205537,P1376,Q1728023) (Q205537,P1376,Q531264)
action is_in
entity prev_answer
action find
entity Q205537
relation P1376
['Q205537', 'P1376', 'Q1728023'] ['Q205537', 'P1376', 'Q531264']
ASK WHERE { resource:Q205537 property:P1376 ?u . VALUES ( ?u ) { ( resource:Q1728023 ) ( resource:Q531264 ) } }
Épernay
action is_in
entity prev_answer
action find
entity Épernay
relation capital of
['Épernay', 'capital of', 'canton of Épernay-1'] ['Épernay', 'capital of', 'canton of Épernay-2']
ASK WHERE { resource:Épernay property:capital_of ?u . VALUES ( ?u ) { ( resource:canton_of_Épernay-1 ) ( resource:canton_of_Épernay-2 ) } }
[]
type of french administrative division
SYSTEM
YES
(Q205537,P1376,Q1728023) (Q205537,P1376,Q531264)
action is_in
entity prev_answer
action find
entity Q205537
relation P1376
[ANSWER]
['Q205537', 'P1376', 'Q1728023'] ['Q205537', 'P1376', 'Q531264']
ASK WHERE { resource:Q205537 property:P1376 ?u . VALUES ( ?u ) { ( resource:Q1728023 ) ( resource:Q531264 ) } }
Yes
action is_in
entity prev_answer
action find
entity Épernay
relation capital of
['Épernay', 'capital of', 'canton of Épernay-1'] ['Épernay', 'capital of', 'canton of Épernay-2']
ASK WHERE { resource:Épernay property:capital_of ?u . VALUES ( ?u ) { ( resource:canton_of_Épernay-1 ) ( resource:canton_of_Épernay-2 ) } }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q854 Q183
P27
Q502895
USER
Which people are a native of Germany and Sri Lanka ?
AND((c(Q502895),P27,Q183), (c(Q502895),P27,Q854))
action filter_type
action intersection
action find_reverse
entity Q183
relation P27
action find_reverse
entity Q854
relation P27
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P27', 'Q183'], [{'concept': 'Q502895'}, 'P27', 'Q854']]}
SELECT DISTINCT ?p WHERE { ?p property:P27 resource:Q183 . ?p property:P27 resource:Q854 . ?p rdf:type ontology:Q502895 }
Sri Lanka Germany
action filter_type
action intersection
action find_reverse
entity Germany
relation country of citizenship
action find_reverse
entity Sri Lanka
relation country of citizenship
type common name
{'AND': [[{'concept': 'common name'}, 'country of citizenship', 'Germany'], [{'concept': 'common name'}, 'country of citizenship', 'Sri Lanka']]}
SELECT DISTINCT ?p WHERE { ?p property:country_of_citizenship resource:Germany . ?p property:country_of_citizenship resource:Sri_Lanka . ?p rdf:type ontology:common_name }
[]
common name
Q106731
SYSTEM
Anne Ranasinghe
Q106731
AND((c(Q502895),P27,Q183), (c(Q502895),P27,Q854))
action filter_type
action intersection
action find_reverse
entity Q183
relation P27
action find_reverse
entity Q854
relation P27
type Q502895
[ANSWER] is a native of Germany and Sri Lanka
{'AND': [[{'concept': 'Q502895'}, 'P27', 'Q183'], [{'concept': 'Q502895'}, 'P27', 'Q854']]}
SELECT DISTINCT ?p WHERE { ?p property:P27 resource:Q183 . ?p property:P27 resource:Q854 . ?p rdf:type ontology:Q502895 }
Anne Ranasinghe
Anne Ranasinghe is a native of Germany and Sri Lanka
Anne Ranasinghe
action filter_type
action intersection
action find_reverse
entity Germany
relation country of citizenship
action find_reverse
entity Sri Lanka
relation country of citizenship
type common name
{'AND': [[{'concept': 'common name'}, 'country of citizenship', 'Germany'], [{'concept': 'common name'}, 'country of citizenship', 'Sri Lanka']]}
SELECT DISTINCT ?p WHERE { ?p property:country_of_citizenship resource:Germany . ?p property:country_of_citizenship resource:Sri_Lanka . ?p rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q2253927 Q183
P530 P27
Q15617994
USER
Which administrative territories have a diplomatic relationship with Germany and are Théophile Funck-Brentano an inhabitant of ?
AND((Q183,P530,c(Q15617994)), (Q2253927,P27,c(Q15617994)))
action filter_type
action intersection
action find
entity Q183
relation P530
action find
entity Q2253927
relation P27
type Q15617994
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], ['Q2253927', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?m WHERE { resource:Q2253927 property:P27 ?m . resource:Q183 property:P530 ?m . ?m rdf:type ontology:Q15617994 }
Théophile Funck-Brentano Germany
action filter_type
action intersection
action find
entity Germany
relation diplomatic relation
action find
entity Théophile Funck-Brentano
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Théophile Funck-Brentano', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?m WHERE { resource:Théophile_Funck-Brentano property:country_of_citizenship ?m . resource:Germany property:diplomatic_relation ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q142
SYSTEM
France
Q142
AND((Q183,P530,c(Q15617994)), (Q2253927,P27,c(Q15617994)))
action filter_type
action intersection
action find
entity Q183
relation P530
action find
entity Q2253927
relation P27
type Q15617994
[ANSWER] have a diplomatic relationship with Germany and are Théophile Funck-Brentano an inhabitant of
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], ['Q2253927', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?m WHERE { resource:Q2253927 property:P27 ?m . resource:Q183 property:P530 ?m . ?m rdf:type ontology:Q15617994 }
France
France have a diplomatic relationship with Germany and are Théophile Funck-Brentano an inhabitant of
France
action filter_type
action intersection
action find
entity Germany
relation diplomatic relation
action find
entity Théophile Funck-Brentano
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Théophile Funck-Brentano', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?m WHERE { resource:Théophile_Funck-Brentano property:country_of_citizenship ?m . resource:Germany property:diplomatic_relation ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2253927
P19
Q56061
USER
Which administrative territory was that person born at ?
(Q142,P19,c(Q56061))
action filter_type
action find
entity Q2253927
relation P19
type Q56061
['Q142', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?s WHERE { resource:Q2253927 property:P19 ?s . ?s rdf:type ontology:Q56061 }
Théophile Funck-Brentano
action filter_type
action find
entity Théophile Funck-Brentano
relation place of birth
type administrative territorial entity
['France', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Théophile_Funck-Brentano property:place_of_birth ?s . ?s rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q1842
SYSTEM
Luxembourg
Q1842
(Q142,P19,c(Q56061))
action filter_type
action find
entity Q2253927
relation P19
type Q56061
That person was born in [ANSWER]
['Q142', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?s WHERE { resource:Q2253927 property:P19 ?s . ?s rdf:type ontology:Q56061 }
Luxembourg
That person was born in Luxembourg
Luxembourg
action filter_type
action find
entity Théophile Funck-Brentano
relation place of birth
type administrative territorial entity
['France', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Théophile_Funck-Brentano property:place_of_birth ?s . ?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 ( ?r ) AS ?v ) WHERE { ?r rdf:type ontology:Q15617994 . resource:Q1842 property:P1376 ?r }
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 ( ?r ) AS ?v ) WHERE { ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Luxembourg property:capital_of ?r }
[]
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 ( ?r ) AS ?v ) WHERE { ?r rdf:type ontology:Q15617994 . resource:Q1842 property:P1376 ?r }
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 ( ?r ) AS ?v ) WHERE { ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Luxembourg property:capital_of ?r }
[]