Simple Question (Direct)
Simple Question
Q722360
P734
Q82799
USER
Which name is associated with J. J. Hoover ?
(Q722360,P734,c(Q82799))
action filter_type
action find
entity Q722360
relation P734
type Q82799
['Q722360', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?a WHERE { resource:Q722360 property:P734 ?a . ?a rdf:type ontology:Q82799 }
J. J. Hoover
action filter_type
action find
entity J. J. Hoover
relation family name
type name
['J. J. Hoover', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?a WHERE { resource:J._J._Hoover property:family_name ?a . ?a rdf:type ontology:name }
[]
name
Q20748947
SYSTEM
Hoover
Q20748947
(Q722360,P734,c(Q82799))
action filter_type
action find
entity Q722360
relation P734
type Q82799
J [ANSWER] is associated with J. [ANSWER]
['Q722360', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?a WHERE { resource:Q722360 property:P734 ?a . ?a rdf:type ontology:Q82799 }
Hoover
J Hoover is associated with J. Hoover
Hoover
action filter_type
action find
entity J. J. Hoover
relation family name
type name
['J. J. Hoover', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?a WHERE { resource:J._J._Hoover property:family_name ?a . ?a rdf:type ontology:name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q722360
P735
Q82799
USER
What is forename of that person ?
(Q20748947,P735,c(Q82799))
action filter_type
action find
entity Q722360
relation P735
type Q82799
['Q20748947', 'P735', {'concept': 'Q82799'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q82799 . resource:Q722360 property:P735 ?r }
J. J. Hoover
action filter_type
action find
entity J. J. Hoover
relation given name
type name
['Hoover', 'given name', {'concept': 'name'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:name . resource:J._J._Hoover property:given_name ?r }
[]
name
Q19803507
SYSTEM
J.
Q19803507
(Q20748947,P735,c(Q82799))
action filter_type
action find
entity Q722360
relation P735
type Q82799
Forename of that person is a [ANSWER]
['Q20748947', 'P735', {'concept': 'Q82799'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:Q82799 . resource:Q722360 property:P735 ?r }
J.
Forename of that person is a J.
J.
action filter_type
action find
entity J. J. Hoover
relation given name
type name
['Hoover', 'given name', {'concept': 'name'}]
SELECT DISTINCT ?r WHERE { ?r rdf:type ontology:name . resource:J._J._Hoover property:given_name ?r }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q714189
P138
Q486972 Q15617994 Q82799
USER
How many names come from more number of human settlements or administrative territories than Duce ?
(c(Q82799),P138,c(Q486972)|c(Q15617994))
action count
action greater
action union
action find_tuple_counts
relation P138
type Q82799
type Q486972
action find_tuple_counts
relation P138
type Q82799
type Q15617994
action count
action filter_multi_types
action find
entity Q714189
relation P138
type Q486972
type Q15617994
[{'concept': 'Q82799'}, 'P138', [{'concept': 'Q486972'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?u ) AS ?g ) WHERE { { SELECT DISTINCT ?u ( COUNT ( ?x ) AS ?t ) WHERE { ?x rdf:type ?i . VALUES ( ?i ) { ( ontology:Q486972 ) ( ontology:Q15617994 ) } } GROUP BY ?u } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Q714189 property:P138 ?v . { { ?v rdf:type ontology:Q486972 } UNION { ?v rdf:type ontology:Q15617994 } } } } . FILTER ( ?t > ?j ) }
Duce
action count
action greater
action union
action find_tuple_counts
relation named after
type name
type human settlement
action find_tuple_counts
relation named after
type name
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Duce
relation named after
type human settlement
type designation for an administrative territorial entity
[{'concept': 'name'}, 'named after', [{'concept': 'human settlement'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?u ) AS ?g ) WHERE { { SELECT DISTINCT ?u ( COUNT ( ?x ) AS ?t ) WHERE { ?x rdf:type ?i . VALUES ( ?i ) { ( ontology:human_settlement ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?u } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Duce property:named_after ?v . { { ?v rdf:type ontology:human_settlement } UNION { ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } . FILTER ( ?t > ?j ) }
[]
human settlement designation for an administrative territorial entity name
SYSTEM
2
Q27022433 Q24229341
(c(Q82799),P138,c(Q486972)|c(Q15617994))
action count
action greater
action union
action find_tuple_counts
relation P138
type Q82799
type Q486972
action find_tuple_counts
relation P138
type Q82799
type Q15617994
action count
action filter_multi_types
action find
entity Q714189
relation P138
type Q486972
type Q15617994
[ANSWER]
[{'concept': 'Q82799'}, 'P138', [{'concept': 'Q486972'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?u ) AS ?g ) WHERE { { SELECT DISTINCT ?u ( COUNT ( ?x ) AS ?t ) WHERE { ?x rdf:type ?i . VALUES ( ?i ) { ( ontology:Q486972 ) ( ontology:Q15617994 ) } } GROUP BY ?u } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Q714189 property:P138 ?v . { { ?v rdf:type ontology:Q486972 } UNION { ?v rdf:type ontology:Q15617994 } } } } . FILTER ( ?t > ?j ) }
Danziger Toscano
2
action count
action greater
action union
action find_tuple_counts
relation named after
type name
type human settlement
action find_tuple_counts
relation named after
type name
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Duce
relation named after
type human settlement
type designation for an administrative territorial entity
[{'concept': 'name'}, 'named after', [{'concept': 'human settlement'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?u ) AS ?g ) WHERE { { SELECT DISTINCT ?u ( COUNT ( ?x ) AS ?t ) WHERE { ?x rdf:type ?i . VALUES ( ?i ) { ( ontology:human_settlement ) ( ontology:designation_for_an_administrative_territorial_entity ) } } GROUP BY ?u } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Duce property:named_after ?v . { { ?v rdf:type ontology:human_settlement } UNION { ?v rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } . FILTER ( ?t > ?j ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q23301520
P138
Q486972 Q15617994 Q82799
USER
And what about Aonchotheca moraveci?
(c(Q82799),P138,c(Q486972)|c(Q15617994))
action count
action greater
action union
action find_tuple_counts
relation P138
type Q82799
type Q486972
action find_tuple_counts
relation P138
type Q82799
type Q15617994
action count
action filter_multi_types
action find
entity Q23301520
relation P138
type Q486972
type Q15617994
[{'concept': 'Q82799'}, 'P138', [{'concept': 'Q486972'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?v ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?t ) AS ?p ) WHERE { { ?e rdf:type ontology:Q82799 . ?t rdf:type ontology:Q486972 . ?e property:P138 ?t } UNION { ?e rdf:type ontology:Q82799 . ?t rdf:type ontology:Q15617994 . ?e property:P138 ?t } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?h ) WHERE { resource:Q23301520 property:P138 ?m . { { ?m rdf:type ontology:Q486972 } UNION { ?m rdf:type ontology:Q15617994 } } } } . FILTER ( ?p > ?h ) }
Aonchotheca moraveci
action count
action greater
action union
action find_tuple_counts
relation named after
type name
type human settlement
action find_tuple_counts
relation named after
type name
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Aonchotheca moraveci
relation named after
type human settlement
type designation for an administrative territorial entity
[{'concept': 'name'}, 'named after', [{'concept': 'human settlement'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?v ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?t ) AS ?p ) WHERE { { ?e rdf:type ontology:name . ?t rdf:type ontology:human_settlement . ?e property:named_after ?t } UNION { ?e rdf:type ontology:name . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?e property:named_after ?t } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?h ) WHERE { resource:Aonchotheca_moraveci property:named_after ?m . { { ?m rdf:type ontology:human_settlement } UNION { ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } . FILTER ( ?p > ?h ) }
[]
human settlement designation for an administrative territorial entity name
SYSTEM
2
Q27022433 Q24229341
(c(Q82799),P138,c(Q486972)|c(Q15617994))
action count
action greater
action union
action find_tuple_counts
relation P138
type Q82799
type Q486972
action find_tuple_counts
relation P138
type Q82799
type Q15617994
action count
action filter_multi_types
action find
entity Q23301520
relation P138
type Q486972
type Q15617994
[ANSWER]
[{'concept': 'Q82799'}, 'P138', [{'concept': 'Q486972'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?v ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?t ) AS ?p ) WHERE { { ?e rdf:type ontology:Q82799 . ?t rdf:type ontology:Q486972 . ?e property:P138 ?t } UNION { ?e rdf:type ontology:Q82799 . ?t rdf:type ontology:Q15617994 . ?e property:P138 ?t } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?h ) WHERE { resource:Q23301520 property:P138 ?m . { { ?m rdf:type ontology:Q486972 } UNION { ?m rdf:type ontology:Q15617994 } } } } . FILTER ( ?p > ?h ) }
Danziger Toscano
2
action count
action greater
action union
action find_tuple_counts
relation named after
type name
type human settlement
action find_tuple_counts
relation named after
type name
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Aonchotheca moraveci
relation named after
type human settlement
type designation for an administrative territorial entity
[{'concept': 'name'}, 'named after', [{'concept': 'human settlement'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?v ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?t ) AS ?p ) WHERE { { ?e rdf:type ontology:name . ?t rdf:type ontology:human_settlement . ?e property:named_after ?t } UNION { ?e rdf:type ontology:name . ?t rdf:type ontology:designation_for_an_administrative_territorial_entity . ?e property:named_after ?t } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?h ) WHERE { resource:Aonchotheca_moraveci property:named_after ?m . { { ?m rdf:type ontology:human_settlement } UNION { ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } } } } . FILTER ( ?p > ?h ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q722360
P54
Q12973014
USER
How many sports teams are J. J. Hoover a member of ?
(Q722360,P54,c(Q12973014))
action count
action filter_type
action find
entity Q722360
relation P54
type Q12973014
['Q722360', 'P54', {'concept': 'Q12973014'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { resource:Q722360 property:P54 ?v . ?v rdf:type ontology:Q12973014 }
J. J. Hoover
action count
action filter_type
action find
entity J. J. Hoover
relation member of sports team
type sports team
['J. J. Hoover', 'member of sports team', {'concept': 'sports team'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { resource:J._J._Hoover property:member_of_sports_team ?v . ?v rdf:type ontology:sports_team }
[]
sports team
SYSTEM
1
Q826751
(Q722360,P54,c(Q12973014))
action count
action filter_type
action find
entity Q722360
relation P54
type Q12973014
[ANSWER]
['Q722360', 'P54', {'concept': 'Q12973014'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { resource:Q722360 property:P54 ?v . ?v rdf:type ontology:Q12973014 }
Cincinnati Reds
1
action count
action filter_type
action find
entity J. J. Hoover
relation member of sports team
type sports team
['J. J. Hoover', 'member of sports team', {'concept': 'sports team'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { resource:J._J._Hoover property:member_of_sports_team ?v . ?v rdf:type ontology:sports_team }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type|Incomplete
Q16106023
P54
Q12973014
USER
And how about George Murray?
(Q16106023,P54,c(Q12973014))
action count
action filter_type
action find
entity Q16106023
relation P54
type Q12973014
['Q16106023', 'P54', {'concept': 'Q12973014'}]
SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { ?f rdf:type ontology:Q12973014 . resource:Q16106023 property:P54 ?f }
George Murray
action count
action filter_type
action find
entity George Murray
relation member of sports team
type sports team
['George Murray', 'member of sports team', {'concept': 'sports team'}]
SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { ?f rdf:type ontology:sports_team . resource:George_Murray property:member_of_sports_team ?f }
[]
sports team
SYSTEM
1
Q7437735
(Q16106023,P54,c(Q12973014))
action count
action filter_type
action find
entity Q16106023
relation P54
type Q12973014
[ANSWER]
['Q16106023', 'P54', {'concept': 'Q12973014'}]
SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { ?f rdf:type ontology:Q12973014 . resource:Q16106023 property:P54 ?f }
Scottish Football League XI
1
action count
action filter_type
action find
entity George Murray
relation member of sports team
type sports team
['George Murray', 'member of sports team', {'concept': 'sports team'}]
SELECT DISTINCT ( COUNT ( ?f ) AS ?t ) WHERE { ?f rdf:type ontology:sports_team . resource:George_Murray property:member_of_sports_team ?f }
[]
Quantitative Reasoning (Count) (All)
Incomplete count-based ques
Q4792419
Q12973014
USER
And how about Arlo Brunsberg?
(Q4792419,P54,c(Q12973014))
action count
action filter_type
action find
entity Q4792419
relation P54
type Q12973014
['Q4792419', 'P54', {'concept': 'Q12973014'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?x ) WHERE { resource:Q4792419 property:P54 ?j . ?j rdf:type ontology:Q12973014 }
Arlo Brunsberg
action count
action filter_type
action find
entity Arlo Brunsberg
relation member of sports team
type sports team
['Arlo Brunsberg', 'member of sports team', {'concept': 'sports team'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?x ) WHERE { resource:Arlo_Brunsberg property:member_of_sports_team ?j . ?j rdf:type ontology:sports_team }
[]
sports team
SYSTEM
3
(Q4792419,P54,c(Q12973014))
action count
action filter_type
action find
entity Q4792419
relation P54
type Q12973014
[ANSWER]
['Q4792419', 'P54', {'concept': 'Q12973014'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?x ) WHERE { resource:Q4792419 property:P54 ?j . ?j rdf:type ontology:Q12973014 }
3
action count
action filter_type
action find
entity Arlo Brunsberg
relation member of sports team
type sports team
['Arlo Brunsberg', 'member of sports team', {'concept': 'sports team'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?x ) WHERE { resource:Arlo_Brunsberg property:member_of_sports_team ?j . ?j rdf:type ontology:sports_team }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q722360
P106
Q151885
USER
What is the job of J. J. Hoover ?
(Q722360,P106,c(Q151885))
action filter_type
action find
entity Q722360
relation P106
type Q151885
['Q722360', 'P106', {'concept': 'Q151885'}]
SELECT DISTINCT ?c WHERE { resource:Q722360 property:P106 ?c . ?c rdf:type ontology:Q151885 }
J. J. Hoover
action filter_type
action find
entity J. J. Hoover
relation occupation
type concept
['J. J. Hoover', 'occupation', {'concept': 'concept'}]
SELECT DISTINCT ?c WHERE { resource:J._J._Hoover property:occupation ?c . ?c rdf:type ontology:concept }
[]
concept
Q10871364
SYSTEM
baseball player
Q10871364
(Q722360,P106,c(Q151885))
action filter_type
action find
entity Q722360
relation P106
type Q151885
The job of J. Hoover is a [ANSWER]
['Q722360', 'P106', {'concept': 'Q151885'}]
SELECT DISTINCT ?c WHERE { resource:Q722360 property:P106 ?c . ?c rdf:type ontology:Q151885 }
baseball player
The job of J. Hoover is a baseball player
baseball player
action filter_type
action find
entity J. J. Hoover
relation occupation
type concept
['J. J. Hoover', 'occupation', {'concept': 'concept'}]
SELECT DISTINCT ?c WHERE { resource:J._J._Hoover property:occupation ?c . ?c rdf:type ontology:concept }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q10871364 Q5369
P425
Q349
USER
Does baseball have that concept as the associated field of occupation ?
(Q10871364,P425,Q5369)
action is_in
entity Q5369
action find
entity Q10871364
relation P425
['Q10871364', 'P425', 'Q5369']
ASK WHERE { resource:Q10871364 property:P425 resource:Q5369 }
baseball player baseball
action is_in
entity baseball
action find
entity baseball player
relation field of this occupation
['baseball player', 'field of this occupation', 'baseball']
ASK WHERE { resource:baseball_player property:field_of_this_occupation resource:baseball }
[]
sport
SYSTEM
YES
(Q10871364,P425,Q5369)
action is_in
entity Q5369
action find
entity Q10871364
relation P425
[ANSWER]
['Q10871364', 'P425', 'Q5369']
ASK WHERE { resource:Q10871364 property:P425 resource:Q5369 }
Yes
action is_in
entity baseball
action find
entity baseball player
relation field of this occupation
['baseball player', 'field of this occupation', 'baseball']
ASK WHERE { resource:baseball_player property:field_of_this_occupation resource:baseball }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q23783070
P138
Q2221906 Q56061 Q82799
USER
Which names come from greater number of geographic locations and administrative territories than Potier ?
(c(Q82799),P138,c(Q2221906)|c(Q56061))
action greater
action union
action find_tuple_counts
relation P138
type Q82799
type Q2221906
action find_tuple_counts
relation P138
type Q82799
type Q56061
action count
action filter_multi_types
action find
entity Q23783070
relation P138
type Q2221906
type Q56061
[{'concept': 'Q82799'}, 'P138', [{'concept': 'Q2221906'}, {'concept': 'Q56061'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) ?w WHERE { { ?w property:P138 ?p . ?p rdf:type ontology:Q2221906 . ?w rdf:type ontology:Q82799 } UNION { ?w property:P138 ?p . ?w rdf:type ontology:Q82799 . ?p rdf:type ontology:Q56061 } } GROUP BY ?w } . FILTER ( ?g > ?j ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?j ) WHERE { { { ?r rdf:type ontology:Q2221906 } UNION { ?r rdf:type ontology:Q56061 } } . resource:Q23783070 property:P138 ?r } } }
Potier
action greater
action union
action find_tuple_counts
relation named after
type name
type geographic location
action find_tuple_counts
relation named after
type name
type administrative territorial entity
action count
action filter_multi_types
action find
entity Potier
relation named after
type geographic location
type administrative territorial entity
[{'concept': 'name'}, 'named after', [{'concept': 'geographic location'}, {'concept': 'administrative territorial entity'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) ?w WHERE { { ?w property:named_after ?p . ?p rdf:type ontology:geographic_location . ?w rdf:type ontology:name } UNION { ?w property:named_after ?p . ?w rdf:type ontology:name . ?p rdf:type ontology:administrative_territorial_entity } } GROUP BY ?w } . FILTER ( ?g > ?j ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?j ) WHERE { { { ?r rdf:type ontology:geographic_location } UNION { ?r rdf:type ontology:administrative_territorial_entity } } . resource:Potier property:named_after ?r } } }
[]
geographic location administrative territorial entity name
Q22922124 Q16877784 Q21493520
SYSTEM
von Mecklenburg-Schwerin, Napoli, Bergmann
Q23688105 Q21493520 Q22922124 Q16877784
(c(Q82799),P138,c(Q2221906)|c(Q56061))
action greater
action union
action find_tuple_counts
relation P138
type Q82799
type Q2221906
action find_tuple_counts
relation P138
type Q82799
type Q56061
action count
action filter_multi_types
action find
entity Q23783070
relation P138
type Q2221906
type Q56061
[ANSWERS] come from greater number of geographic locations and administrative territories than Potier
[{'concept': 'Q82799'}, 'P138', [{'concept': 'Q2221906'}, {'concept': 'Q56061'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) ?w WHERE { { ?w property:P138 ?p . ?p rdf:type ontology:Q2221906 . ?w rdf:type ontology:Q82799 } UNION { ?w property:P138 ?p . ?w rdf:type ontology:Q82799 . ?p rdf:type ontology:Q56061 } } GROUP BY ?w } . FILTER ( ?g > ?j ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?j ) WHERE { { { ?r rdf:type ontology:Q2221906 } UNION { ?r rdf:type ontology:Q56061 } } . resource:Q23783070 property:P138 ?r } } }
de Bragança Bergmann von Mecklenburg-Schwerin Napoli
Von Mecklenburg-Schwerin, Napoli and Bergmann come from greater number of geographic locations and administrative territories than Potier
von Mecklenburg-Schwerin Napoli Bergmann
action greater
action union
action find_tuple_counts
relation named after
type name
type geographic location
action find_tuple_counts
relation named after
type name
type administrative territorial entity
action count
action filter_multi_types
action find
entity Potier
relation named after
type geographic location
type administrative territorial entity
[{'concept': 'name'}, 'named after', [{'concept': 'geographic location'}, {'concept': 'administrative territorial entity'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?g ) ?w WHERE { { ?w property:named_after ?p . ?p rdf:type ontology:geographic_location . ?w rdf:type ontology:name } UNION { ?w property:named_after ?p . ?w rdf:type ontology:name . ?p rdf:type ontology:administrative_territorial_entity } } GROUP BY ?w } . FILTER ( ?g > ?j ) . { SELECT DISTINCT ( COUNT ( ?r ) AS ?j ) WHERE { { { ?r rdf:type ontology:geographic_location } UNION { ?r rdf:type ontology:administrative_territorial_entity } } . resource:Potier property:named_after ?r } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q19831835
P138
Q2221906 Q56061 Q82799
USER
And what about Qutb?
(c(Q82799),P138,c(Q2221906)|c(Q56061))
action greater
action union
action find_tuple_counts
relation P138
type Q82799
type Q2221906
action find_tuple_counts
relation P138
type Q82799
type Q56061
action count
action filter_multi_types
action find
entity Q19831835
relation P138
type Q2221906
type Q56061
[{'concept': 'Q82799'}, 'P138', [{'concept': 'Q2221906'}, {'concept': 'Q56061'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?a ) AS ?e ) WHERE { { ?z property:P138 ?a . ?a rdf:type ontology:Q56061 . ?z rdf:type ontology:Q82799 } UNION { ?z property:P138 ?a . ?a rdf:type ontology:Q2221906 . ?z rdf:type ontology:Q82799 } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?c ) WHERE { resource:Q19831835 property:P138 ?p . { ?p rdf:type ?j . VALUES ( ?j ) { ( ontology:Q56061 ) ( ontology:Q2221906 ) } } } } . FILTER ( ?e > ?c ) }
Qutb
action greater
action union
action find_tuple_counts
relation named after
type name
type geographic location
action find_tuple_counts
relation named after
type name
type administrative territorial entity
action count
action filter_multi_types
action find
entity Qutb
relation named after
type geographic location
type administrative territorial entity
[{'concept': 'name'}, 'named after', [{'concept': 'geographic location'}, {'concept': 'administrative territorial entity'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?a ) AS ?e ) WHERE { { ?z property:named_after ?a . ?a rdf:type ontology:administrative_territorial_entity . ?z rdf:type ontology:name } UNION { ?z property:named_after ?a . ?a rdf:type ontology:geographic_location . ?z rdf:type ontology:name } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?c ) WHERE { resource:Qutb property:named_after ?p . { ?p rdf:type ?j . VALUES ( ?j ) { ( ontology:administrative_territorial_entity ) ( ontology:geographic_location ) } } } } . FILTER ( ?e > ?c ) }
[]
geographic location administrative territorial entity name
Q22922124 Q16877784 Q21493520
SYSTEM
von Mecklenburg-Schwerin, Napoli, Bergmann
Q23688105 Q21493520 Q22922124 Q16877784
(c(Q82799),P138,c(Q2221906)|c(Q56061))
action greater
action union
action find_tuple_counts
relation P138
type Q82799
type Q2221906
action find_tuple_counts
relation P138
type Q82799
type Q56061
action count
action filter_multi_types
action find
entity Q19831835
relation P138
type Q2221906
type Q56061
[ANSWERS]
[{'concept': 'Q82799'}, 'P138', [{'concept': 'Q2221906'}, {'concept': 'Q56061'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?a ) AS ?e ) WHERE { { ?z property:P138 ?a . ?a rdf:type ontology:Q56061 . ?z rdf:type ontology:Q82799 } UNION { ?z property:P138 ?a . ?a rdf:type ontology:Q2221906 . ?z rdf:type ontology:Q82799 } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?c ) WHERE { resource:Q19831835 property:P138 ?p . { ?p rdf:type ?j . VALUES ( ?j ) { ( ontology:Q56061 ) ( ontology:Q2221906 ) } } } } . FILTER ( ?e > ?c ) }
de Bragança Bergmann von Mecklenburg-Schwerin Napoli
von Mecklenburg-Schwerin Napoli Bergmann
action greater
action union
action find_tuple_counts
relation named after
type name
type geographic location
action find_tuple_counts
relation named after
type name
type administrative territorial entity
action count
action filter_multi_types
action find
entity Qutb
relation named after
type geographic location
type administrative territorial entity
[{'concept': 'name'}, 'named after', [{'concept': 'geographic location'}, {'concept': 'administrative territorial entity'}]]
SELECT DISTINCT ?z WHERE { { SELECT DISTINCT ?z ( COUNT ( ?a ) AS ?e ) WHERE { { ?z property:named_after ?a . ?a rdf:type ontology:administrative_territorial_entity . ?z rdf:type ontology:name } UNION { ?z property:named_after ?a . ?a rdf:type ontology:geographic_location . ?z rdf:type ontology:name } } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?c ) WHERE { resource:Qutb property:named_after ?p . { ?p rdf:type ?j . VALUES ( ?j ) { ( ontology:administrative_territorial_entity ) ( ontology:geographic_location ) } } } } . FILTER ( ?e > ?c ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P35
Q502895 Q1048835 Q15617994
USER
Which people are the heads of state of exactly 2 political territories or administrative territories ?
(c(Q1048835)|c(Q15617994),P35,c(Q502895))
action equal
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q1048835
action find_reverse_tuple_counts
relation P35
type Q502895
type Q15617994
value 2
[[{'concept': 'Q1048835'}, {'concept': 'Q15617994'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?m ) AS ?t ) WHERE { { ?w rdf:type ontology:Q502895 . ?m rdf:type ontology:Q1048835 . ?m property:P35 ?w } UNION { ?m property:P35 ?w . ?w rdf:type ontology:Q502895 . ?m rdf:type ontology:Q15617994 } } GROUP BY ?w } . FILTER ( ?t = 2 ) }
action equal
action union
action find_reverse_tuple_counts
relation head of state
type common name
type political territorial entity
action find_reverse_tuple_counts
relation head of state
type common name
type designation for an administrative territorial entity
value 2
[[{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?m ) AS ?t ) WHERE { { ?w rdf:type ontology:common_name . ?m rdf:type ontology:political_territorial_entity . ?m property:head_of_state ?w } UNION { ?m property:head_of_state ?w . ?w rdf:type ontology:common_name . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?w } . FILTER ( ?t = 2 ) }
[]
common name political territorial entity designation for an administrative territorial entity
Q7747 Q157 Q280856
SYSTEM
Vladimir Putin, François Hollande, George VI
Q154952 Q157 Q7747 Q147989 Q280856 Q43330 Q12950 Q324108 Q590227 Q156806 Q189575 Q269412 Q151944 Q559756 Q229493
(c(Q1048835)|c(Q15617994),P35,c(Q502895))
action equal
action union
action find_reverse_tuple_counts
relation P35
type Q502895
type Q1048835
action find_reverse_tuple_counts
relation P35
type Q502895
type Q15617994
value 2
[ANSWERS] are the heads of state of exactly 2 political territories or administrative territories
[[{'concept': 'Q1048835'}, {'concept': 'Q15617994'}], 'P35', {'concept': 'Q502895'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?m ) AS ?t ) WHERE { { ?w rdf:type ontology:Q502895 . ?m rdf:type ontology:Q1048835 . ?m property:P35 ?w } UNION { ?m property:P35 ?w . ?w rdf:type ontology:Q502895 . ?m rdf:type ontology:Q15617994 } } GROUP BY ?w } . FILTER ( ?t = 2 ) }
Willem-Alexander of the Netherlands François Hollande Vladimir Putin Joaquín Balaguer George VI Mikhail Saakashvili Alain Poher Ibrahim Boubacar Keïta Edward VIII Konstantinos Karamanlis Ion Iliescu George V Leonel Fernández el ladron Dragan Čović Nino Burjanadze
Vladimir Putin, François Hollande and George VI are the heads of state of exactly 2 political territories or administrative territories
Vladimir Putin François Hollande George VI
action equal
action union
action find_reverse_tuple_counts
relation head of state
type common name
type political territorial entity
action find_reverse_tuple_counts
relation head of state
type common name
type designation for an administrative territorial entity
value 2
[[{'concept': 'political territorial entity'}, {'concept': 'designation for an administrative territorial entity'}], 'head of state', {'concept': 'common name'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?m ) AS ?t ) WHERE { { ?w rdf:type ontology:common_name . ?m rdf:type ontology:political_territorial_entity . ?m property:head_of_state ?w } UNION { ?m property:head_of_state ?w . ?w rdf:type ontology:common_name . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?w } . FILTER ( ?t = 2 ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q7747
P1038 P21
Q502895
USER
Which people are kins of Vladimir Putin and are a male ?
AND((c(Q502895),P1038,Q7747), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q7747
relation P1038
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P1038', 'Q7747'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?t WHERE { ?t property:P1038 resource:Q7747 . ?t property:P21 resource:Q6581097 . ?t rdf:type ontology:Q502895 }
male Vladimir Putin
action filter_type
action intersection
action find_reverse
entity Vladimir Putin
relation relative
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'relative', 'Vladimir Putin'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?t WHERE { ?t property:relative resource:Vladimir_Putin . ?t property:gender resource:male . ?t rdf:type ontology:common_name }
[]
common name
Q15087614 Q23664531
SYSTEM
Roman Putin, Kirill Shamalov
Q15087614 Q23664531
AND((c(Q502895),P1038,Q7747), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q7747
relation P1038
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS] are kins of Vladimir Putin and are a male
{'AND': [[{'concept': 'Q502895'}, 'P1038', 'Q7747'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?t WHERE { ?t property:P1038 resource:Q7747 . ?t property:P21 resource:Q6581097 . ?t rdf:type ontology:Q502895 }
Roman Putin Kirill Shamalov
Roman Putin and Kirill Shamalov are kins of Vladimir Putin and are a male
Roman Putin Kirill Shamalov
action filter_type
action intersection
action find_reverse
entity Vladimir Putin
relation relative
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'relative', 'Vladimir Putin'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?t WHERE { ?t property:relative resource:Vladimir_Putin . ?t property:gender resource:male . ?t rdf:type ontology:common_name }
[]