Simple Question (Direct)
Simple Question
Q2511665
P27
Q1048835
USER
Which political territory is Veda Hille a civilian of ?
(Q2511665,P27,c(Q1048835))
action filter_type
action find
entity Q2511665
relation P27
type Q1048835
['Q2511665', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?q WHERE { resource:Q2511665 property:P27 ?q . ?q rdf:type ontology:Q1048835 }
Veda Hille
action filter_type
action find
entity Veda Hille
relation country of citizenship
type political territorial entity
['Veda Hille', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?q WHERE { resource:Veda_Hille property:country_of_citizenship ?q . ?q rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q16
SYSTEM
Canada
Q16
(Q2511665,P27,c(Q1048835))
action filter_type
action find
entity Q2511665
relation P27
type Q1048835
[ANSWER] is Veda Hille a civilian of
['Q2511665', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?q WHERE { resource:Q2511665 property:P27 ?q . ?q rdf:type ontology:Q1048835 }
Canada
Canada is Veda Hille a civilian of
Canada
action filter_type
action find
entity Veda Hille
relation country of citizenship
type political territorial entity
['Veda Hille', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?q WHERE { resource:Veda_Hille property:country_of_citizenship ?q . ?q rdf:type ontology:political_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q2511665
P136
Q151885
USER
Which genre does Veda Hille belong to ?
(Q2511665,P136,c(Q151885))
action filter_type
action find
entity Q2511665
relation P136
type Q151885
['Q2511665', 'P136', {'concept': 'Q151885'}]
SELECT DISTINCT ?x WHERE { resource:Q2511665 property:P136 ?x . ?x rdf:type ontology:Q151885 }
Veda Hille
action filter_type
action find
entity Veda Hille
relation genre
type concept
['Veda Hille', 'genre', {'concept': 'concept'}]
SELECT DISTINCT ?x WHERE { resource:Veda_Hille property:genre ?x . ?x rdf:type ontology:concept }
[]
concept
Q183504
SYSTEM
indie rock
Q183504
(Q2511665,P136,c(Q151885))
action filter_type
action find
entity Q2511665
relation P136
type Q151885
Veda Hille belongs to [ANSWER]
['Q2511665', 'P136', {'concept': 'Q151885'}]
SELECT DISTINCT ?x WHERE { resource:Q2511665 property:P136 ?x . ?x rdf:type ontology:Q151885 }
indie rock
Veda Hille belongs to indie rock
indie rock
action filter_type
action find
entity Veda Hille
relation genre
type concept
['Veda Hille', 'genre', {'concept': 'concept'}]
SELECT DISTINCT ?x WHERE { resource:Veda_Hille property:genre ?x . ?x rdf:type ontology:concept }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation|Incomplete
Q22255240 Q2511665
P136
Q151885
USER
And also I'm The J57
AND((Q2511665,P136,c(Q151885)), (Q22255240,P136,c(Q151885)))
action filter_type
action intersection
action find
entity Q2511665
relation P136
action find
entity Q22255240
relation P136
type Q151885
{'AND': [['Q2511665', 'P136', {'concept': 'Q151885'}], ['Q22255240', 'P136', {'concept': 'Q151885'}]]}
SELECT DISTINCT ?o WHERE { resource:Q2511665 property:P136 ?o . resource:Q22255240 property:P136 ?o . ?o rdf:type ontology:Q151885 }
I'm The J57 Veda Hille
action filter_type
action intersection
action find
entity Veda Hille
relation genre
action find
entity I'm The J57
relation genre
type concept
{'AND': [['Veda Hille', 'genre', {'concept': 'concept'}], ["I'm The J57", 'genre', {'concept': 'concept'}]]}
SELECT DISTINCT ?o WHERE { resource:Veda_Hille property:genre ?o . resource:I'm_The_J57 property:genre ?o . ?o rdf:type ontology:concept }
[]
concept
Q183504
SYSTEM
indie rock
Q183504
AND((Q2511665,P136,c(Q151885)), (Q22255240,P136,c(Q151885)))
action filter_type
action intersection
action find
entity Q2511665
relation P136
action find
entity Q22255240
relation P136
type Q151885
J57 And I 'm also The first [ANSWER]
{'AND': [['Q2511665', 'P136', {'concept': 'Q151885'}], ['Q22255240', 'P136', {'concept': 'Q151885'}]]}
SELECT DISTINCT ?o WHERE { resource:Q2511665 property:P136 ?o . resource:Q22255240 property:P136 ?o . ?o rdf:type ontology:Q151885 }
indie rock
J57 And I 'm also The first indie rock
indie rock
action filter_type
action intersection
action find
entity Veda Hille
relation genre
action find
entity I'm The J57
relation genre
type concept
{'AND': [['Veda Hille', 'genre', {'concept': 'concept'}], ["I'm The J57", 'genre', {'concept': 'concept'}]]}
SELECT DISTINCT ?o WHERE { resource:Veda_Hille property:genre ?o . resource:I'm_The_J57 property:genre ?o . ?o rdf:type ontology:concept }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q42384 Q16
P47 P530
Q15617994
USER
Which administrative territories have a diplomatic relationship with Canada or have a shared border with Caselle Lurani ?
OR((Q16,P530,c(Q15617994)), (Q42384,P47,c(Q15617994)))
action filter_type
action union
action find
entity Q16
relation P530
action find
entity Q42384
relation P47
type Q15617994
{'OR': [['Q16', 'P530', {'concept': 'Q15617994'}], ['Q42384', 'P47', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q16 property:P530 ?n } UNION { resource:Q42384 property:P47 ?n } } . ?n rdf:type ontology:Q15617994 }
Caselle Lurani Canada
action filter_type
action union
action find
entity Canada
relation diplomatic relation
action find
entity Caselle Lurani
relation shares border with
type designation for an administrative territorial entity
{'OR': [['Canada', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Caselle Lurani', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Canada property:diplomatic_relation ?n } UNION { resource:Caselle_Lurani property:shares_border_with ?n } } . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q711 Q30 Q115 Q1030 Q36 Q258 Q145 Q33 Q29999 Q229
SYSTEM
Some of them are Mongolia, United States of America, Ethiopia, Namibia, Poland, South Africa, United Kingdom, Finland, Kingdom of the Netherlands, Cyprus
Q804 Q801 Q843 Q1029 Q1028 Q42386 Q40828 Q42367 Q145 Q229 Q33 Q42380 Q30 Q36 Q79 Q34 Q928 Q39 Q38 Q878 Q739 Q833 Q711 Q42964 Q1030 Q851 Q29999 Q77 Q115 Q258 Q212 Q159 Q43 Q155 Q218 Q42400 Q20 Q423 Q252 Q884
OR((Q16,P530,c(Q15617994)), (Q42384,P47,c(Q15617994)))
action filter_type
action union
action find
entity Q16
relation P530
action find
entity Q42384
relation P47
type Q15617994
[ANSWERS] have a diplomatic relationship with Canada or have a shared border with Caselle Lurani
{'OR': [['Q16', 'P530', {'concept': 'Q15617994'}], ['Q42384', 'P47', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q16 property:P530 ?n } UNION { resource:Q42384 property:P47 ?n } } . ?n rdf:type ontology:Q15617994 }
Panama Israel Pakistan Mozambique Morocco Casaletto Lodigiano Bascapè Valera Fratta United Kingdom Cyprus Finland Marudo United States of America Poland Egypt Sweden Philippines Switzerland Italy United Arab Emirates Colombia Malaysia Mongolia Castiraga Vidardo Namibia Saudi Arabia Kingdom of the Netherlands Uruguay Ethiopia South Africa Ukraine Russia Turkey Brazil Romania Salerano sul Lambro Norway North Korea Indonesia South Korea
Mongolia, United States of America, Ethiopia, Namibia, Poland, South Africa, United Kingdom, Finland, Kingdom of the Netherlands and Cyprus have a diplomatic relationship with Canada or have a shared border with Caselle Lurani
Mongolia United States of America Ethiopia Namibia Poland South Africa United Kingdom Finland Kingdom of the Netherlands Cyprus
action filter_type
action union
action find
entity Canada
relation diplomatic relation
action find
entity Caselle Lurani
relation shares border with
type designation for an administrative territorial entity
{'OR': [['Canada', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Caselle Lurani', 'shares border with', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Canada property:diplomatic_relation ?n } UNION { resource:Caselle_Lurani property:shares_border_with ?n } } . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q604126
P530
Q1048835
USER
Do Perelhal have diplomatic associations with those administrative territories ?
(Q604126,P530,Q711) (Q604126,P530,Q30) (Q604126,P530,Q115) (Q604126,P530,Q1030) (Q604126,P530,Q36) (Q604126,P530,Q258) (Q604126,P530,Q145) (Q604126,P530,Q33) (Q604126,P530,Q29999) (Q604126,P530,Q229)
action is_in
entity prev_answer
action find
entity Q604126
relation P530
['Q604126', 'P530', 'Q711'] ['Q604126', 'P530', 'Q30'] ['Q604126', 'P530', 'Q115'] ['Q604126', 'P530', 'Q1030'] ['Q604126', 'P530', 'Q36'] ['Q604126', 'P530', 'Q258'] ['Q604126', 'P530', 'Q145'] ['Q604126', 'P530', 'Q33'] ['Q604126', 'P530', 'Q29999'] ['Q604126', 'P530', 'Q229']
ASK WHERE { resource:Q604126 property:P530 ?y . VALUES ( ?y ) { ( resource:Q804 ) ( resource:Q801 ) ( resource:Q843 ) } }
Perelhal
action is_in
entity prev_answer
action find
entity Perelhal
relation diplomatic relation
['Perelhal', 'diplomatic relation', 'Mongolia'] ['Perelhal', 'diplomatic relation', 'United States of America'] ['Perelhal', 'diplomatic relation', 'Ethiopia'] ['Perelhal', 'diplomatic relation', 'Namibia'] ['Perelhal', 'diplomatic relation', 'Poland'] ['Perelhal', 'diplomatic relation', 'South Africa'] ['Perelhal', 'diplomatic relation', 'United Kingdom'] ['Perelhal', 'diplomatic relation', 'Finland'] ['Perelhal', 'diplomatic relation', 'Kingdom of the Netherlands'] ['Perelhal', 'diplomatic relation', 'Cyprus']
ASK WHERE { resource:Perelhal property:diplomatic_relation ?y . VALUES ( ?y ) { ( resource:Panama ) ( resource:Israel ) ( resource:Pakistan ) } }
[]
political territorial entity
SYSTEM
NO
(Q604126,P530,Q711) (Q604126,P530,Q30) (Q604126,P530,Q115) (Q604126,P530,Q1030) (Q604126,P530,Q36) (Q604126,P530,Q258) (Q604126,P530,Q145) (Q604126,P530,Q33) (Q604126,P530,Q29999) (Q604126,P530,Q229)
action is_in
entity prev_answer
action find
entity Q604126
relation P530
[ANSWER]
['Q604126', 'P530', 'Q711'] ['Q604126', 'P530', 'Q30'] ['Q604126', 'P530', 'Q115'] ['Q604126', 'P530', 'Q1030'] ['Q604126', 'P530', 'Q36'] ['Q604126', 'P530', 'Q258'] ['Q604126', 'P530', 'Q145'] ['Q604126', 'P530', 'Q33'] ['Q604126', 'P530', 'Q29999'] ['Q604126', 'P530', 'Q229']
ASK WHERE { resource:Q604126 property:P530 ?y . VALUES ( ?y ) { ( resource:Q804 ) ( resource:Q801 ) ( resource:Q843 ) } }
No
action is_in
entity prev_answer
action find
entity Perelhal
relation diplomatic relation
['Perelhal', 'diplomatic relation', 'Mongolia'] ['Perelhal', 'diplomatic relation', 'United States of America'] ['Perelhal', 'diplomatic relation', 'Ethiopia'] ['Perelhal', 'diplomatic relation', 'Namibia'] ['Perelhal', 'diplomatic relation', 'Poland'] ['Perelhal', 'diplomatic relation', 'South Africa'] ['Perelhal', 'diplomatic relation', 'United Kingdom'] ['Perelhal', 'diplomatic relation', 'Finland'] ['Perelhal', 'diplomatic relation', 'Kingdom of the Netherlands'] ['Perelhal', 'diplomatic relation', 'Cyprus']
ASK WHERE { resource:Perelhal property:diplomatic_relation ?y . VALUES ( ?y ) { ( resource:Panama ) ( resource:Israel ) ( resource:Pakistan ) } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q40
P530
Q15617994 Q1048835
USER
Which political territories are known to have diplomatic connections with lesser number of administrative territories than Austria ?
(c(Q1048835),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q40
relation P530
type Q15617994
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?k ) WHERE { resource:Q40 property:P530 ?c . ?c rdf:type ontology:Q15617994 } } . FILTER ( ?q < ?k ) . { SELECT DISTINCT ?p ( COUNT ( ?f ) AS ?q ) WHERE { ?p property:P530 ?f . ?p rdf:type ontology:Q1048835 . ?f rdf:type ontology:Q15617994 } GROUP BY ?p } }
Austria
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Austria
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?k ) WHERE { resource:Austria property:diplomatic_relation ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?q < ?k ) . { SELECT DISTINCT ?p ( COUNT ( ?f ) AS ?q ) WHERE { ?p property:diplomatic_relation ?f . ?p rdf:type ontology:political_territorial_entity . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?p } }
[]
designation for an administrative territorial entity political territorial entity
Q35 Q664 Q1000
SYSTEM
Denmark, New Zealand, Gabon
Q1000 Q781 Q778 Q769 Q685 Q35 Q691 Q664 Q766
(c(Q1048835),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q40
relation P530
type Q15617994
[ANSWERS] are known to have diplomatic connections with lesser number of administrative territories than Austria
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?k ) WHERE { resource:Q40 property:P530 ?c . ?c rdf:type ontology:Q15617994 } } . FILTER ( ?q < ?k ) . { SELECT DISTINCT ?p ( COUNT ( ?f ) AS ?q ) WHERE { ?p property:P530 ?f . ?p rdf:type ontology:Q1048835 . ?f rdf:type ontology:Q15617994 } GROUP BY ?p } }
Gabon Antigua and Barbuda The Bahamas Grenada Solomon Islands Denmark Papua New Guinea New Zealand Jamaica
Denmark, New Zealand and Gabon are known to have diplomatic connections with lesser number of administrative territories than Austria
Denmark New Zealand Gabon
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Austria
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?k ) WHERE { resource:Austria property:diplomatic_relation ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?q < ?k ) . { SELECT DISTINCT ?p ( COUNT ( ?f ) AS ?q ) WHERE { ?p property:diplomatic_relation ?f . ?p rdf:type ontology:political_territorial_entity . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?p } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q766
P530
Q15617994 Q1048835
USER
And what about Jamaica?
(c(Q1048835),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q766
relation P530
type Q1048835
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?u ) AS ?x ) WHERE { ?d property:P530 ?u . ?d rdf:type ontology:Q1048835 . ?u rdf:type ontology:Q15617994 } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?j ) WHERE { ?g rdf:type ontology:Q1048835 . resource:Q766 property:P530 ?g } } . FILTER ( ?x < ?j ) }
Jamaica
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Jamaica
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?u ) AS ?x ) WHERE { ?d property:diplomatic_relation ?u . ?d rdf:type ontology:political_territorial_entity . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?j ) WHERE { ?g rdf:type ontology:political_territorial_entity . resource:Jamaica property:diplomatic_relation ?g } } . FILTER ( ?x < ?j ) }
[]
designation for an administrative territorial entity political territorial entity
Q1000 Q769 Q691
SYSTEM
Gabon, Grenada, Papua New Guinea
Q1000 Q781 Q778 Q769 Q685 Q691
(c(Q1048835),P530,c(Q15617994))
action less
action find_tuple_counts
relation P530
type Q1048835
type Q15617994
action count
action filter_type
action find
entity Q766
relation P530
type Q1048835
[ANSWERS]
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?u ) AS ?x ) WHERE { ?d property:P530 ?u . ?d rdf:type ontology:Q1048835 . ?u rdf:type ontology:Q15617994 } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?j ) WHERE { ?g rdf:type ontology:Q1048835 . resource:Q766 property:P530 ?g } } . FILTER ( ?x < ?j ) }
Gabon Antigua and Barbuda The Bahamas Grenada Solomon Islands Papua New Guinea
Gabon Grenada Papua New Guinea
action less
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Jamaica
relation diplomatic relation
type political territorial entity
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ?d ( COUNT ( ?u ) AS ?x ) WHERE { ?d property:diplomatic_relation ?u . ?d rdf:type ontology:political_territorial_entity . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?d } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?j ) WHERE { ?g rdf:type ontology:political_territorial_entity . resource:Jamaica property:diplomatic_relation ?g } } . FILTER ( ?x < ?j ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q36
P610
Q14524493
USER
Which is the highest peak of Poland ?
(Q36,P610,c(Q14524493))
action filter_type
action find
entity Q36
relation P610
type Q14524493
['Q36', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?f WHERE { resource:Q36 property:P610 ?f . ?f rdf:type ontology:Q14524493 }
Poland
action filter_type
action find
entity Poland
relation highest point
type terrain
['Poland', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?f WHERE { resource:Poland property:highest_point ?f . ?f rdf:type ontology:terrain }
[]
terrain
Q672936
SYSTEM
Rysy
Q672936
(Q36,P610,c(Q14524493))
action filter_type
action find
entity Q36
relation P610
type Q14524493
The highest peak of Poland is Mount [ANSWER]
['Q36', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?f WHERE { resource:Q36 property:P610 ?f . ?f rdf:type ontology:Q14524493 }
Rysy
The highest peak of Poland is Mount Rysy
Rysy
action filter_type
action find
entity Poland
relation highest point
type terrain
['Poland', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?f WHERE { resource:Poland property:highest_point ?f . ?f rdf:type ontology:terrain }
[]