Simple Question (Direct)
Simple Question
Q72905
P106
Q12737077
USER
What do Peter Lehmann do for a living ?
(Q72905,P106,c(Q12737077))
action filter_type
action find
entity Q72905
relation P106
type Q12737077
['Q72905', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?y WHERE { resource:Q72905 property:P106 ?y . ?y rdf:type ontology:Q12737077 }
Peter Lehmann
action filter_type
action find
entity Peter Lehmann
relation occupation
type occupation
['Peter Lehmann', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?y WHERE { resource:Peter_Lehmann property:occupation ?y . ?y rdf:type ontology:occupation }
[]
occupation
Q2516866 Q36180
SYSTEM
publisher, writer
Q2516866 Q36180
(Q72905,P106,c(Q12737077))
action filter_type
action find
entity Q72905
relation P106
type Q12737077
Peter Lehmann do for a living as [ANSWERS]
['Q72905', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?y WHERE { resource:Q72905 property:P106 ?y . ?y rdf:type ontology:Q12737077 }
publisher writer
Peter Lehmann do for a living as publisher and writer
publisher writer
action filter_type
action find
entity Peter Lehmann
relation occupation
type occupation
['Peter Lehmann', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?y WHERE { resource:Peter_Lehmann property:occupation ?y . ?y rdf:type ontology:occupation }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q72905
P734
Q82799
USER
Who is associated with that person ?
(Q2516866,P734,c(Q82799)) (Q36180,P734,c(Q82799))
action filter_type
action find
entity Q72905
relation P734
type Q82799
['Q2516866', 'P734', {'concept': 'Q82799'}] ['Q36180', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?r WHERE { resource:Q72905 property:P734 ?r . ?r rdf:type ontology:Q82799 }
Peter Lehmann
action filter_type
action find
entity Peter Lehmann
relation family name
type name
['publisher', 'family name', {'concept': 'name'}] ['writer', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?r WHERE { resource:Peter_Lehmann property:family_name ?r . ?r rdf:type ontology:name }
[]
name
Q1813129
SYSTEM
Lehmann
Q1813129
(Q2516866,P734,c(Q82799)) (Q36180,P734,c(Q82799))
action filter_type
action find
entity Q72905
relation P734
type Q82799
[ANSWER] is associated with that person
['Q2516866', 'P734', {'concept': 'Q82799'}] ['Q36180', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?r WHERE { resource:Q72905 property:P734 ?r . ?r rdf:type ontology:Q82799 }
Lehmann
Lehmann is associated with that person
Lehmann
action filter_type
action find
entity Peter Lehmann
relation family name
type name
['publisher', 'family name', {'concept': 'name'}] ['writer', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?r WHERE { resource:Peter_Lehmann property:family_name ?r . ?r rdf:type ontology:name }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type|Indirect
P734
Q502895
USER
How many people have that name as last name ?
(c(Q502895),P734,Q1813129)
action count
action filter_type
action find_reverse
entity Q1813129
relation P734
type Q502895
[{'concept': 'Q502895'}, 'P734', 'Q1813129']
SELECT DISTINCT ( COUNT ( ?e ) AS ?x ) WHERE { ?e rdf:type ontology:Q502895 . ?e property:P734 resource:Q1813129 }
action count
action filter_type
action find_reverse
entity Lehmann
relation family name
type common name
[{'concept': 'common name'}, 'family name', 'Lehmann']
SELECT DISTINCT ( COUNT ( ?e ) AS ?x ) WHERE { ?e rdf:type ontology:common_name . ?e property:family_name resource:Lehmann }
[]
common name
SYSTEM
33
Q3731610 Q45019 Q676828 Q676476 Q1563198 Q72905 Q683530 Q256839 Q3302627 Q122891 Q717498 Q23498012 Q566633 Q3442258 Q5388986 Q21588051 Q62981 Q62995 Q60303 Q5180072 Q91896 Q665422 Q240483 Q67360 Q686846 Q23816854 Q57114 Q3301041 Q5944329 Q3827201 Q4002633 Q3760573 Q61641
(c(Q502895),P734,Q1813129)
action count
action filter_type
action find_reverse
entity Q1813129
relation P734
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P734', 'Q1813129']
SELECT DISTINCT ( COUNT ( ?e ) AS ?x ) WHERE { ?e rdf:type ontology:Q502895 . ?e property:P734 resource:Q1813129 }
Erich Leo Lehmann Karl Lehmann Urs Lehmann August Lehmann John Lehmann Peter Lehmann Matthias Lehmann Inge Lehmann Maxime Lehmann Dascha Lehmann Michael Lehmann Birgit Lehmann Annette Lehmann Rosamond Lehmann Erika Lehmann Lasse Lehmann Johann Georg Christian Lehmann Jens Lehmann Lotte Lehmann Coyote McCloud Gerhard Lehmann Beatrix Lehmann Henri Lehmann Bernhard Lehmann Stephan Lehmann Ruth Lehmann Jens Lehmann Maurice Lehmann Carl Peter Lehmann Lars Lehmann Udo Lehmann George Lehmann Lilli Lehmann
33
action count
action filter_type
action find_reverse
entity Lehmann
relation family name
type common name
[{'concept': 'common name'}, 'family name', 'Lehmann']
SELECT DISTINCT ( COUNT ( ?e ) AS ?x ) WHERE { ?e rdf:type ontology:common_name . ?e property:family_name resource:Lehmann }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P407
Q34770 Q82799
USER
How many languages are the languages of work for approximately 132 names ?
(c(Q82799),P407,c(Q34770))
action count
action approx
action find_reverse_tuple_counts
relation P407
type Q34770
type Q82799
value 132
[{'concept': 'Q82799'}, 'P407', {'concept': 'Q34770'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?j ) AS ?n ) WHERE { ?t rdf:type ontology:Q34770 . ?j rdf:type ontology:Q82799 . ?j property:P407 ?t } GROUP BY ?t } . FILTER ( ?n = 132 ) }
action count
action approx
action find_reverse_tuple_counts
relation language of work or name
type language
type name
value 132
[{'concept': 'name'}, 'language of work or name', {'concept': 'language'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?j ) AS ?n ) WHERE { ?t rdf:type ontology:language . ?j rdf:type ontology:name . ?j property:language_of_work_or_name ?t } GROUP BY ?t } . FILTER ( ?n = 132 ) }
[]
language name
SYSTEM
2
Q1321 Q652
(c(Q82799),P407,c(Q34770))
action count
action approx
action find_reverse_tuple_counts
relation P407
type Q34770
type Q82799
value 132
[ANSWER]
[{'concept': 'Q82799'}, 'P407', {'concept': 'Q34770'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?j ) AS ?n ) WHERE { ?t rdf:type ontology:Q34770 . ?j rdf:type ontology:Q82799 . ?j property:P407 ?t } GROUP BY ?t } . FILTER ( ?n = 132 ) }
Spanish Italian
2
action count
action approx
action find_reverse_tuple_counts
relation language of work or name
type language
type name
value 132
[{'concept': 'name'}, 'language of work or name', {'concept': 'language'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?e ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?j ) AS ?n ) WHERE { ?t rdf:type ontology:language . ?j rdf:type ontology:name . ?j property:language_of_work_or_name ?t } GROUP BY ?t } . FILTER ( ?n = 132 ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q904212 Q72905
P47 P27
Q1048835
USER
Which political territories are the countries of citizenship of Peter Lehmann or share the border with Fraga ?
OR((Q72905,P27,c(Q1048835)), (Q904212,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q72905
relation P27
action find
entity Q904212
relation P47
type Q1048835
{'OR': [['Q72905', 'P27', {'concept': 'Q1048835'}], ['Q904212', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Q72905 property:P27 ?c } UNION { resource:Q904212 property:P47 ?c } } . ?c rdf:type ontology:Q1048835 }
Fraga Peter Lehmann
action filter_type
action union
action find
entity Peter Lehmann
relation country of citizenship
action find
entity Fraga
relation shares border with
type political territorial entity
{'OR': [['Peter Lehmann', 'country of citizenship', {'concept': 'political territorial entity'}], ['Fraga', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Peter_Lehmann property:country_of_citizenship ?c } UNION { resource:Fraga property:shares_border_with ?c } } . ?c rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183 Q599367 Q1766622 Q1900753 Q1772290 Q983642 Q599382 Q144331 Q837051 Q1646588
SYSTEM
Some of them are Germany, Seròs, Soses, Massalcoreig, Alcarràs, Torrente de Cinca, Torres de Segre, Zaidín, Mequinenza, Aitona
Q599367 Q1646588 Q144331 Q599382 Q183 Q1900753 Q983642 Q1766622 Q837051 Q1772290 Q549900
OR((Q72905,P27,c(Q1048835)), (Q904212,P47,c(Q1048835)))
action filter_type
action union
action find
entity Q72905
relation P27
action find
entity Q904212
relation P47
type Q1048835
[ANSWERS] are the countries of citizenship of Peter Lehmann or share the border with Fraga
{'OR': [['Q72905', 'P27', {'concept': 'Q1048835'}], ['Q904212', 'P47', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Q72905 property:P27 ?c } UNION { resource:Q904212 property:P47 ?c } } . ?c rdf:type ontology:Q1048835 }
Seròs Aitona Zaidín Torres de Segre Germany Massalcoreig Torrente de Cinca Soses Mequinenza Alcarràs Velilla de Cinca
Germany, Seròs, Soses, Massalcoreig, Alcarràs, Torrente de Cinca, Torres de Segre, Zaidín, Mequinenza and Aitona are the countries of citizenship of Peter Lehmann or share the border with Fraga
Germany Seròs Soses Massalcoreig Alcarràs Torrente de Cinca Torres de Segre Zaidín Mequinenza Aitona
action filter_type
action union
action find
entity Peter Lehmann
relation country of citizenship
action find
entity Fraga
relation shares border with
type political territorial entity
{'OR': [['Peter Lehmann', 'country of citizenship', {'concept': 'political territorial entity'}], ['Fraga', 'shares border with', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?c WHERE { { { resource:Peter_Lehmann property:country_of_citizenship ?c } UNION { resource:Fraga property:shares_border_with ?c } } . ?c rdf:type ontology:political_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q1048835 Q1048835
USER
How many political territories have a diplomatic relationship with atmost 5 political territories ?
(c(Q1048835),P530,c(Q1048835))
action count
action atmost
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
value 5
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?n ) WHERE { { SELECT DISTINCT ?k ( COUNT ( ?x ) AS ?g ) WHERE { ?k property:P530 ?x . ?k rdf:type ontology:Q1048835 . ?x rdf:type ontology:Q1048835 } GROUP BY ?k } . FILTER ( ?g <= 5 ) }
action count
action atmost
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
value 5
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?n ) WHERE { { SELECT DISTINCT ?k ( COUNT ( ?x ) AS ?g ) WHERE { ?k property:diplomatic_relation ?x . ?k rdf:type ontology:political_territorial_entity . ?x rdf:type ontology:political_territorial_entity } GROUP BY ?k } . FILTER ( ?g <= 5 ) }
[]
political territorial entity political territorial entity
SYSTEM
11
Q1000 Q40 Q781 Q778 Q769 Q685 Q35 Q691 Q16 Q664 Q766
(c(Q1048835),P530,c(Q1048835))
action count
action atmost
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
value 5
[ANSWER]
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?n ) WHERE { { SELECT DISTINCT ?k ( COUNT ( ?x ) AS ?g ) WHERE { ?k property:P530 ?x . ?k rdf:type ontology:Q1048835 . ?x rdf:type ontology:Q1048835 } GROUP BY ?k } . FILTER ( ?g <= 5 ) }
Gabon Austria Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea Canada New Zealand Jamaica
11
action count
action atmost
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
value 5
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?n ) WHERE { { SELECT DISTINCT ?k ( COUNT ( ?x ) AS ?g ) WHERE { ?k property:diplomatic_relation ?x . ?k rdf:type ontology:political_territorial_entity . ?x rdf:type ontology:political_territorial_entity } GROUP BY ?k } . FILTER ( ?g <= 5 ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q407199
P495
Q1048835 Q15416 Q2342494
USER
How many political territories are the origin of greater number of television programs or collectables than Palestinian territories ?
(c(Q15416)|c(Q2342494),P495,c(Q1048835))
action count
action greater
action union
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q15416
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q2342494
action count
action filter_multi_types
action find_reverse
entity Q407199
relation P495
type Q15416
type Q2342494
[[{'concept': 'Q15416'}, {'concept': 'Q2342494'}], 'P495', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?t ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?i ) AS ?j ) WHERE { { ?i rdf:type ontology:Q15416 . ?y rdf:type ontology:Q1048835 . ?i property:P495 ?y } UNION { ?i property:P495 ?y . ?y rdf:type ontology:Q1048835 . ?i rdf:type ontology:Q2342494 } } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?o ) WHERE { ?s property:P495 resource:Q407199 . { ?s rdf:type ?n . VALUES ( ?n ) { ( ontology:Q15416 ) ( ontology:Q2342494 ) } } } } . FILTER ( ?j > ?o ) }
Palestinian territories
action count
action greater
action union
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type television program
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type collectable
action count
action filter_multi_types
action find_reverse
entity Palestinian territories
relation country of origin
type television program
type collectable
[[{'concept': 'television program'}, {'concept': 'collectable'}], 'country of origin', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?t ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?i ) AS ?j ) WHERE { { ?i rdf:type ontology:television_program . ?y rdf:type ontology:political_territorial_entity . ?i property:country_of_origin ?y } UNION { ?i property:country_of_origin ?y . ?y rdf:type ontology:political_territorial_entity . ?i rdf:type ontology:collectable } } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?o ) WHERE { ?s property:country_of_origin resource:Palestinian_territories . { ?s rdf:type ?n . VALUES ( ?n ) { ( ontology:television_program ) ( ontology:collectable ) } } } } . FILTER ( ?j > ?o ) }
[]
political territorial entity television program collectable
SYSTEM
11
Q838261 Q183 Q664 Q766 Q5705 Q16 Q35 Q408 Q691 Q40 Q31747
(c(Q15416)|c(Q2342494),P495,c(Q1048835))
action count
action greater
action union
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q15416
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q2342494
action count
action filter_multi_types
action find_reverse
entity Q407199
relation P495
type Q15416
type Q2342494
[ANSWER]
[[{'concept': 'Q15416'}, {'concept': 'Q2342494'}], 'P495', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?t ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?i ) AS ?j ) WHERE { { ?i rdf:type ontology:Q15416 . ?y rdf:type ontology:Q1048835 . ?i property:P495 ?y } UNION { ?i property:P495 ?y . ?y rdf:type ontology:Q1048835 . ?i rdf:type ontology:Q2342494 } } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?o ) WHERE { ?s property:P495 resource:Q407199 . { ?s rdf:type ?n . VALUES ( ?n ) { ( ontology:Q15416 ) ( ontology:Q2342494 ) } } } } . FILTER ( ?j > ?o ) }
Federal Republic of Yugoslavia Germany New Zealand Jamaica Catalonia Canada Denmark Australia Papua New Guinea Austria Irish Free State
11
action count
action greater
action union
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type television program
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type collectable
action count
action filter_multi_types
action find_reverse
entity Palestinian territories
relation country of origin
type television program
type collectable
[[{'concept': 'television program'}, {'concept': 'collectable'}], 'country of origin', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?y ) AS ?t ) WHERE { { SELECT DISTINCT ?y ( COUNT ( ?i ) AS ?j ) WHERE { { ?i rdf:type ontology:television_program . ?y rdf:type ontology:political_territorial_entity . ?i property:country_of_origin ?y } UNION { ?i property:country_of_origin ?y . ?y rdf:type ontology:political_territorial_entity . ?i rdf:type ontology:collectable } } GROUP BY ?y } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?o ) WHERE { ?s property:country_of_origin resource:Palestinian_territories . { ?s rdf:type ?n . VALUES ( ?n ) { ( ontology:television_program ) ( ontology:collectable ) } } } } . FILTER ( ?j > ?o ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q781
P495
Q1048835 Q15416 Q2342494
USER
And also tell me about Antigua and Barbuda?
(c(Q15416)|c(Q2342494),P495,c(Q1048835))
action count
action greater
action union
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q15416
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q2342494
action count
action filter_multi_types
action find_reverse
entity Q781
relation P495
type Q15416
type Q2342494
[[{'concept': 'Q15416'}, {'concept': 'Q2342494'}], 'P495', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?t ) ?s WHERE { VALUES ( ?g ) { ( ontology:Q2342494 ) ( ontology:Q15416 ) } . ?h rdf:type ?g } GROUP BY ?s } . FILTER ( ?t > ?j ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) WHERE { ?f property:P495 resource:Q781 . { { ?f rdf:type ontology:Q15416 } UNION { ?f rdf:type ontology:Q2342494 } } } } }
Antigua and Barbuda
action count
action greater
action union
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type television program
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type collectable
action count
action filter_multi_types
action find_reverse
entity Antigua and Barbuda
relation country of origin
type television program
type collectable
[[{'concept': 'television program'}, {'concept': 'collectable'}], 'country of origin', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?t ) ?s WHERE { VALUES ( ?g ) { ( ontology:collectable ) ( ontology:television_program ) } . ?h rdf:type ?g } GROUP BY ?s } . FILTER ( ?t > ?j ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) WHERE { ?f property:country_of_origin resource:Antigua_and_Barbuda . { { ?f rdf:type ontology:television_program } UNION { ?f rdf:type ontology:collectable } } } } }
[]
political territorial entity television program collectable
SYSTEM
11
Q838261 Q183 Q664 Q766 Q5705 Q16 Q35 Q408 Q691 Q40 Q31747
(c(Q15416)|c(Q2342494),P495,c(Q1048835))
action count
action greater
action union
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q15416
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q2342494
action count
action filter_multi_types
action find_reverse
entity Q781
relation P495
type Q15416
type Q2342494
[ANSWER]
[[{'concept': 'Q15416'}, {'concept': 'Q2342494'}], 'P495', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?t ) ?s WHERE { VALUES ( ?g ) { ( ontology:Q2342494 ) ( ontology:Q15416 ) } . ?h rdf:type ?g } GROUP BY ?s } . FILTER ( ?t > ?j ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) WHERE { ?f property:P495 resource:Q781 . { { ?f rdf:type ontology:Q15416 } UNION { ?f rdf:type ontology:Q2342494 } } } } }
Federal Republic of Yugoslavia Germany New Zealand Jamaica Catalonia Canada Denmark Australia Papua New Guinea Austria Irish Free State
11
action count
action greater
action union
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type television program
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type collectable
action count
action filter_multi_types
action find_reverse
entity Antigua and Barbuda
relation country of origin
type television program
type collectable
[[{'concept': 'television program'}, {'concept': 'collectable'}], 'country of origin', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?t ) ?s WHERE { VALUES ( ?g ) { ( ontology:collectable ) ( ontology:television_program ) } . ?h rdf:type ?g } GROUP BY ?s } . FILTER ( ?t > ?j ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) WHERE { ?f property:country_of_origin resource:Antigua_and_Barbuda . { { ?f rdf:type ontology:television_program } UNION { ?f rdf:type ontology:collectable } } } } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P17
Q1048835 Q1190554 Q223557
USER
How many political territories do atleast 13 events and physical objects belong to ?
(c(Q1190554)|c(Q223557),P17,c(Q1048835))
action count
action atleast
action union
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q1190554
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q223557
value 13
[[{'concept': 'Q1190554'}, {'concept': 'Q223557'}], 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?a ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?b ) AS ?s ) WHERE { VALUES ( ?l ) { ( ontology:Q1190554 ) ( ontology:Q223557 ) } . ?b rdf:type ?l } GROUP BY ?h } . FILTER ( ?s >= 13 ) }
action count
action atleast
action union
action find_reverse_tuple_counts
relation country
type political territorial entity
type event
action find_reverse_tuple_counts
relation country
type political territorial entity
type physical object
value 13
[[{'concept': 'event'}, {'concept': 'physical object'}], 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?a ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?b ) AS ?s ) WHERE { VALUES ( ?l ) { ( ontology:event ) ( ontology:physical_object ) } . ?b rdf:type ?l } GROUP BY ?h } . FILTER ( ?s >= 13 ) }
[]
political territorial entity event physical object
SYSTEM
7
Q183 Q664 Q16 Q35 Q408 Q691 Q40
(c(Q1190554)|c(Q223557),P17,c(Q1048835))
action count
action atleast
action union
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q1190554
action find_reverse_tuple_counts
relation P17
type Q1048835
type Q223557
value 13
[ANSWER]
[[{'concept': 'Q1190554'}, {'concept': 'Q223557'}], 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?a ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?b ) AS ?s ) WHERE { VALUES ( ?l ) { ( ontology:Q1190554 ) ( ontology:Q223557 ) } . ?b rdf:type ?l } GROUP BY ?h } . FILTER ( ?s >= 13 ) }
Germany New Zealand Canada Denmark Australia Papua New Guinea Austria
7
action count
action atleast
action union
action find_reverse_tuple_counts
relation country
type political territorial entity
type event
action find_reverse_tuple_counts
relation country
type political territorial entity
type physical object
value 13
[[{'concept': 'event'}, {'concept': 'physical object'}], 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?a ) WHERE { { SELECT DISTINCT ?h ( COUNT ( ?b ) AS ?s ) WHERE { VALUES ( ?l ) { ( ontology:event ) ( ontology:physical_object ) } . ?b rdf:type ?l } GROUP BY ?h } . FILTER ( ?s >= 13 ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P495
Q1048835 Q201658 Q2088357
USER
How many political territories are the origin of atleast 256 film genres and musical ensembles ?
(c(Q201658)|c(Q2088357),P495,c(Q1048835))
action count
action atleast
action union
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q201658
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q2088357
value 256
[[{'concept': 'Q201658'}, {'concept': 'Q2088357'}], 'P495', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?w ) ?r WHERE { { ?g property:P495 ?r . ?r rdf:type ontology:Q1048835 . ?g rdf:type ontology:Q201658 } UNION { ?r rdf:type ontology:Q1048835 . ?g rdf:type ontology:Q2088357 . ?g property:P495 ?r } } GROUP BY ?r } . FILTER ( ?w >= 256 ) }
action count
action atleast
action union
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type film genre
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type musical ensemble
value 256
[[{'concept': 'film genre'}, {'concept': 'musical ensemble'}], 'country of origin', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?w ) ?r WHERE { { ?g property:country_of_origin ?r . ?r rdf:type ontology:political_territorial_entity . ?g rdf:type ontology:film_genre } UNION { ?r rdf:type ontology:political_territorial_entity . ?g rdf:type ontology:musical_ensemble . ?g property:country_of_origin ?r } } GROUP BY ?r } . FILTER ( ?w >= 256 ) }
[]
political territorial entity film genre musical ensemble
SYSTEM
3
Q183 Q16 Q408
(c(Q201658)|c(Q2088357),P495,c(Q1048835))
action count
action atleast
action union
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q201658
action find_reverse_tuple_counts
relation P495
type Q1048835
type Q2088357
value 256
[ANSWER]
[[{'concept': 'Q201658'}, {'concept': 'Q2088357'}], 'P495', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?w ) ?r WHERE { { ?g property:P495 ?r . ?r rdf:type ontology:Q1048835 . ?g rdf:type ontology:Q201658 } UNION { ?r rdf:type ontology:Q1048835 . ?g rdf:type ontology:Q2088357 . ?g property:P495 ?r } } GROUP BY ?r } . FILTER ( ?w >= 256 ) }
Germany Canada Australia
3
action count
action atleast
action union
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type film genre
action find_reverse_tuple_counts
relation country of origin
type political territorial entity
type musical ensemble
value 256
[[{'concept': 'film genre'}, {'concept': 'musical ensemble'}], 'country of origin', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?z ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?w ) ?r WHERE { { ?g property:country_of_origin ?r . ?r rdf:type ontology:political_territorial_entity . ?g rdf:type ontology:film_genre } UNION { ?r rdf:type ontology:political_territorial_entity . ?g rdf:type ontology:musical_ensemble . ?g property:country_of_origin ?r } } GROUP BY ?r } . FILTER ( ?w >= 256 ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q29 Q1646588
P47 P17
Q1048835
USER
Which political territories are bordered by Aitona and are present in Spain ?
AND((c(Q1048835),P47,Q1646588), (c(Q1048835),P17,Q29))
action filter_type
action intersection
action find_reverse
entity Q1646588
relation P47
action find_reverse
entity Q29
relation P17
type Q1048835
{'AND': [[{'concept': 'Q1048835'}, 'P47', 'Q1646588'], [{'concept': 'Q1048835'}, 'P17', 'Q29']]}
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:Q1048835 . ?w property:P17 resource:Q29 . ?w property:P47 resource:Q1646588 }
Spain Aitona
action filter_type
action intersection
action find_reverse
entity Aitona
relation shares border with
action find_reverse
entity Spain
relation country
type political territorial entity
{'AND': [[{'concept': 'political territorial entity'}, 'shares border with', 'Aitona'], [{'concept': 'political territorial entity'}, 'country', 'Spain']]}
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:political_territorial_entity . ?w property:country resource:Spain . ?w property:shares_border_with resource:Aitona }
[]
political territorial entity
Q599367 Q599382 Q904212 Q1769607 Q1901336 Q1766622
SYSTEM
Seròs, Torres de Segre, Fraga, Llardecans, Sarroca de Lleida, Soses
Q599367 Q599382 Q904212 Q1769607 Q1901336 Q1766622
AND((c(Q1048835),P47,Q1646588), (c(Q1048835),P17,Q29))
action filter_type
action intersection
action find_reverse
entity Q1646588
relation P47
action find_reverse
entity Q29
relation P17
type Q1048835
[ANSWERS] are bordered by Aitona and are present in Spain
{'AND': [[{'concept': 'Q1048835'}, 'P47', 'Q1646588'], [{'concept': 'Q1048835'}, 'P17', 'Q29']]}
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:Q1048835 . ?w property:P17 resource:Q29 . ?w property:P47 resource:Q1646588 }
Seròs Torres de Segre Fraga Llardecans Sarroca de Lleida Soses
Seròs, Torres de Segre, Fraga, Llardecans, Sarroca de Lleida and Soses are bordered by Aitona and are present in Spain
Seròs Torres de Segre Fraga Llardecans Sarroca de Lleida Soses
action filter_type
action intersection
action find_reverse
entity Aitona
relation shares border with
action find_reverse
entity Spain
relation country
type political territorial entity
{'AND': [[{'concept': 'political territorial entity'}, 'shares border with', 'Aitona'], [{'concept': 'political territorial entity'}, 'country', 'Spain']]}
SELECT DISTINCT ?w WHERE { ?w rdf:type ontology:political_territorial_entity . ?w property:country resource:Spain . ?w property:shares_border_with resource:Aitona }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1646588
P47
Q1048835
USER
Do those ones share a border with Aitona ?
(Q1646588,P47,Q599367) (Q1646588,P47,Q599382) (Q1646588,P47,Q904212) (Q1646588,P47,Q1769607) (Q1646588,P47,Q1901336) (Q1646588,P47,Q1766622)
action is_in
entity prev_answer
action find
entity Q1646588
relation P47
['Q1646588', 'P47', 'Q599367'] ['Q1646588', 'P47', 'Q599382'] ['Q1646588', 'P47', 'Q904212'] ['Q1646588', 'P47', 'Q1769607'] ['Q1646588', 'P47', 'Q1901336'] ['Q1646588', 'P47', 'Q1766622']
ASK WHERE { resource:Q1646588 property:P47 ?p . VALUES ( ?p ) { ( resource:Q599367 ) ( resource:Q599382 ) ( resource:Q904212 ) } }
Aitona
action is_in
entity prev_answer
action find
entity Aitona
relation shares border with
['Aitona', 'shares border with', 'Seròs'] ['Aitona', 'shares border with', 'Torres de Segre'] ['Aitona', 'shares border with', 'Fraga'] ['Aitona', 'shares border with', 'Llardecans'] ['Aitona', 'shares border with', 'Sarroca de Lleida'] ['Aitona', 'shares border with', 'Soses']
ASK WHERE { resource:Aitona property:shares_border_with ?p . VALUES ( ?p ) { ( resource:Seròs ) ( resource:Torres_de_Segre ) ( resource:Fraga ) } }
[]
political territorial entity
SYSTEM
YES
(Q1646588,P47,Q599367) (Q1646588,P47,Q599382) (Q1646588,P47,Q904212) (Q1646588,P47,Q1769607) (Q1646588,P47,Q1901336) (Q1646588,P47,Q1766622)
action is_in
entity prev_answer
action find
entity Q1646588
relation P47
[ANSWER]
['Q1646588', 'P47', 'Q599367'] ['Q1646588', 'P47', 'Q599382'] ['Q1646588', 'P47', 'Q904212'] ['Q1646588', 'P47', 'Q1769607'] ['Q1646588', 'P47', 'Q1901336'] ['Q1646588', 'P47', 'Q1766622']
ASK WHERE { resource:Q1646588 property:P47 ?p . VALUES ( ?p ) { ( resource:Q599367 ) ( resource:Q599382 ) ( resource:Q904212 ) } }
Yes
action is_in
entity prev_answer
action find
entity Aitona
relation shares border with
['Aitona', 'shares border with', 'Seròs'] ['Aitona', 'shares border with', 'Torres de Segre'] ['Aitona', 'shares border with', 'Fraga'] ['Aitona', 'shares border with', 'Llardecans'] ['Aitona', 'shares border with', 'Sarroca de Lleida'] ['Aitona', 'shares border with', 'Soses']
ASK WHERE { resource:Aitona property:shares_border_with ?p . VALUES ( ?p ) { ( resource:Seròs ) ( resource:Torres_de_Segre ) ( resource:Fraga ) } }
[]