Simple Question (Direct)
Simple Question
Q5232633
P641
Q349
USER
Which sport was David Craig a part of ?
(Q5232633,P641,c(Q349))
action filter_type
action find
entity Q5232633
relation P641
type Q349
['Q5232633', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?o WHERE { resource:Q5232633 property:P641 ?o . ?o rdf:type ontology:Q349 }
David Craig
action filter_type
action find
entity David Craig
relation sport
type sport
['David Craig', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?o WHERE { resource:David_Craig property:sport ?o . ?o rdf:type ontology:sport }
[]
sport
Q2736
SYSTEM
association football
Q2736
(Q5232633,P641,c(Q349))
action filter_type
action find
entity Q5232633
relation P641
type Q349
David Craig was in [ANSWER]
['Q5232633', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?o WHERE { resource:Q5232633 property:P641 ?o . ?o rdf:type ontology:Q349 }
association football
David Craig was in association football
association football
action filter_type
action find
entity David Craig
relation sport
type sport
['David Craig', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?o WHERE { resource:David_Craig property:sport ?o . ?o rdf:type ontology:sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q5232633
P19
Q56061
USER
Which administrative territory is the birthplace of that person ?
(Q2736,P19,c(Q56061))
action filter_type
action find
entity Q5232633
relation P19
type Q56061
['Q2736', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?o WHERE { resource:Q5232633 property:P19 ?o . ?o rdf:type ontology:Q56061 }
David Craig
action filter_type
action find
entity David Craig
relation place of birth
type administrative territorial entity
['association football', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:David_Craig property:place_of_birth ?o . ?o rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q10686
SYSTEM
Belfast
Q10686
(Q2736,P19,c(Q56061))
action filter_type
action find
entity Q5232633
relation P19
type Q56061
[ANSWER] is the birthplace of that person
['Q2736', 'P19', {'concept': 'Q56061'}]
SELECT DISTINCT ?o WHERE { resource:Q5232633 property:P19 ?o . ?o rdf:type ontology:Q56061 }
Belfast
Belfast is the birthplace of that person
Belfast
action filter_type
action find
entity David Craig
relation place of birth
type administrative territorial entity
['association football', 'place of birth', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:David_Craig property:place_of_birth ?o . ?o rdf:type ontology:administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q567075 Q5232633
P54
Q1194951
USER
What are the team that David Craig or Heinz Gründel are a member of ?
OR((Q5232633,P54,c(Q1194951)), (Q567075,P54,c(Q1194951)))
action filter_type
action union
action find
entity Q5232633
relation P54
action find
entity Q567075
relation P54
type Q1194951
{'OR': [['Q5232633', 'P54', {'concept': 'Q1194951'}], ['Q567075', 'P54', {'concept': 'Q1194951'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q5232633 property:P54 ?a } UNION { resource:Q567075 property:P54 ?a } } . ?a rdf:type ontology:Q1194951 }
Heinz Gründel David Craig
action filter_type
action union
action find
entity David Craig
relation member of sports team
action find
entity Heinz Gründel
relation member of sports team
type national sports team
{'OR': [['David Craig', 'member of sports team', {'concept': 'national sports team'}], ['Heinz Gründel', 'member of sports team', {'concept': 'national sports team'}]]}
SELECT DISTINCT ?a WHERE { { { resource:David_Craig property:member_of_sports_team ?a } UNION { resource:Heinz_Gründel property:member_of_sports_team ?a } } . ?a rdf:type ontology:national_sports_team }
[]
national sports team
Q190978 Q43310
SYSTEM
Northern Ireland national football team, Germany national football team
Q190978 Q43310
OR((Q5232633,P54,c(Q1194951)), (Q567075,P54,c(Q1194951)))
action filter_type
action union
action find
entity Q5232633
relation P54
action find
entity Q567075
relation P54
type Q1194951
The team that David Craig or Heinz Gründel are a member of are the [ANSWERS]
{'OR': [['Q5232633', 'P54', {'concept': 'Q1194951'}], ['Q567075', 'P54', {'concept': 'Q1194951'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q5232633 property:P54 ?a } UNION { resource:Q567075 property:P54 ?a } } . ?a rdf:type ontology:Q1194951 }
Northern Ireland national football team Germany national football team
The team that David Craig or Heinz Gründel are a member of are the Northern Ireland national football team and Germany national football team
Northern Ireland national football team Germany national football team
action filter_type
action union
action find
entity David Craig
relation member of sports team
action find
entity Heinz Gründel
relation member of sports team
type national sports team
{'OR': [['David Craig', 'member of sports team', {'concept': 'national sports team'}], ['Heinz Gründel', 'member of sports team', {'concept': 'national sports team'}]]}
SELECT DISTINCT ?a WHERE { { { resource:David_Craig property:member_of_sports_team ?a } UNION { resource:Heinz_Gründel property:member_of_sports_team ?a } } . ?a rdf:type ontology:national_sports_team }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q3692897
P1923
Q1194951 Q13406554
USER
Which sport competitions did greater number of national sports teams contest in than 1985–86 Cypriot Cup ?
(c(Q13406554),P1923,c(Q1194951))
action greater
action find_tuple_counts
relation P1923
type Q13406554
type Q1194951
action count
action filter_type
action find
entity Q3692897
relation P1923
type Q13406554
[{'concept': 'Q13406554'}, 'P1923', {'concept': 'Q1194951'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?p ) WHERE { resource:Q3692897 property:P1923 ?m . ?m rdf:type ontology:Q13406554 } } . FILTER ( ?y > ?p ) . { SELECT DISTINCT ?a ( COUNT ( ?q ) AS ?y ) WHERE { ?a property:P1923 ?q . ?a rdf:type ontology:Q13406554 . ?q rdf:type ontology:Q1194951 } GROUP BY ?a } }
1985–86 Cypriot Cup
action greater
action find_tuple_counts
relation participating teams
type sport competition
type national sports team
action count
action filter_type
action find
entity 1985–86 Cypriot Cup
relation participating teams
type sport competition
[{'concept': 'sport competition'}, 'participating teams', {'concept': 'national sports team'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?p ) WHERE { resource:1985–86_Cypriot_Cup property:participating_teams ?m . ?m rdf:type ontology:sport_competition } } . FILTER ( ?y > ?p ) . { SELECT DISTINCT ?a ( COUNT ( ?q ) AS ?y ) WHERE { ?a property:participating_teams ?q . ?a rdf:type ontology:sport_competition . ?q rdf:type ontology:national_sports_team } GROUP BY ?a } }
[]
national sports team sport competition
Q576136 Q24201972 Q24201656
SYSTEM
Copa América Centenario, Belgium v Italy, France v Romania
Q24202143 Q24202147 Q24202144 Q24201910 Q24201915 Q24201967 Q24201962 Q24201987 Q24201791 Q21715205 Q24201894 Q24201897 Q24201958 Q24201771 Q24201953 Q24202015 Q24202018 Q24202121 Q24202123 Q24202126 Q24202157 Q24202150 Q24201766 Q24201900 Q24202001 Q24202165 Q24202160 Q24201786 Q268567 Q17329128 Q24201948 Q24201944 Q24201761 Q24202007 Q24202003 Q24202138 Q24202131 Q24202134 Q24202135 Q24201905 Q24201886 Q24201934 Q24201939 Q576136 Q24201656 Q24201879 Q24201980 Q24201972 Q24201975 Q24201992 Q24201997 Q24201929 Q24201888 Q24201925
(c(Q13406554),P1923,c(Q1194951))
action greater
action find_tuple_counts
relation P1923
type Q13406554
type Q1194951
action count
action filter_type
action find
entity Q3692897
relation P1923
type Q13406554
[ANSWERS] greater number of national sports teams contested in than 1985–86 Cypriot Cup
[{'concept': 'Q13406554'}, 'P1923', {'concept': 'Q1194951'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?p ) WHERE { resource:Q3692897 property:P1923 ?m . ?m rdf:type ontology:Q13406554 } } . FILTER ( ?y > ?p ) . { SELECT DISTINCT ?a ( COUNT ( ?q ) AS ?y ) WHERE { ?a property:P1923 ?q . ?a rdf:type ontology:Q13406554 . ?q rdf:type ontology:Q1194951 } GROUP BY ?a } }
England v Iceland Wales vs. Belgium Poland vs. Portugal Germany v Ukraine Ukraine v Northern Ireland Republic of Ireland v Sweden Czech Republic v Turkey Sweden v Belgium Romania v Albania UEFA Euro 2016 Final: Portugal v France England v Wales Slovakia v England Croatia v Spain France v Albania Spain v Turkey Iceland v Austria Hungary v Portugal Switzerland v Poland Wales v Northern Ireland Croatia v Portugal France vs. Iceland Germany vs. Italy Romania v Switzerland Russia v Wales Portugal v Iceland Germany v France Portugal v Wales Switzerland v France 2006 FIFA World Cup Final Brazil v Germany Czech Republic v Croatia Spain v Czech Republic Albania v Switzerland Portugal v Austria Iceland v Hungary Italy v Spain France v Ireland Germany v Slovakia Hungary v Belgium Poland v Northern Ireland England v Russia Ukraine v Poland Turkey v Croatia Copa América Centenario France v Romania Wales v Slovakia Belgium v Republic of Ireland Belgium v Italy Italy v Sweden Italy v Republic of Ireland Austria v Hungary Northern Ireland v Germany Russia v Slovakia Germany v Poland
Copa América Centenario, Belgium v Italy and France v Romania greater number of national sports teams contested in than 1985–86 Cypriot Cup
Copa América Centenario Belgium v Italy France v Romania
action greater
action find_tuple_counts
relation participating teams
type sport competition
type national sports team
action count
action filter_type
action find
entity 1985–86 Cypriot Cup
relation participating teams
type sport competition
[{'concept': 'sport competition'}, 'participating teams', {'concept': 'national sports team'}]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( COUNT ( ?m ) AS ?p ) WHERE { resource:1985–86_Cypriot_Cup property:participating_teams ?m . ?m rdf:type ontology:sport_competition } } . FILTER ( ?y > ?p ) . { SELECT DISTINCT ?a ( COUNT ( ?q ) AS ?y ) WHERE { ?a property:participating_teams ?q . ?a rdf:type ontology:sport_competition . ?q rdf:type ontology:national_sports_team } GROUP BY ?a } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q2059457
P1923
Q1194951 Q13406554
USER
And what about 2008–09 Cypriot Second Division?
(c(Q13406554),P1923,c(Q1194951))
action greater
action find_tuple_counts
relation P1923
type Q13406554
type Q1194951
action count
action filter_type
action find
entity Q2059457
relation P1923
type Q13406554
[{'concept': 'Q13406554'}, 'P1923', {'concept': 'Q1194951'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?g ) AS ?m ) WHERE { ?w property:P1923 ?g . ?w rdf:type ontology:Q13406554 . ?g rdf:type ontology:Q1194951 } GROUP BY ?w } . FILTER ( ?m > ?f ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { resource:Q2059457 property:P1923 ?p . ?p rdf:type ontology:Q13406554 } } }
2008–09 Cypriot Second Division
action greater
action find_tuple_counts
relation participating teams
type sport competition
type national sports team
action count
action filter_type
action find
entity 2008–09 Cypriot Second Division
relation participating teams
type sport competition
[{'concept': 'sport competition'}, 'participating teams', {'concept': 'national sports team'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?g ) AS ?m ) WHERE { ?w property:participating_teams ?g . ?w rdf:type ontology:sport_competition . ?g rdf:type ontology:national_sports_team } GROUP BY ?w } . FILTER ( ?m > ?f ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { resource:2008–09_Cypriot_Second_Division property:participating_teams ?p . ?p rdf:type ontology:sport_competition } } }
[]
national sports team sport competition
Q576136 Q24201972 Q24201656
SYSTEM
Copa América Centenario, Belgium v Italy, France v Romania
Q24202143 Q24202147 Q24202144 Q24201910 Q24201915 Q24201967 Q24201962 Q24201987 Q24201791 Q21715205 Q24201894 Q24201897 Q24201958 Q24201771 Q24201953 Q24202015 Q24202018 Q24202121 Q24202123 Q24202126 Q24202157 Q24202150 Q24201766 Q24201900 Q24202001 Q24202165 Q24202160 Q24201786 Q268567 Q17329128 Q24201948 Q24201944 Q24201761 Q24202007 Q24202003 Q24202138 Q24202131 Q24202134 Q24202135 Q24201905 Q24201886 Q24201934 Q24201939 Q576136 Q24201656 Q24201879 Q24201980 Q24201972 Q24201975 Q24201992 Q24201997 Q24201929 Q24201888 Q24201925
(c(Q13406554),P1923,c(Q1194951))
action greater
action find_tuple_counts
relation P1923
type Q13406554
type Q1194951
action count
action filter_type
action find
entity Q2059457
relation P1923
type Q13406554
[ANSWERS]
[{'concept': 'Q13406554'}, 'P1923', {'concept': 'Q1194951'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?g ) AS ?m ) WHERE { ?w property:P1923 ?g . ?w rdf:type ontology:Q13406554 . ?g rdf:type ontology:Q1194951 } GROUP BY ?w } . FILTER ( ?m > ?f ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { resource:Q2059457 property:P1923 ?p . ?p rdf:type ontology:Q13406554 } } }
England v Iceland Wales vs. Belgium Poland vs. Portugal Germany v Ukraine Ukraine v Northern Ireland Republic of Ireland v Sweden Czech Republic v Turkey Sweden v Belgium Romania v Albania UEFA Euro 2016 Final: Portugal v France England v Wales Slovakia v England Croatia v Spain France v Albania Spain v Turkey Iceland v Austria Hungary v Portugal Switzerland v Poland Wales v Northern Ireland Croatia v Portugal France vs. Iceland Germany vs. Italy Romania v Switzerland Russia v Wales Portugal v Iceland Germany v France Portugal v Wales Switzerland v France 2006 FIFA World Cup Final Brazil v Germany Czech Republic v Croatia Spain v Czech Republic Albania v Switzerland Portugal v Austria Iceland v Hungary Italy v Spain France v Ireland Germany v Slovakia Hungary v Belgium Poland v Northern Ireland England v Russia Ukraine v Poland Turkey v Croatia Copa América Centenario France v Romania Wales v Slovakia Belgium v Republic of Ireland Belgium v Italy Italy v Sweden Italy v Republic of Ireland Austria v Hungary Northern Ireland v Germany Russia v Slovakia Germany v Poland
Copa América Centenario Belgium v Italy France v Romania
action greater
action find_tuple_counts
relation participating teams
type sport competition
type national sports team
action count
action filter_type
action find
entity 2008–09 Cypriot Second Division
relation participating teams
type sport competition
[{'concept': 'sport competition'}, 'participating teams', {'concept': 'national sports team'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?g ) AS ?m ) WHERE { ?w property:participating_teams ?g . ?w rdf:type ontology:sport_competition . ?g rdf:type ontology:national_sports_team } GROUP BY ?w } . FILTER ( ?m > ?f ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { resource:2008–09_Cypriot_Second_Division property:participating_teams ?p . ?p rdf:type ontology:sport_competition } } }
[]
Simple Question (Coreferenced)
Simple Question|Mult. Entity
Q576136 Q24201972 Q24201656
P641
Q349
USER
Which sports did those sport competitions participate in ?
(Q576136,P641,c(Q349)) (Q24201972,P641,c(Q349)) (Q24201656,P641,c(Q349))
action filter_type
action find
entity prev_answer
relation P641
type Q349
['Q576136', 'P641', {'concept': 'Q349'}] ['Q24201972', 'P641', {'concept': 'Q349'}] ['Q24201656', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q349 . ?w property:P641 ?s . VALUES ( ?w ) { ( resource:Q24202143 ) ( resource:Q24202147 ) ( resource:Q24202144 ) } }
Copa América Centenario Belgium v Italy France v Romania
action filter_type
action find
entity prev_answer
relation sport
type sport
['Copa América Centenario', 'sport', {'concept': 'sport'}] ['Belgium v Italy', 'sport', {'concept': 'sport'}] ['France v Romania', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:sport . ?w property:sport ?s . VALUES ( ?w ) { ( resource:England_v_Iceland ) ( resource:Wales_vs._Belgium ) ( resource:Poland_vs._Portugal ) } }
[]
sport
Q2736 Q2736 Q2736
SYSTEM
association football
Q2736 Q2736 Q2736
(Q576136,P641,c(Q349)) (Q24201972,P641,c(Q349)) (Q24201656,P641,c(Q349))
action filter_type
action find
entity prev_answer
relation P641
type Q349
Those sport competitions participated in [ANSWER], [ANSWER] and [ANSWER]
['Q576136', 'P641', {'concept': 'Q349'}] ['Q24201972', 'P641', {'concept': 'Q349'}] ['Q24201656', 'P641', {'concept': 'Q349'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:Q349 . ?w property:P641 ?s . VALUES ( ?w ) { ( resource:Q24202143 ) ( resource:Q24202147 ) ( resource:Q24202144 ) } }
association football association football association football
Those sport competitions participated in association football, association football and association football
association football association football association football
action filter_type
action find
entity prev_answer
relation sport
type sport
['Copa América Centenario', 'sport', {'concept': 'sport'}] ['Belgium v Italy', 'sport', {'concept': 'sport'}] ['France v Romania', 'sport', {'concept': 'sport'}]
SELECT DISTINCT ?s WHERE { ?s rdf:type ontology:sport . ?w property:sport ?s . VALUES ( ?w ) { ( resource:England_v_Iceland ) ( resource:Wales_vs._Belgium ) ( resource:Poland_vs._Portugal ) } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q10686
P937
Q502895
USER
Which people have Belfast as their work location ?
(c(Q502895),P937,Q10686)
action filter_type
action find_reverse
entity Q10686
relation P937
type Q502895
[{'concept': 'Q502895'}, 'P937', 'Q10686']
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q502895 . ?v property:P937 resource:Q10686 }
Belfast
action filter_type
action find_reverse
entity Belfast
relation work location
type common name
[{'concept': 'common name'}, 'work location', 'Belfast']
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:common_name . ?v property:work_location resource:Belfast }
[]
common name
Q3350659 Q450673 Q1387544
SYSTEM
Oliver Jeffers, Bairbre de Brún, J. P. Mallory
Q1387544 Q450673 Q3350659 Q362577 Q1037132 Q3470520 Q433708
(c(Q502895),P937,Q10686)
action filter_type
action find_reverse
entity Q10686
relation P937
type Q502895
[ANSWERS] have Belfast as their work location
[{'concept': 'Q502895'}, 'P937', 'Q10686']
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q502895 . ?v property:P937 resource:Q10686 }
J. P. Mallory Bairbre de Brún Oliver Jeffers Joan Lingard Carl Bozi Sam Millar Jack Higgins
Oliver Jeffers, Bairbre de Brún and J. P. Mallory have Belfast as their work location
Oliver Jeffers Bairbre de Brún J. P. Mallory
action filter_type
action find_reverse
entity Belfast
relation work location
type common name
[{'concept': 'common name'}, 'work location', 'Belfast']
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:common_name . ?v property:work_location resource:Belfast }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q10686
P551
Q502895
USER
Who lives in Belfast ?
(c(Q502895),P551,Q10686)
action filter_type
action find_reverse
entity Q10686
relation P551
type Q502895
[{'concept': 'Q502895'}, 'P551', 'Q10686']
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q502895 . ?e property:P551 resource:Q10686 }
Belfast
action filter_type
action find_reverse
entity Belfast
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Belfast']
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:common_name . ?e property:residence resource:Belfast }
[]
common name
Q9204 Q3350659 Q609328
SYSTEM
C. S. Lewis, Oliver Jeffers, John Lavery
Q707415 Q1983888 Q5349437 Q15485476 Q6742226 Q2045859 Q9204 Q3350659 Q609328 Q1107887 Q5125175
(c(Q502895),P551,Q10686)
action filter_type
action find_reverse
entity Q10686
relation P551
type Q502895
[ANSWERS] live in Belfast
[{'concept': 'Q502895'}, 'P551', 'Q10686']
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q502895 . ?e property:P551 resource:Q10686 }
Martin Waddell Eric Wrixon Eileen Pollock Isaac Hodgson Malcolm Butler Paddy McGuigan C. S. Lewis Oliver Jeffers John Lavery Madhur Mittal Claire Curran
C. S. Lewis, Oliver Jeffers and John Lavery live in Belfast
C. S. Lewis Oliver Jeffers John Lavery
action filter_type
action find_reverse
entity Belfast
relation residence
type common name
[{'concept': 'common name'}, 'residence', 'Belfast']
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:common_name . ?e property:residence resource:Belfast }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q10686
P119
Q502895
USER
Which person has that administrative territory as resting place ?
(c(Q502895),P119,Q9204) (c(Q502895),P119,Q3350659) (c(Q502895),P119,Q609328)
action filter_type
action find_reverse
entity Q10686
relation P119
type Q502895
[{'concept': 'Q502895'}, 'P119', 'Q9204'] [{'concept': 'Q502895'}, 'P119', 'Q3350659'] [{'concept': 'Q502895'}, 'P119', 'Q609328']
SELECT DISTINCT ?j WHERE { ?j property:P119 resource:Q10686 . ?j rdf:type ontology:Q502895 }
Belfast
action filter_type
action find_reverse
entity Belfast
relation place of burial
type common name
[{'concept': 'common name'}, 'place of burial', 'C. S. Lewis'] [{'concept': 'common name'}, 'place of burial', 'Oliver Jeffers'] [{'concept': 'common name'}, 'place of burial', 'John Lavery']
SELECT DISTINCT ?j WHERE { ?j property:place_of_burial resource:Belfast . ?j rdf:type ontology:common_name }
[]
common name
Q370077
SYSTEM
John Stewart Bell
Q370077
(c(Q502895),P119,Q9204) (c(Q502895),P119,Q3350659) (c(Q502895),P119,Q609328)
action filter_type
action find_reverse
entity Q10686
relation P119
type Q502895
[ANSWER] has that administrative territory as resting place
[{'concept': 'Q502895'}, 'P119', 'Q9204'] [{'concept': 'Q502895'}, 'P119', 'Q3350659'] [{'concept': 'Q502895'}, 'P119', 'Q609328']
SELECT DISTINCT ?j WHERE { ?j property:P119 resource:Q10686 . ?j rdf:type ontology:Q502895 }
John Stewart Bell
John Stewart Bell has that administrative territory as resting place
John Stewart Bell
action filter_type
action find_reverse
entity Belfast
relation place of burial
type common name
[{'concept': 'common name'}, 'place of burial', 'C. S. Lewis'] [{'concept': 'common name'}, 'place of burial', 'Oliver Jeffers'] [{'concept': 'common name'}, 'place of burial', 'John Lavery']
SELECT DISTINCT ?j WHERE { ?j property:place_of_burial resource:Belfast . ?j rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q10686
P119 P21
Q502895
USER
Which people have Belfast as his/her tomb and are a male ?
AND((c(Q502895),P119,Q10686), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q10686
relation P119
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P119', 'Q10686'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?f WHERE { ?f property:P119 resource:Q10686 . ?f property:P21 resource:Q6581097 . ?f rdf:type ontology:Q502895 }
male Belfast
action filter_type
action intersection
action find_reverse
entity Belfast
relation place of burial
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'place of burial', 'Belfast'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?f WHERE { ?f property:place_of_burial resource:Belfast . ?f property:gender resource:male . ?f rdf:type ontology:common_name }
[]
common name
Q370077
SYSTEM
John Stewart Bell
Q370077
AND((c(Q502895),P119,Q10686), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q10686
relation P119
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWER] have Belfast as his/her tomb and are a male
{'AND': [[{'concept': 'Q502895'}, 'P119', 'Q10686'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?f WHERE { ?f property:P119 resource:Q10686 . ?f property:P21 resource:Q6581097 . ?f rdf:type ontology:Q502895 }
John Stewart Bell
John Stewart Bell have Belfast as his/her tomb and are a male
John Stewart Bell
action filter_type
action intersection
action find_reverse
entity Belfast
relation place of burial
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'place of burial', 'Belfast'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?f WHERE { ?f property:place_of_burial resource:Belfast . ?f property:gender resource:male . ?f rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Difference|Single_Relation
Q350785 Q43310
P1344
Q15275719
USER
Which recurring events did Germany national football team but not Salif Diao participate in ?
AND((Q43310,P1344,c(Q15275719)), NOT((Q350785,P1344,c(Q15275719))))
action filter_type
action difference
action find
entity Q43310
relation P1344
action find
entity Q350785
relation P1344
type Q15275719
{'AND': [['Q43310', 'P1344', {'concept': 'Q15275719'}], {'NOT': [['Q350785', 'P1344', {'concept': 'Q15275719'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Q43310 property:P1344 ?e . FILTER NOT EXISTS { resource:Q350785 property:P1344 ?e } . ?e rdf:type ontology:Q15275719 }
Salif Diao Germany national football team
action filter_type
action difference
action find
entity Germany national football team
relation participant of
action find
entity Salif Diao
relation participant of
type recurring event
{'AND': [['Germany national football team', 'participant of', {'concept': 'recurring event'}], {'NOT': [['Salif Diao', 'participant of', {'concept': 'recurring event'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Germany_national_football_team property:participant_of ?e . FILTER NOT EXISTS { resource:Salif_Diao property:participant_of ?e } . ?e rdf:type ontology:recurring_event }
[]
recurring event
Q1477177 Q37285 Q134202 Q101730 Q46943 Q132533 Q101751 Q176883 Q131591 Q132664
SYSTEM
Some of them are 1934 FIFA World Cup, 2006 FIFA World Cup, 1966 FIFA World Cup, 1998 FIFA World Cup, 1978 FIFA World Cup, 1958 FIFA World Cup, 1994 FIFA World Cup, 2010 FIFA World Cup, 1938 FIFA World Cup, 1970 FIFA World Cup
Q46943 Q176883 Q37285 Q46934 Q166121 Q101730 Q101751 Q79859 Q134202 Q1477177 Q132529 Q46938 Q131075 Q131591 Q132533 Q132664 Q160813
AND((Q43310,P1344,c(Q15275719)), NOT((Q350785,P1344,c(Q15275719))))
action filter_type
action difference
action find
entity Q43310
relation P1344
action find
entity Q350785
relation P1344
type Q15275719
Germany national football team but not Salif Diao participated in [ANSWERS]
{'AND': [['Q43310', 'P1344', {'concept': 'Q15275719'}], {'NOT': [['Q350785', 'P1344', {'concept': 'Q15275719'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Q43310 property:P1344 ?e . FILTER NOT EXISTS { resource:Q350785 property:P1344 ?e } . ?e rdf:type ontology:Q15275719 }
1978 FIFA World Cup 2010 FIFA World Cup 2006 FIFA World Cup 1982 FIFA World Cup 1974 FIFA World Cup 1998 FIFA World Cup 1994 FIFA World Cup 2014 FIFA World Cup 1966 FIFA World Cup 1934 FIFA World Cup 1990 FIFA World Cup 1986 FIFA World Cup 1954 FIFA World Cup 1938 FIFA World Cup 1958 FIFA World Cup 1970 FIFA World Cup 1962 FIFA World Cup
Germany national football team but not Salif Diao participated in 1934 FIFA World Cup, 2006 FIFA World Cup, 1966 FIFA World Cup, 1998 FIFA World Cup, 1978 FIFA World Cup, 1958 FIFA World Cup, 1994 FIFA World Cup, 2010 FIFA World Cup, 1938 FIFA World Cup and 1970 FIFA World Cup
1934 FIFA World Cup 2006 FIFA World Cup 1966 FIFA World Cup 1998 FIFA World Cup 1978 FIFA World Cup 1958 FIFA World Cup 1994 FIFA World Cup 2010 FIFA World Cup 1938 FIFA World Cup 1970 FIFA World Cup
action filter_type
action difference
action find
entity Germany national football team
relation participant of
action find
entity Salif Diao
relation participant of
type recurring event
{'AND': [['Germany national football team', 'participant of', {'concept': 'recurring event'}], {'NOT': [['Salif Diao', 'participant of', {'concept': 'recurring event'}]]}]}
SELECT DISTINCT ?e WHERE { resource:Germany_national_football_team property:participant_of ?e . FILTER NOT EXISTS { resource:Salif_Diao property:participant_of ?e } . ?e rdf:type ontology:recurring_event }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581072 Q609328
P26 P21
Q502895
USER
Which people are the life partner of John Lavery and have female as the sex ?
AND((c(Q502895),P26,Q609328), (c(Q502895),P21,Q6581072))
action filter_type
action intersection
action find_reverse
entity Q609328
relation P26
action find_reverse
entity Q6581072
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P26', 'Q609328'], [{'concept': 'Q502895'}, 'P21', 'Q6581072']]}
SELECT DISTINCT ?a WHERE { ?a property:P26 resource:Q609328 . ?a property:P21 resource:Q6581072 . ?a rdf:type ontology:Q502895 }
female John Lavery
action filter_type
action intersection
action find_reverse
entity John Lavery
relation spouse
action find_reverse
entity female
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'spouse', 'John Lavery'], [{'concept': 'common name'}, 'gender', 'female']]}
SELECT DISTINCT ?a WHERE { ?a property:spouse resource:John_Lavery . ?a property:gender resource:female . ?a rdf:type ontology:common_name }
[]
common name
Q530639
SYSTEM
Hazel Lavery
Q530639
AND((c(Q502895),P26,Q609328), (c(Q502895),P21,Q6581072))
action filter_type
action intersection
action find_reverse
entity Q609328
relation P26
action find_reverse
entity Q6581072
relation P21
type Q502895
[ANSWER] is the life partner of John Lavery and have female as the sex
{'AND': [[{'concept': 'Q502895'}, 'P26', 'Q609328'], [{'concept': 'Q502895'}, 'P21', 'Q6581072']]}
SELECT DISTINCT ?a WHERE { ?a property:P26 resource:Q609328 . ?a property:P21 resource:Q6581072 . ?a rdf:type ontology:Q502895 }
Hazel Lavery
Hazel Lavery is the life partner of John Lavery and have female as the sex
Hazel Lavery
action filter_type
action intersection
action find_reverse
entity John Lavery
relation spouse
action find_reverse
entity female
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'spouse', 'John Lavery'], [{'concept': 'common name'}, 'gender', 'female']]}
SELECT DISTINCT ?a WHERE { ?a property:spouse resource:John_Lavery . ?a property:gender resource:female . ?a rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q530639 Q1229576
P26
Q502895
USER
Is Paul Treibe married to that one ?
(Q530639,P26,Q1229576)
action is_in
entity Q1229576
action find
entity Q530639
relation P26
['Q530639', 'P26', 'Q1229576']
ASK WHERE { resource:Q530639 property:P26 resource:Q1229576 }
Hazel Lavery Paul Treibe
action is_in
entity Paul Treibe
action find
entity Hazel Lavery
relation spouse
['Hazel Lavery', 'spouse', 'Paul Treibe']
ASK WHERE { resource:Hazel_Lavery property:spouse resource:Paul_Treibe }
[]
common name
SYSTEM
NO
(Q530639,P26,Q1229576)
action is_in
entity Q1229576
action find
entity Q530639
relation P26
[ANSWER]
['Q530639', 'P26', 'Q1229576']
ASK WHERE { resource:Q530639 property:P26 resource:Q1229576 }
No
action is_in
entity Paul Treibe
action find
entity Hazel Lavery
relation spouse
['Hazel Lavery', 'spouse', 'Paul Treibe']
ASK WHERE { resource:Hazel_Lavery property:spouse resource:Paul_Treibe }
[]