Simple Question (Direct)
Simple Question
Q4716891
P27
Q1048835
USER
Which political territory is the native country of Alex Davis ?
(Q4716891,P27,c(Q1048835))
action filter_type
action find
entity Q4716891
relation P27
type Q1048835
['Q4716891', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q1048835 . resource:Q4716891 property:P27 ?y }
Alex Davis
action filter_type
action find
entity Alex Davis
relation country of citizenship
type political territorial entity
['Alex Davis', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:political_territorial_entity . resource:Alex_Davis property:country_of_citizenship ?y }
[]
political territorial entity
Q664
SYSTEM
New Zealand
Q664
(Q4716891,P27,c(Q1048835))
action filter_type
action find
entity Q4716891
relation P27
type Q1048835
The [ANSWER] is the native country of Alex Davis
['Q4716891', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:Q1048835 . resource:Q4716891 property:P27 ?y }
New Zealand
The New Zealand is the native country of Alex Davis
New Zealand
action filter_type
action find
entity Alex Davis
relation country of citizenship
type political territorial entity
['Alex Davis', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?y WHERE { ?y rdf:type ontology:political_territorial_entity . resource:Alex_Davis property:country_of_citizenship ?y }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q4716891
P54
Q1194951
USER
What is Alex Davis a member of ?
(Q4716891,P54,c(Q1194951))
action filter_type
action find
entity Q4716891
relation P54
type Q1194951
['Q4716891', 'P54', {'concept': 'Q1194951'}]
SELECT DISTINCT ?x WHERE { resource:Q4716891 property:P54 ?x . ?x rdf:type ontology:Q1194951 }
Alex Davis
action filter_type
action find
entity Alex Davis
relation member of sports team
type national sports team
['Alex Davis', 'member of sports team', {'concept': 'national sports team'}]
SELECT DISTINCT ?x WHERE { resource:Alex_Davis property:member_of_sports_team ?x . ?x rdf:type ontology:national_sports_team }
[]
national sports team
Q175315
SYSTEM
New Zealand national football team
Q175315
(Q4716891,P54,c(Q1194951))
action filter_type
action find
entity Q4716891
relation P54
type Q1194951
Alex Davis a member of is the [ANSWER]
['Q4716891', 'P54', {'concept': 'Q1194951'}]
SELECT DISTINCT ?x WHERE { resource:Q4716891 property:P54 ?x . ?x rdf:type ontology:Q1194951 }
New Zealand national football team
Alex Davis a member of is the New Zealand national football team
New Zealand national football team
action filter_type
action find
entity Alex Davis
relation member of sports team
type national sports team
['Alex Davis', 'member of sports team', {'concept': 'national sports team'}]
SELECT DISTINCT ?x WHERE { resource:Alex_Davis property:member_of_sports_team ?x . ?x rdf:type ontology:national_sports_team }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P127
Q1048835 Q1076486 Q83620
USER
Which political territories are the owners of min number of sports venues and thoroughfares ?
(c(Q1076486)|c(Q83620),P127,c(Q1048835))
action argmin
action union
action find_reverse_tuple_counts
relation P127
type Q1048835
type Q1076486
action find_reverse_tuple_counts
relation P127
type Q1048835
type Q83620
[[{'concept': 'Q1076486'}, {'concept': 'Q83620'}], 'P127', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( MIN ( ?h ) AS ?l ) { SELECT DISTINCT ( COUNT ( ?e ) AS ?h ) ?b WHERE { ?e rdf:type ?m . VALUES ( ?m ) { ( ontology:Q1076486 ) ( ontology:Q83620 ) } } GROUP BY ?b } } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) ?x WHERE { { ?x rdf:type ontology:Q1048835 . ?w rdf:type ontology:Q1076486 . ?w property:P127 ?x } UNION { ?w property:P127 ?x . ?x rdf:type ontology:Q1048835 . ?w rdf:type ontology:Q83620 } } GROUP BY ?x } . FILTER ( ?g = ?l ) }
action argmin
action union
action find_reverse_tuple_counts
relation owned by
type political territorial entity
type sports venue
action find_reverse_tuple_counts
relation owned by
type political territorial entity
type thoroughfare
[[{'concept': 'sports venue'}, {'concept': 'thoroughfare'}], 'owned by', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( MIN ( ?h ) AS ?l ) { SELECT DISTINCT ( COUNT ( ?e ) AS ?h ) ?b WHERE { ?e rdf:type ?m . VALUES ( ?m ) { ( ontology:sports_venue ) ( ontology:thoroughfare ) } } GROUP BY ?b } } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) ?x WHERE { { ?x rdf:type ontology:political_territorial_entity . ?w rdf:type ontology:sports_venue . ?w property:owned_by ?x } UNION { ?w property:owned_by ?x . ?x rdf:type ontology:political_territorial_entity . ?w rdf:type ontology:thoroughfare } } GROUP BY ?x } . FILTER ( ?g = ?l ) }
[]
political territorial entity sports venue thoroughfare
Q408 Q35 Q16
SYSTEM
Australia, Denmark, Canada
Q170322 Q318314 Q20937 Q5691 Q6040 Q211091 Q6053 Q192387 Q133083 Q8543 Q6041 Q2379199 Q6139 Q8178 Q6339 Q7379734 Q8551 Q13786 Q5783 Q741765 Q193317 Q35 Q2947 Q276176 Q202174 Q54902 Q849584 Q2271 Q6142 Q234 Q17557 Q231 Q40 Q9331 Q6047 Q6045 Q9337 Q8182 Q23635 Q408 Q207111 Q16 Q206926 Q5756
(c(Q1076486)|c(Q83620),P127,c(Q1048835))
action argmin
action union
action find_reverse_tuple_counts
relation P127
type Q1048835
type Q1076486
action find_reverse_tuple_counts
relation P127
type Q1048835
type Q83620
[ANSWERS] are the owners of min number of sports venues and thoroughfares
[[{'concept': 'Q1076486'}, {'concept': 'Q83620'}], 'P127', {'concept': 'Q1048835'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( MIN ( ?h ) AS ?l ) { SELECT DISTINCT ( COUNT ( ?e ) AS ?h ) ?b WHERE { ?e rdf:type ?m . VALUES ( ?m ) { ( ontology:Q1076486 ) ( ontology:Q83620 ) } } GROUP BY ?b } } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) ?x WHERE { { ?x rdf:type ontology:Q1048835 . ?w rdf:type ontology:Q1076486 . ?w property:P127 ?x } UNION { ?w property:P127 ?x . ?x rdf:type ontology:Q1048835 . ?w rdf:type ontology:Q83620 } } GROUP BY ?x } . FILTER ( ?g = ?l ) }
Qingdao Ipatinga Gyeonggi Province South Karelia Goslar Renfrewshire Gifhorn Londrina Gauteng Germersheim Wolfenbüttel politics of Edinburgh Havelland Karlsruhe Erzgebirgskreis Aachen Südliche Weinstraße Cebu Andalusia San Fernando Pardubice Region Denmark Dithmarschen Volta Redonda Argyll and Bute Fuenlabrada Jaraguá do Sul South Sumatra Potsdam-Mittelmark Flemish Region California Republic Walloon Region Austria Flemish Community Helmstedt Peine Flemish Region Rastatt Bermuda Australia North Lanarkshire Canada North Ayrshire Community of Madrid
Australia, Denmark and Canada are the owners of min number of sports venues and thoroughfares
Australia Denmark Canada
action argmin
action union
action find_reverse_tuple_counts
relation owned by
type political territorial entity
type sports venue
action find_reverse_tuple_counts
relation owned by
type political territorial entity
type thoroughfare
[[{'concept': 'sports venue'}, {'concept': 'thoroughfare'}], 'owned by', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( MIN ( ?h ) AS ?l ) { SELECT DISTINCT ( COUNT ( ?e ) AS ?h ) ?b WHERE { ?e rdf:type ?m . VALUES ( ?m ) { ( ontology:sports_venue ) ( ontology:thoroughfare ) } } GROUP BY ?b } } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?g ) ?x WHERE { { ?x rdf:type ontology:political_territorial_entity . ?w rdf:type ontology:sports_venue . ?w property:owned_by ?x } UNION { ?w property:owned_by ?x . ?x rdf:type ontology:political_territorial_entity . ?w rdf:type ontology:thoroughfare } } GROUP BY ?x } . FILTER ( ?g = ?l ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q4664379
P530
Q15617994
USER
Do Abbott Street have diplomatic associations with those political territories ?
(Q4664379,P530,Q408) (Q4664379,P530,Q35) (Q4664379,P530,Q16)
action is_in
entity prev_answer
action find
entity Q4664379
relation P530
['Q4664379', 'P530', 'Q408'] ['Q4664379', 'P530', 'Q35'] ['Q4664379', 'P530', 'Q16']
ASK WHERE { resource:Q4664379 property:P530 ?i . VALUES ( ?i ) { ( resource:Q170322 ) ( resource:Q318314 ) ( resource:Q20937 ) } }
Abbott Street
action is_in
entity prev_answer
action find
entity Abbott Street
relation diplomatic relation
['Abbott Street', 'diplomatic relation', 'Australia'] ['Abbott Street', 'diplomatic relation', 'Denmark'] ['Abbott Street', 'diplomatic relation', 'Canada']
ASK WHERE { resource:Abbott_Street property:diplomatic_relation ?i . VALUES ( ?i ) { ( resource:Qingdao ) ( resource:Ipatinga ) ( resource:Gyeonggi_Province ) } }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q4664379,P530,Q408) (Q4664379,P530,Q35) (Q4664379,P530,Q16)
action is_in
entity prev_answer
action find
entity Q4664379
relation P530
[ANSWER]
['Q4664379', 'P530', 'Q408'] ['Q4664379', 'P530', 'Q35'] ['Q4664379', 'P530', 'Q16']
ASK WHERE { resource:Q4664379 property:P530 ?i . VALUES ( ?i ) { ( resource:Q170322 ) ( resource:Q318314 ) ( resource:Q20937 ) } }
No
action is_in
entity prev_answer
action find
entity Abbott Street
relation diplomatic relation
['Abbott Street', 'diplomatic relation', 'Australia'] ['Abbott Street', 'diplomatic relation', 'Denmark'] ['Abbott Street', 'diplomatic relation', 'Canada']
ASK WHERE { resource:Abbott_Street property:diplomatic_relation ?i . VALUES ( ?i ) { ( resource:Qingdao ) ( resource:Ipatinga ) ( resource:Gyeonggi_Province ) } }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q175315 Q32664 Q13848
P1532
Q1048835
USER
Does New Zealand national football team play for Vila Franca da Serra and Sobremunt ?
(Q175315,P1532,Q32664) (Q175315,P1532,Q13848)
action is_in
entity Q175315
action intersection
action find_reverse
entity Q32664
relation P1532
action find_reverse
entity Q13848
relation P1532
['Q175315', 'P1532', 'Q32664'] ['Q175315', 'P1532', 'Q13848']
ASK WHERE { resource:Q175315 property:P1532 resource:Q32664 . resource:Q175315 property:P1532 resource:Q13848 }
New Zealand national football team Vila Franca da Serra Sobremunt
action is_in
entity New Zealand national football team
action intersection
action find_reverse
entity Vila Franca da Serra
relation country for sport
action find_reverse
entity Sobremunt
relation country for sport
['New Zealand national football team', 'country for sport', 'Vila Franca da Serra'] ['New Zealand national football team', 'country for sport', 'Sobremunt']
ASK WHERE { resource:New_Zealand_national_football_team property:country_for_sport resource:Vila_Franca_da_Serra . resource:New_Zealand_national_football_team property:country_for_sport resource:Sobremunt }
[]
political territorial entity
SYSTEM
NO
(Q175315,P1532,Q32664) (Q175315,P1532,Q13848)
action is_in
entity Q175315
action intersection
action find_reverse
entity Q32664
relation P1532
action find_reverse
entity Q13848
relation P1532
[ANSWER]
['Q175315', 'P1532', 'Q32664'] ['Q175315', 'P1532', 'Q13848']
ASK WHERE { resource:Q175315 property:P1532 resource:Q32664 . resource:Q175315 property:P1532 resource:Q13848 }
No
action is_in
entity New Zealand national football team
action intersection
action find_reverse
entity Vila Franca da Serra
relation country for sport
action find_reverse
entity Sobremunt
relation country for sport
['New Zealand national football team', 'country for sport', 'Vila Franca da Serra'] ['New Zealand national football team', 'country for sport', 'Sobremunt']
ASK WHERE { resource:New_Zealand_national_football_team property:country_for_sport resource:Vila_Franca_da_Serra . resource:New_Zealand_national_football_team property:country_for_sport resource:Sobremunt }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q175315
P1344
Q15275719
USER
What did New Zealand national football team participate in ?
(Q175315,P1344,c(Q15275719))
action filter_type
action find
entity Q175315
relation P1344
type Q15275719
['Q175315', 'P1344', {'concept': 'Q15275719'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q15275719 . resource:Q175315 property:P1344 ?e }
New Zealand national football team
action filter_type
action find
entity New Zealand national football team
relation participant of
type recurring event
['New Zealand national football team', 'participant of', {'concept': 'recurring event'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:recurring_event . resource:New_Zealand_national_football_team property:participant_of ?e }
[]
recurring event
Q46934 Q176883
SYSTEM
1982 FIFA World Cup, 2010 FIFA World Cup
Q46934 Q176883
(Q175315,P1344,c(Q15275719))
action filter_type
action find
entity Q175315
relation P1344
type Q15275719
New Zealand national football team participated in [ANSWERS]
['Q175315', 'P1344', {'concept': 'Q15275719'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q15275719 . resource:Q175315 property:P1344 ?e }
1982 FIFA World Cup 2010 FIFA World Cup
New Zealand national football team participated in 1982 FIFA World Cup and 2010 FIFA World Cup
1982 FIFA World Cup 2010 FIFA World Cup
action filter_type
action find
entity New Zealand national football team
relation participant of
type recurring event
['New Zealand national football team', 'participant of', {'concept': 'recurring event'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:recurring_event . resource:New_Zealand_national_football_team property:participant_of ?e }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P122
Q56061 Q7275 Q1048835
USER
How many political territories have approximately 1 administrative territories or states as the type of government ?
(c(Q1048835),P122,c(Q56061)|c(Q7275))
action count
action approx
action union
action find_tuple_counts
relation P122
type Q1048835
type Q56061
action find_tuple_counts
relation P122
type Q1048835
type Q7275
value 1
[{'concept': 'Q1048835'}, 'P122', [{'concept': 'Q56061'}, {'concept': 'Q7275'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?s ) WHERE { FILTER ( ?o = 1 ) . { SELECT DISTINCT ( COUNT ( ?u ) AS ?o ) ?v WHERE { VALUES ( ?z ) { ( ontology:Q56061 ) ( ontology:Q7275 ) } . ?u rdf:type ?z } GROUP BY ?v } }
action count
action approx
action union
action find_tuple_counts
relation basic form of government
type political territorial entity
type administrative territorial entity
action find_tuple_counts
relation basic form of government
type political territorial entity
type state
value 1
[{'concept': 'political territorial entity'}, 'basic form of government', [{'concept': 'administrative territorial entity'}, {'concept': 'state'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?s ) WHERE { FILTER ( ?o = 1 ) . { SELECT DISTINCT ( COUNT ( ?u ) AS ?o ) ?v WHERE { VALUES ( ?z ) { ( ontology:administrative_territorial_entity ) ( ontology:state ) } . ?u rdf:type ?z } GROUP BY ?v } }
[]
administrative territorial entity state political territorial entity
SYSTEM
3
Q38610 Q151938 Q129286
(c(Q1048835),P122,c(Q56061)|c(Q7275))
action count
action approx
action union
action find_tuple_counts
relation P122
type Q1048835
type Q56061
action find_tuple_counts
relation P122
type Q1048835
type Q7275
value 1
[ANSWER]
[{'concept': 'Q1048835'}, 'P122', [{'concept': 'Q56061'}, {'concept': 'Q7275'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?s ) WHERE { FILTER ( ?o = 1 ) . { SELECT DISTINCT ( COUNT ( ?u ) AS ?o ) ?v WHERE { VALUES ( ?z ) { ( ontology:Q56061 ) ( ontology:Q7275 ) } . ?u rdf:type ?z } GROUP BY ?v } }
Dominion of Newfoundland Neutral Moresnet British Raj
3
action count
action approx
action union
action find_tuple_counts
relation basic form of government
type political territorial entity
type administrative territorial entity
action find_tuple_counts
relation basic form of government
type political territorial entity
type state
value 1
[{'concept': 'political territorial entity'}, 'basic form of government', [{'concept': 'administrative territorial entity'}, {'concept': 'state'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?s ) WHERE { FILTER ( ?o = 1 ) . { SELECT DISTINCT ( COUNT ( ?u ) AS ?o ) ?v WHERE { VALUES ( ?z ) { ( ontology:administrative_territorial_entity ) ( ontology:state ) } . ?u rdf:type ?z } GROUP BY ?v } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q4643443 Q4664379
P17
Q15617994
USER
Which administrative territories do Abbott Street or 75th Anniversary Selatin Tunnel belong to ?
OR((Q4664379,P17,c(Q15617994)), (Q4643443,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q4664379
relation P17
action find
entity Q4643443
relation P17
type Q15617994
{'OR': [['Q4664379', 'P17', {'concept': 'Q15617994'}], ['Q4643443', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q4664379 property:P17 ?s } UNION { resource:Q4643443 property:P17 ?s } } . ?s rdf:type ontology:Q15617994 }
75th Anniversary Selatin Tunnel Abbott Street
action filter_type
action union
action find
entity Abbott Street
relation country
action find
entity 75th Anniversary Selatin Tunnel
relation country
type designation for an administrative territorial entity
{'OR': [['Abbott Street', 'country', {'concept': 'designation for an administrative territorial entity'}], ['75th Anniversary Selatin Tunnel', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Abbott_Street property:country ?s } UNION { resource:75th_Anniversary_Selatin_Tunnel property:country ?s } } . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q43 Q145
SYSTEM
Turkey, United Kingdom
Q43 Q145
OR((Q4664379,P17,c(Q15617994)), (Q4643443,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q4664379
relation P17
action find
entity Q4643443
relation P17
type Q15617994
Abbott Street or 75th Anniversary Selatin Tunnel belong to [ANSWERS]
{'OR': [['Q4664379', 'P17', {'concept': 'Q15617994'}], ['Q4643443', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q4664379 property:P17 ?s } UNION { resource:Q4643443 property:P17 ?s } } . ?s rdf:type ontology:Q15617994 }
Turkey United Kingdom
Abbott Street or 75th Anniversary Selatin Tunnel belong to Turkey and United Kingdom
Turkey United Kingdom
action filter_type
action union
action find
entity Abbott Street
relation country
action find
entity 75th Anniversary Selatin Tunnel
relation country
type designation for an administrative territorial entity
{'OR': [['Abbott Street', 'country', {'concept': 'designation for an administrative territorial entity'}], ['75th Anniversary Selatin Tunnel', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Abbott_Street property:country ?s } UNION { resource:75th_Anniversary_Selatin_Tunnel 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
Q101372
P530
Q15617994
USER
Do Pedrengo have tactful political relations with those ones ?
(Q101372,P530,Q43) (Q101372,P530,Q145)
action is_in
entity prev_answer
action find
entity Q101372
relation P530
['Q101372', 'P530', 'Q43'] ['Q101372', 'P530', 'Q145']
ASK WHERE { VALUES ( ?o ) { ( resource:Q43 ) ( resource:Q145 ) } . resource:Q101372 property:P530 ?o }
Pedrengo
action is_in
entity prev_answer
action find
entity Pedrengo
relation diplomatic relation
['Pedrengo', 'diplomatic relation', 'Turkey'] ['Pedrengo', 'diplomatic relation', 'United Kingdom']
ASK WHERE { VALUES ( ?o ) { ( resource:Turkey ) ( resource:United_Kingdom ) } . resource:Pedrengo property:diplomatic_relation ?o }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q101372,P530,Q43) (Q101372,P530,Q145)
action is_in
entity prev_answer
action find
entity Q101372
relation P530
[ANSWER]
['Q101372', 'P530', 'Q43'] ['Q101372', 'P530', 'Q145']
ASK WHERE { VALUES ( ?o ) { ( resource:Q43 ) ( resource:Q145 ) } . resource:Q101372 property:P530 ?o }
No
action is_in
entity prev_answer
action find
entity Pedrengo
relation diplomatic relation
['Pedrengo', 'diplomatic relation', 'Turkey'] ['Pedrengo', 'diplomatic relation', 'United Kingdom']
ASK WHERE { VALUES ( ?o ) { ( resource:Turkey ) ( resource:United_Kingdom ) } . resource:Pedrengo property:diplomatic_relation ?o }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q46934 Q42267
P1923
Q1194951
USER
Was Spain national football team a participant in 1982 FIFA World Cup ?
(Q46934,P1923,Q42267)
action is_in
entity Q42267
action find
entity Q46934
relation P1923
['Q46934', 'P1923', 'Q42267']
ASK WHERE { resource:Q46934 property:P1923 resource:Q42267 }
1982 FIFA World Cup Spain national football team
action is_in
entity Spain national football team
action find
entity 1982 FIFA World Cup
relation participating teams
['1982 FIFA World Cup', 'participating teams', 'Spain national football team']
ASK WHERE { resource:1982_FIFA_World_Cup property:participating_teams resource:Spain_national_football_team }
[]
national sports team
SYSTEM
YES
(Q46934,P1923,Q42267)
action is_in
entity Q42267
action find
entity Q46934
relation P1923
[ANSWER]
['Q46934', 'P1923', 'Q42267']
ASK WHERE { resource:Q46934 property:P1923 resource:Q42267 }
Yes
action is_in
entity Spain national football team
action find
entity 1982 FIFA World Cup
relation participating teams
['1982 FIFA World Cup', 'participating teams', 'Spain national football team']
ASK WHERE { resource:1982_FIFA_World_Cup property:participating_teams resource:Spain_national_football_team }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q145 Q1712058 Q269412
P35
Q502895
USER
Does United Kingdom have Julian Schmieder and George V as its chief of state ?
(Q145,P35,Q1712058) (Q145,P35,Q269412)
action is_in
entity Q145
action intersection
action find_reverse
entity Q1712058
relation P35
action find_reverse
entity Q269412
relation P35
['Q145', 'P35', 'Q1712058'] ['Q145', 'P35', 'Q269412']
ASK WHERE { resource:Q145 property:P35 resource:Q1712058 . resource:Q145 property:P35 resource:Q269412 }
United Kingdom Julian Schmieder George V
action is_in
entity United Kingdom
action intersection
action find_reverse
entity Julian Schmieder
relation head of state
action find_reverse
entity George V
relation head of state
['United Kingdom', 'head of state', 'Julian Schmieder'] ['United Kingdom', 'head of state', 'George V']
ASK WHERE { resource:United_Kingdom property:head_of_state resource:Julian_Schmieder . resource:United_Kingdom property:head_of_state resource:George_V }
[]
common name
SYSTEM
NO and YES respectively
(Q145,P35,Q1712058) (Q145,P35,Q269412)
action is_in
entity Q145
action intersection
action find_reverse
entity Q1712058
relation P35
action find_reverse
entity Q269412
relation P35
[ANSWER]
['Q145', 'P35', 'Q1712058'] ['Q145', 'P35', 'Q269412']
ASK WHERE { resource:Q145 property:P35 resource:Q1712058 . resource:Q145 property:P35 resource:Q269412 }
NO and YES respectively
action is_in
entity United Kingdom
action intersection
action find_reverse
entity Julian Schmieder
relation head of state
action find_reverse
entity George V
relation head of state
['United Kingdom', 'head of state', 'Julian Schmieder'] ['United Kingdom', 'head of state', 'George V']
ASK WHERE { resource:United_Kingdom property:head_of_state resource:Julian_Schmieder . resource:United_Kingdom property:head_of_state resource:George_V }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q183
P530
Q1048835 Q1048835 Q15617994
USER
Which political territories have diplomatic relations with around the same number of political territories and administrative territories as Germany ?
(c(Q1048835)|c(Q15617994),P530,c(Q1048835))
action approx
action union
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find_reverse
entity Q183
relation P530
type Q1048835
type Q15617994
[[{'concept': 'Q1048835'}, {'concept': 'Q15617994'}], 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?x ) AS ?c ) WHERE { ?x rdf:type ?q . VALUES ( ?q ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } } GROUP BY ?k } . FILTER ( ?c = ?b ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) WHERE { ?p property:P530 resource:Q183 . { { ?p rdf:type ontology:Q1048835 } UNION { ?p rdf:type ontology:Q15617994 } } } } }
Germany
action approx
action union
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Germany
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[[{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}], 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?x ) AS ?c ) WHERE { ?x rdf:type ?q . VALUES ( ?q ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?k } . FILTER ( ?c = ?b ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) WHERE { ?p property:diplomatic_relation resource:Germany . { { ?p rdf:type ontology:political_territorial_entity } UNION { ?p rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } }
[]
political territorial entity political territorial entity designation for an administrative territorial entity
Q183 Q408
SYSTEM
Germany, Australia
Q183 Q408
(c(Q1048835)|c(Q15617994),P530,c(Q1048835))
action approx
action union
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find_reverse
entity Q183
relation P530
type Q1048835
type Q15617994
[ANSWERS] have diplomatic relations with around the same number of political territories and administrative territories as Germany
[[{'concept': 'Q1048835'}, {'concept': 'Q15617994'}], 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?x ) AS ?c ) WHERE { ?x rdf:type ?q . VALUES ( ?q ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } } GROUP BY ?k } . FILTER ( ?c = ?b ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) WHERE { ?p property:P530 resource:Q183 . { { ?p rdf:type ontology:Q1048835 } UNION { ?p rdf:type ontology:Q15617994 } } } } }
Germany Australia
Germany and Australia have diplomatic relations with around the same number of political territories and administrative territories as Germany
Germany Australia
action approx
action union
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Germany
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[[{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}], 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?x ) AS ?c ) WHERE { ?x rdf:type ?q . VALUES ( ?q ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?k } . FILTER ( ?c = ?b ) . { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) WHERE { ?p property:diplomatic_relation resource:Germany . { { ?p rdf:type ontology:political_territorial_entity } UNION { ?p rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q35
P530
Q1048835 Q1048835 Q15617994
USER
And how about Denmark?
(c(Q1048835)|c(Q15617994),P530,c(Q1048835))
action approx
action union
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find_reverse
entity Q35
relation P530
type Q1048835
type Q15617994
[[{'concept': 'Q1048835'}, {'concept': 'Q15617994'}], 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?w ) ?f WHERE { ?p rdf:type ?m . VALUES ( ?m ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } } GROUP BY ?f } . FILTER ( ?w = ?i ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?i ) WHERE { ?l property:P530 resource:Q35 . { { ?l rdf:type ontology:Q15617994 } UNION { ?l rdf:type ontology:Q1048835 } } } } }
Denmark
action approx
action union
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Denmark
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[[{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}], 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?w ) ?f WHERE { ?p rdf:type ?m . VALUES ( ?m ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?f } . FILTER ( ?w = ?i ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?i ) WHERE { ?l property:diplomatic_relation resource:Denmark . { { ?l rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?l rdf:type ontology:political_territorial_entity } } } } }
[]
political territorial entity 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(Q1048835)|c(Q15617994),P530,c(Q1048835))
action approx
action union
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q1048835
action find_reverse_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_multi_types
action find_reverse
entity Q35
relation P530
type Q1048835
type Q15617994
[ANSWERS]
[[{'concept': 'Q1048835'}, {'concept': 'Q15617994'}], 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?w ) ?f WHERE { ?p rdf:type ?m . VALUES ( ?m ) { ( ontology:Q1048835 ) ( ontology:Q15617994 ) } } GROUP BY ?f } . FILTER ( ?w = ?i ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?i ) WHERE { ?l property:P530 resource:Q35 . { { ?l rdf:type ontology:Q15617994 } UNION { ?l rdf:type ontology:Q1048835 } } } } }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
Denmark Canada Austria
action approx
action union
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
action find_reverse_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Denmark
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
[[{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}], 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?w ) ?f WHERE { ?p rdf:type ?m . VALUES ( ?m ) { ( ontology:political_territorial_entity ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?f } . FILTER ( ?w = ?i ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?i ) WHERE { ?l property:diplomatic_relation resource:Denmark . { { ?l rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?l rdf:type ontology:political_territorial_entity } } } } }
[]