Simple Question (Direct)
Simple Question
Q7184798
P641
Q349
USER
Which sport was Philippe Cravero a part of ?
(Q7184798,P641,c(Q349))
action filter_type
action find
entity Q7184798
relation P641
type Q349
['Q7184798', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?f WHERE { resource:Q7184798 property:P641 ?f . ?f rdf:type ontology:Q349 }
Philippe Cravero
action filter_type
action find
entity Philippe Cravero
relation sport
type sport
['Philippe Cravero', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?f WHERE { resource:Philippe_Cravero property:sport ?f . ?f rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
(Q7184798,P641,c(Q349))
action filter_type
action find
entity Q7184798
relation P641
type Q349
Which sport was Philippe Cravero a part of
['Q7184798', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?f WHERE { resource:Q7184798 property:P641 ?f . ?f rdf:type ontology:Q349 }
association football
Which sport was Philippe Cravero a part of
association football
action filter_type
action find
entity Philippe Cravero
relation sport
type sport
['Philippe Cravero', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?f WHERE { resource:Philippe_Cravero property:sport ?f . ?f rdf:type ontology:sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q7184798
P19
Q56061
USER
Which administrative territory is the place of birth of that person ?
(Q2736,P19,c(Q56061))
action filter_type
action find
entity Q7184798
relation P19
type Q56061
['Q2736', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q7184798 property:P19 ?e . ?e rdf:type ontology:Q56061 }
Philippe Cravero
action filter_type
action find
entity Philippe Cravero
relation place of birth
type administrative territorial entity
['association football', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Philippe_Cravero property:place_of_birth ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q71
SYSTEM
Geneva
Q71
(Q2736,P19,c(Q56061))
action filter_type
action find
entity Q7184798
relation P19
type Q56061
[ANSWER] is the place of birth of that person
['Q2736', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?e WHERE { resource:Q7184798 property:P19 ?e . ?e rdf:type ontology:Q56061 }
Geneva
Geneva is the place of birth of that person
Geneva
action filter_type
action find
entity Philippe Cravero
relation place of birth
type administrative territorial entity
['association football', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?e WHERE { resource:Philippe_Cravero property:place_of_birth ?e . ?e rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q71
P1376
Q15617994
USER
What has that administrative territory as its capital ?
(Q71,P1376,c(Q15617994))
action filter_type
action find
entity Q71
relation P1376
type Q15617994
['Q71', 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { resource:Q71 property:P1376 ?l . ?l rdf:type ontology:Q15617994 }
Geneva
action filter_type
action find
entity Geneva
relation capital of
type designation for an administrative territorial entity
['Geneva', 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { resource:Geneva property:capital_of ?l . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q691368
SYSTEM
Léman
Q691368
(Q71,P1376,c(Q15617994))
action filter_type
action find
entity Q71
relation P1376
type Q15617994
[ANSWER] has that administrative territory as its capital
['Q71', 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?l WHERE { resource:Q71 property:P1376 ?l . ?l rdf:type ontology:Q15617994 }
Léman
Léman has that administrative territory as its capital
Léman
action filter_type
action find
entity Geneva
relation capital of
type designation for an administrative territorial entity
['Geneva', 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?l WHERE { resource:Geneva property:capital_of ?l . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q71
P17
Q15617994 Q7275
USER
How many administrative territories or states do Geneva belong to ?
(Q71,P17,c(Q15617994)) (Q71,P17,c(Q7275))
action count
action union
action filter_type
action find
entity Q71
relation P17
type Q15617994
action filter_type
action find
entity Q71
relation P17
type Q7275
['Q71', 'P17', {'concept': 'Q15617994'}] ['Q71', 'P17', {'concept': 'Q7275'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?g ) WHERE { { resource:Q71 property:P17 ?y . ?y rdf:type ontology:Q15617994 } UNION { resource:Q71 property:P17 ?y . ?y rdf:type ontology:Q7275 } }
Geneva
action count
action union
action filter_type
action find
entity Geneva
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity Geneva
relation country
type state
['Geneva', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Geneva', 'country', {'concept': 'state'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?g ) WHERE { { resource:Geneva property:country ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { resource:Geneva property:country ?y . ?y rdf:type ontology:state } }
[]
designation for an administrative territorial entity state
SYSTEM
4
Q142 Q39 Q12548 Q23366230
(Q71,P17,c(Q15617994)) (Q71,P17,c(Q7275))
action count
action union
action filter_type
action find
entity Q71
relation P17
type Q15617994
action filter_type
action find
entity Q71
relation P17
type Q7275
[ANSWER]
['Q71', 'P17', {'concept': 'Q15617994'}] ['Q71', 'P17', {'concept': 'Q7275'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?g ) WHERE { { resource:Q71 property:P17 ?y . ?y rdf:type ontology:Q15617994 } UNION { resource:Q71 property:P17 ?y . ?y rdf:type ontology:Q7275 } }
France Switzerland Holy Roman Empire Republic of Geneva
4
action count
action union
action filter_type
action find
entity Geneva
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity Geneva
relation country
type state
['Geneva', 'country', {'concept': 'designation for an administrative territorial entity'}] ['Geneva', 'country', {'concept': 'state'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?g ) WHERE { { resource:Geneva property:country ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { resource:Geneva property:country ?y . ?y rdf:type ontology:state } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q15126617 Q71
P19 P190
Q515
USER
Which cities are twin towns of Geneva or are the places of birth of Edit Kőszegi ?
OR((Q71,P190,c(Q515)), (Q15126617,P19,c(Q515)))
action filter_type
action union
action find
entity Q71
relation P190
action find
entity Q15126617
relation P19
type Q515
{'OR': [['Q71', 'P190', {'concept': 'Q515'}], ['Q15126617', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Q71 property:P190 ?y } UNION { resource:Q15126617 property:P19 ?y } } . ?y rdf:type ontology:Q515 }
Edit Kőszegi Geneva
action filter_type
action union
action find
entity Geneva
relation sister city
action find
entity Edit Kőszegi
relation place of birth
type city
{'OR': [['Geneva', 'sister city', {'concept': 'city'}], ['Edit Kőszegi', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Geneva property:sister_city ?y } UNION { resource:Edit_Kőszegi property:place_of_birth ?y } } . ?y rdf:type ontology:city }
[]
city
Q1486 Q214938
SYSTEM
Buenos Aires, Gyula
Q1486 Q214938
OR((Q71,P190,c(Q515)), (Q15126617,P19,c(Q515)))
action filter_type
action union
action find
entity Q71
relation P190
action find
entity Q15126617
relation P19
type Q515
[ANSWERS] are twin towns of Geneva or are the places of birth of Edit Kőszegi
{'OR': [['Q71', 'P190', {'concept': 'Q515'}], ['Q15126617', 'P19', {'concept': 'Q515'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Q71 property:P190 ?y } UNION { resource:Q15126617 property:P19 ?y } } . ?y rdf:type ontology:Q515 }
Buenos Aires Gyula
Buenos Aires and Gyula are twin towns of Geneva or are the places of birth of Edit Kőszegi
Buenos Aires Gyula
action filter_type
action union
action find
entity Geneva
relation sister city
action find
entity Edit Kőszegi
relation place of birth
type city
{'OR': [['Geneva', 'sister city', {'concept': 'city'}], ['Edit Kőszegi', 'place of birth', {'concept': 'city'}]]}
SELECT DISTINCT ?y WHERE { { { resource:Geneva property:sister_city ?y } UNION { resource:Edit_Kőszegi property:place_of_birth ?y } } . ?y rdf:type ontology:city }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P159
Q515 Q895526 Q334453
USER
How many cities are the head office for exactly 4 authority organs or divisions located ?
(c(Q895526)|c(Q334453),P159,c(Q515))
action count
action equal
action union
action find_reverse_tuple_counts
relation P159
type Q515
type Q895526
action find_reverse_tuple_counts
relation P159
type Q515
type Q334453
value 4
[[{'concept': 'Q895526'}, {'concept': 'Q334453'}], 'P159', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?b ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?o ) WHERE { { ?j property:P159 ?e . ?e rdf:type ontology:Q515 . ?j rdf:type ontology:Q895526 } UNION { ?j property:P159 ?e . ?e rdf:type ontology:Q515 . ?j rdf:type ontology:Q334453 } } GROUP BY ?e } . FILTER ( ?o = 4 ) }
action count
action equal
action union
action find_reverse_tuple_counts
relation headquarters location
type city
type authority organ
action find_reverse_tuple_counts
relation headquarters location
type city
type division
value 4
[[{'concept': 'authority organ'}, {'concept': 'division'}], 'headquarters location', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?b ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?o ) WHERE { { ?j property:headquarters_location ?e . ?e rdf:type ontology:city . ?j rdf:type ontology:authority_organ } UNION { ?j property:headquarters_location ?e . ?e rdf:type ontology:city . ?j rdf:type ontology:division } } GROUP BY ?e } . FILTER ( ?o = 4 ) }
[]
city authority organ division
SYSTEM
5
Q3870 Q2135 Q14960 Q8652 Q11194
(c(Q895526)|c(Q334453),P159,c(Q515))
action count
action equal
action union
action find_reverse_tuple_counts
relation P159
type Q515
type Q895526
action find_reverse_tuple_counts
relation P159
type Q515
type Q334453
value 4
[ANSWER]
[[{'concept': 'Q895526'}, {'concept': 'Q334453'}], 'P159', {'concept': 'Q515'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?b ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?o ) WHERE { { ?j property:P159 ?e . ?e rdf:type ontology:Q515 . ?j rdf:type ontology:Q895526 } UNION { ?j property:P159 ?e . ?e rdf:type ontology:Q515 . ?j rdf:type ontology:Q334453 } } GROUP BY ?e } . FILTER ( ?o = 4 ) }
Nairobi Winnipeg Brno Miami Sarajevo
5
action count
action equal
action union
action find_reverse_tuple_counts
relation headquarters location
type city
type authority organ
action find_reverse_tuple_counts
relation headquarters location
type city
type division
value 4
[[{'concept': 'authority organ'}, {'concept': 'division'}], 'headquarters location', {'concept': 'city'}]
SELECT DISTINCT ( COUNT ( ?e ) AS ?b ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?j ) AS ?o ) WHERE { { ?j property:headquarters_location ?e . ?e rdf:type ontology:city . ?j rdf:type ontology:authority_organ } UNION { ?j property:headquarters_location ?e . ?e rdf:type ontology:city . ?j rdf:type ontology:division } } GROUP BY ?e } . FILTER ( ?o = 4 ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q3021334 Q7184798
P27 P17
Q15617994
USER
Which administrative territories are Philippe Cravero an inhabitant of or are Deira located in ?
OR((Q7184798,P27,c(Q15617994)), (Q3021334,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q7184798
relation P27
action find
entity Q3021334
relation P17
type Q15617994
{'OR': [['Q7184798', 'P27', {'concept': 'Q15617994'}], ['Q3021334', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q7184798 property:P27 ?s } UNION { resource:Q3021334 property:P17 ?s } } . ?s rdf:type ontology:Q15617994 }
Deira Philippe Cravero
action filter_type
action union
action find
entity Philippe Cravero
relation country of citizenship
action find
entity Deira
relation country
type designation for an administrative territorial entity
{'OR': [['Philippe Cravero', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Deira', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Philippe_Cravero property:country_of_citizenship ?s } UNION { resource:Deira property:country ?s } } . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q39 Q878
SYSTEM
Switzerland, United Arab Emirates
Q39 Q878
OR((Q7184798,P27,c(Q15617994)), (Q3021334,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q7184798
relation P27
action find
entity Q3021334
relation P17
type Q15617994
[ANSWERS] are Philippe Cravero an inhabitant of or are Deira located in
{'OR': [['Q7184798', 'P27', {'concept': 'Q15617994'}], ['Q3021334', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q7184798 property:P27 ?s } UNION { resource:Q3021334 property:P17 ?s } } . ?s rdf:type ontology:Q15617994 }
Switzerland United Arab Emirates
Switzerland and United Arab Emirates are Philippe Cravero an inhabitant of or are Deira located in
Switzerland United Arab Emirates
action filter_type
action union
action find
entity Philippe Cravero
relation country of citizenship
action find
entity Deira
relation country
type designation for an administrative territorial entity
{'OR': [['Philippe Cravero', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['Deira', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Philippe_Cravero property:country_of_citizenship ?s } UNION { resource:Deira property:country ?s } } . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have tactful political relations with those administrative territories ?
(Q183,P530,Q39) (Q183,P530,Q878)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q39'] ['Q183', 'P530', 'Q878']
ASK WHERE { resource:Q183 property:P530 ?j . VALUES ( ?j ) { ( resource:Q39 ) ( resource:Q878 ) } }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Switzerland'] ['Germany', 'diplomatic relation', 'United Arab Emirates']
ASK WHERE { resource:Germany property:diplomatic_relation ?j . VALUES ( ?j ) { ( resource:Switzerland ) ( resource:United_Arab_Emirates ) } }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q39) (Q183,P530,Q878)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q39'] ['Q183', 'P530', 'Q878']
ASK WHERE { resource:Q183 property:P530 ?j . VALUES ( ?j ) { ( resource:Q39 ) ( resource:Q878 ) } }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'Switzerland'] ['Germany', 'diplomatic relation', 'United Arab Emirates']
ASK WHERE { resource:Germany property:diplomatic_relation ?j . VALUES ( ?j ) { ( resource:Switzerland ) ( resource:United_Arab_Emirates ) } }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q39 Q183 Q16
P530
Q1048835
USER
Does Switzerland have tactful political relations with Germany and Canada ?
(Q39,P530,Q183) (Q39,P530,Q16)
action is_in
entity Q39
action intersection
action find_reverse
entity Q183
relation P530
action find_reverse
entity Q16
relation P530
['Q39', 'P530', 'Q183'] ['Q39', 'P530', 'Q16']
ASK WHERE { resource:Q39 property:P530 resource:Q16 . resource:Q39 property:P530 resource:Q183 }
Switzerland Germany Canada
action is_in
entity Switzerland
action intersection
action find_reverse
entity Germany
relation diplomatic relation
action find_reverse
entity Canada
relation diplomatic relation
['Switzerland', 'diplomatic relation', 'Germany'] ['Switzerland', 'diplomatic relation', 'Canada']
ASK WHERE { resource:Switzerland property:diplomatic_relation resource:Canada . resource:Switzerland property:diplomatic_relation resource:Germany }
[]
political territorial entity
SYSTEM
YES
(Q39,P530,Q183) (Q39,P530,Q16)
action is_in
entity Q39
action intersection
action find_reverse
entity Q183
relation P530
action find_reverse
entity Q16
relation P530
[ANSWER]
['Q39', 'P530', 'Q183'] ['Q39', 'P530', 'Q16']
ASK WHERE { resource:Q39 property:P530 resource:Q16 . resource:Q39 property:P530 resource:Q183 }
Yes
action is_in
entity Switzerland
action intersection
action find_reverse
entity Germany
relation diplomatic relation
action find_reverse
entity Canada
relation diplomatic relation
['Switzerland', 'diplomatic relation', 'Germany'] ['Switzerland', 'diplomatic relation', 'Canada']
ASK WHERE { resource:Switzerland property:diplomatic_relation resource:Canada . resource:Switzerland property:diplomatic_relation resource:Germany }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q7184798
P21
Q290
USER
What is the sex of Philippe Cravero ?
(Q7184798,P21,c(Q290))
action filter_type
action find
entity Q7184798
relation P21
type Q290
['Q7184798', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?c WHERE { resource:Q7184798 property:P21 ?c . ?c rdf:type ontology:Q290 }
Philippe Cravero
action filter_type
action find
entity Philippe Cravero
relation gender
type sex
['Philippe Cravero', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?c WHERE { resource:Philippe_Cravero property:gender ?c . ?c rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q7184798,P21,c(Q290))
action filter_type
action find
entity Q7184798
relation P21
type Q290
The sex of Philippe Cravero is the [ANSWER]
['Q7184798', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?c WHERE { resource:Q7184798 property:P21 ?c . ?c rdf:type ontology:Q290 }
male
The sex of Philippe Cravero is the male
male
action filter_type
action find
entity Philippe Cravero
relation gender
type sex
['Philippe Cravero', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?c WHERE { resource:Philippe_Cravero property:gender ?c . ?c rdf:type ontology:sex }
[]