Simple Question (Direct)
Simple Question
Q3370305
P19
Q486972
USER
Which human settlement is the place of birth of Matilde Ortiz ?
(Q3370305,P19,c(Q486972))
action filter_type
action find
entity Q3370305
relation P19
type Q486972
['Q3370305', 'P19', {'concept': 'Q486972'}]
SELECT DISTINCT ?o WHERE { resource:Q3370305 property:P19 ?o . ?o rdf:type ontology:Q486972 }
Matilde Ortiz
action filter_type
action find
entity Matilde Ortiz
relation place of birth
type human settlement
['Matilde Ortiz', 'place of birth', {'concept': 'human settlement'}]
SELECT DISTINCT ?o WHERE { resource:Matilde_Ortiz property:place_of_birth ?o . ?o rdf:type ontology:human_settlement }
[]
human settlement
Q173270
SYSTEM
Veracruz
Q173270
(Q3370305,P19,c(Q486972))
action filter_type
action find
entity Q3370305
relation P19
type Q486972
[ANSWER] is the place of birth of Matilde Ortiz
['Q3370305', 'P19', {'concept': 'Q486972'}]
SELECT DISTINCT ?o WHERE { resource:Q3370305 property:P19 ?o . ?o rdf:type ontology:Q486972 }
Veracruz
Veracruz is the place of birth of Matilde Ortiz
Veracruz
action filter_type
action find
entity Matilde Ortiz
relation place of birth
type human settlement
['Matilde Ortiz', 'place of birth', {'concept': 'human settlement'}]
SELECT DISTINCT ?o WHERE { resource:Matilde_Ortiz property:place_of_birth ?o . ?o rdf:type ontology:human_settlement }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q173270
P17
Q15617994
USER
Which administrative territory is that human settlement a part of ?
(Q173270,P17,c(Q15617994))
action filter_type
action find
entity Q173270
relation P17
type Q15617994
['Q173270', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { resource:Q173270 property:P17 ?r . ?r rdf:type ontology:Q15617994 }
Veracruz
action filter_type
action find
entity Veracruz
relation country
type designation for an administrative territorial entity
['Veracruz', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { resource:Veracruz property:country ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q96
SYSTEM
Mexico
Q96
(Q173270,P17,c(Q15617994))
action filter_type
action find
entity Q173270
relation P17
type Q15617994
[ANSWER] is that human settlement a part of
['Q173270', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?r WHERE { resource:Q173270 property:P17 ?r . ?r rdf:type ontology:Q15617994 }
Mexico
Mexico is that human settlement a part of
Mexico
action filter_type
action find
entity Veracruz
relation country
type designation for an administrative territorial entity
['Veracruz', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?r WHERE { resource:Veracruz property:country ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q33
P194
Q11204 Q1752346 Q15617994
USER
Which administrative territories have greater number of legislatures or assemblies as their legislative body than Finland ?
(c(Q15617994),P194,c(Q11204)|c(Q1752346))
action greater
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q1752346
action count
action filter_multi_types
action find
entity Q33
relation P194
type Q11204
type Q1752346
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q1752346'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?t ) ?l WHERE { VALUES ( ?w ) { ( ontology:Q11204 ) ( ontology:Q1752346 ) } . ?p rdf:type ?w } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?x ) WHERE { { { ?a rdf:type ontology:Q11204 } UNION { ?a rdf:type ontology:Q1752346 } } . resource:Q33 property:P194 ?a } } . FILTER ( ?t > ?x ) }
Finland
action greater
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type assembly
action count
action filter_multi_types
action find
entity Finland
relation legislative body
type legislature
type assembly
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'assembly'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?t ) ?l WHERE { VALUES ( ?w ) { ( ontology:legislature ) ( ontology:assembly ) } . ?p rdf:type ?w } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?x ) WHERE { { { ?a rdf:type ontology:legislature } UNION { ?a rdf:type ontology:assembly } } . resource:Finland property:legislative_body ?a } } . FILTER ( ?t > ?x ) }
[]
legislature assembly designation for an administrative territorial entity
Q159 Q948 Q794
SYSTEM
Russia, Tunisia, Iran
Q159 Q794 Q6465 Q948
(c(Q15617994),P194,c(Q11204)|c(Q1752346))
action greater
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q1752346
action count
action filter_multi_types
action find
entity Q33
relation P194
type Q11204
type Q1752346
[ANSWERS] have greater number of legislatures or assemblies as their legislative body than Finland
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q1752346'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?t ) ?l WHERE { VALUES ( ?w ) { ( ontology:Q11204 ) ( ontology:Q1752346 ) } . ?p rdf:type ?w } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?x ) WHERE { { { ?a rdf:type ontology:Q11204 } UNION { ?a rdf:type ontology:Q1752346 } } . resource:Q33 property:P194 ?a } } . FILTER ( ?t > ?x ) }
Russia Iran department of France Tunisia
Russia, Tunisia and Iran have greater number of legislatures or assemblies as their legislative body than Finland
Russia Tunisia Iran
action greater
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type assembly
action count
action filter_multi_types
action find
entity Finland
relation legislative body
type legislature
type assembly
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'assembly'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?t ) ?l WHERE { VALUES ( ?w ) { ( ontology:legislature ) ( ontology:assembly ) } . ?p rdf:type ?w } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?x ) WHERE { { { ?a rdf:type ontology:legislature } UNION { ?a rdf:type ontology:assembly } } . resource:Finland property:legislative_body ?a } } . FILTER ( ?t > ?x ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q148
P194
Q11204 Q1752346 Q15617994
USER
And also tell me about People's Republic of China?
(c(Q15617994),P194,c(Q11204)|c(Q1752346))
action greater
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q1752346
action count
action filter_multi_types
action find
entity Q148
relation P194
type Q11204
type Q1752346
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q1752346'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) WHERE { resource:Q148 property:P194 ?g . { VALUES ( ?j ) { ( ontology:Q11204 ) ( ontology:Q1752346 ) } . ?g rdf:type ?j } } } . FILTER ( ?w > ?y ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?w ) ?p WHERE { VALUES ( ?x ) { ( ontology:Q11204 ) ( ontology:Q1752346 ) } . ?d rdf:type ?x } GROUP BY ?p } }
People's Republic of China
action greater
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type assembly
action count
action filter_multi_types
action find
entity People's Republic of China
relation legislative body
type legislature
type assembly
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'assembly'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) WHERE { resource:People's_Republic_of_China property:legislative_body ?g . { VALUES ( ?j ) { ( ontology:legislature ) ( ontology:assembly ) } . ?g rdf:type ?j } } } . FILTER ( ?w > ?y ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?w ) ?p WHERE { VALUES ( ?x ) { ( ontology:legislature ) ( ontology:assembly ) } . ?d rdf:type ?x } GROUP BY ?p } }
[]
legislature assembly designation for an administrative territorial entity
Q159 Q948 Q794
SYSTEM
Russia, Tunisia, Iran
Q159 Q794 Q6465 Q948
(c(Q15617994),P194,c(Q11204)|c(Q1752346))
action greater
action union
action find_tuple_counts
relation P194
type Q15617994
type Q11204
action find_tuple_counts
relation P194
type Q15617994
type Q1752346
action count
action filter_multi_types
action find
entity Q148
relation P194
type Q11204
type Q1752346
[ANSWERS]
[{'concept': 'Q15617994'}, 'P194', [{'concept': 'Q11204'}, {'concept': 'Q1752346'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) WHERE { resource:Q148 property:P194 ?g . { VALUES ( ?j ) { ( ontology:Q11204 ) ( ontology:Q1752346 ) } . ?g rdf:type ?j } } } . FILTER ( ?w > ?y ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?w ) ?p WHERE { VALUES ( ?x ) { ( ontology:Q11204 ) ( ontology:Q1752346 ) } . ?d rdf:type ?x } GROUP BY ?p } }
Russia Iran department of France Tunisia
Russia Tunisia Iran
action greater
action union
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type legislature
action find_tuple_counts
relation legislative body
type designation for an administrative territorial entity
type assembly
action count
action filter_multi_types
action find
entity People's Republic of China
relation legislative body
type legislature
type assembly
[{'concept': 'designation for an administrative territorial entity'}, 'legislative body', [{'concept': 'legislature'}, {'concept': 'assembly'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) WHERE { resource:People's_Republic_of_China property:legislative_body ?g . { VALUES ( ?j ) { ( ontology:legislature ) ( ontology:assembly ) } . ?g rdf:type ?j } } } . FILTER ( ?w > ?y ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?w ) ?p WHERE { VALUES ( ?x ) { ( ontology:legislature ) ( ontology:assembly ) } . ?d rdf:type ?x } GROUP BY ?p } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q22969576 Q148
P161 P6
Q502895
USER
Which people are the head of government of People's Republic of China or were casted in A Free People ?
OR((Q148,P6,c(Q502895)), (Q22969576,P161,c(Q502895)))
action filter_type
action union
action find
entity Q148
relation P6
action find
entity Q22969576
relation P161
type Q502895
{'OR': [['Q148', 'P6', {'concept': 'Q502895'}], ['Q22969576', 'P161', {'concept': 'Q502895'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q502895 . { { resource:Q148 property:P6 ?b } UNION { resource:Q22969576 property:P161 ?b } } }
A Free People People's Republic of China
action filter_type
action union
action find
entity People's Republic of China
relation head of government
action find
entity A Free People
relation cast member
type common name
{'OR': [["People's Republic of China", 'head of government', {'concept': 'common name'}], ['A Free People', 'cast member', {'concept': 'common name'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:common_name . { { resource:People's_Republic_of_China property:head_of_government ?b } UNION { resource:A_Free_People property:cast_member ?b } } }
[]
common name
Q1313897 Q99829 Q16628 Q88418 Q95365 Q362952 Q95681 Q88668 Q1672621 Q104787
SYSTEM
Some of them are Fritz Spira, Zhao Ziyang, Wen Jiabao, Mathilde Sussin, Robert Leffler, Adolf Klein, Georg H. Schnell, Anton Pointner, Martin Herzberg, Albert Florath
Q99829 Q41570 Q85051 Q104787 Q95365 Q96186 Q88418 Q95681 Q2546741 Q18301 Q109286 Q18111 Q110721 Q18285 Q1672621 Q109534 Q97720 Q94590 Q17410 Q1313897 Q88668 Q16628 Q362952
OR((Q148,P6,c(Q502895)), (Q22969576,P161,c(Q502895)))
action filter_type
action union
action find
entity Q148
relation P6
action find
entity Q22969576
relation P161
type Q502895
[ANSWERS] are the head of government of People's Republic of China or were casted in A Free People
{'OR': [['Q148', 'P6', {'concept': 'Q502895'}], ['Q22969576', 'P161', {'concept': 'Q502895'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q502895 . { { resource:Q148 property:P6 ?b } UNION { resource:Q22969576 property:P161 ?b } } }
Zhao Ziyang Hua Guofeng Eduard von Winterstein Albert Florath Robert Leffler Ellen Plessow Mathilde Sussin Georg H. Schnell Walter Werner Li Peng Paul Rehkopf Li Keqiang Elsa Wagner Zhu Rongji Martin Herzberg Mathias Wieman Camilla Spira Emmerich Hanus Zhou Enlai Fritz Spira Anton Pointner Wen Jiabao Adolf Klein
Fritz Spira, Zhao Ziyang, Wen Jiabao, Mathilde Sussin, Robert Leffler, Adolf Klein, Georg H. Schnell, Anton Pointner, Martin Herzberg and Albert Florath are the head of government of People's Republic of China or were casted in A Free People
Fritz Spira Zhao Ziyang Wen Jiabao Mathilde Sussin Robert Leffler Adolf Klein Georg H. Schnell Anton Pointner Martin Herzberg Albert Florath
action filter_type
action union
action find
entity People's Republic of China
relation head of government
action find
entity A Free People
relation cast member
type common name
{'OR': [["People's Republic of China", 'head of government', {'concept': 'common name'}], ['A Free People', 'cast member', {'concept': 'common name'}]]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:common_name . { { resource:People's_Republic_of_China property:head_of_government ?b } UNION { resource:A_Free_People property:cast_member ?b } } }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q22969576
P161
Q502895
USER
How many people were casted in A Free People ?
(Q22969576,P161,c(Q502895))
action count
action filter_type
action find
entity Q22969576
relation P161
type Q502895
['Q22969576', 'P161', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) WHERE { resource:Q22969576 property:P161 ?d . ?d rdf:type ontology:Q502895 }
A Free People
action count
action filter_type
action find
entity A Free People
relation cast member
type common name
['A Free People', 'cast member', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) WHERE { resource:A_Free_People property:cast_member ?d . ?d rdf:type ontology:common_name }
[]
common name
SYSTEM
16
Q95681 Q109286 Q85051 Q104787 Q2546741 Q1672621 Q109534 Q110721 Q95365 Q97720 Q96186 Q88418 Q1313897 Q88668 Q94590 Q362952
(Q22969576,P161,c(Q502895))
action count
action filter_type
action find
entity Q22969576
relation P161
type Q502895
[ANSWER]
['Q22969576', 'P161', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) WHERE { resource:Q22969576 property:P161 ?d . ?d rdf:type ontology:Q502895 }
Georg H. Schnell Paul Rehkopf Eduard von Winterstein Albert Florath Walter Werner Martin Herzberg Mathias Wieman Elsa Wagner Robert Leffler Camilla Spira Ellen Plessow Mathilde Sussin Fritz Spira Anton Pointner Emmerich Hanus Adolf Klein
16
action count
action filter_type
action find
entity A Free People
relation cast member
type common name
['A Free People', 'cast member', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) WHERE { resource:A_Free_People property:cast_member ?d . ?d rdf:type ontology:common_name }
[]
Quantitative Reasoning (Count) (All)
Incomplete count-based ques
Q278193
Q502895
USER
And what about A.D.?
(Q278193,P161,c(Q502895))
action count
action filter_type
action find
entity Q278193
relation P161
type Q502895
['Q278193', 'P161', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { resource:Q278193 property:P161 ?l . ?l rdf:type ontology:Q502895 }
A.D.
action count
action filter_type
action find
entity A.D.
relation cast member
type common name
['A.D.', 'cast member', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { resource:A.D. property:cast_member ?l . ?l rdf:type ontology:common_name }
[]
common name
SYSTEM
21
(Q278193,P161,c(Q502895))
action count
action filter_type
action find
entity Q278193
relation P161
type Q502895
[ANSWER]
['Q278193', 'P161', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { resource:Q278193 property:P161 ?l . ?l rdf:type ontology:Q502895 }
21
action count
action filter_type
action find
entity A.D.
relation cast member
type common name
['A.D.', 'cast member', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?b ) WHERE { resource:A.D. property:cast_member ?l . ?l rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q278193
P162
Q502895
USER
Who produced that television program ?
action filter_type
action find
entity Q278193
relation P162
type Q502895
SELECT DISTINCT ?d WHERE { resource:Q278193 property:P162 ?d . ?d rdf:type ontology:Q502895 }
A.D.
action filter_type
action find
entity A.D.
relation producer
type common name
SELECT DISTINCT ?d WHERE { resource:A.D. property:producer ?d . ?d rdf:type ontology:common_name }
[]
common name
Q962765
SYSTEM
Tarak Ben Ammar
Q962765
action filter_type
action find
entity Q278193
relation P162
type Q502895
[ANSWER] produced that television program
SELECT DISTINCT ?d WHERE { resource:Q278193 property:P162 ?d . ?d rdf:type ontology:Q502895 }
Tarak Ben Ammar
Tarak Ben Ammar produced that television program
Tarak Ben Ammar
action filter_type
action find
entity A.D.
relation producer
type common name
SELECT DISTINCT ?d WHERE { resource:A.D. property:producer ?d . ?d rdf:type ontology:common_name }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q962765 Q644122 Q410980
P27
Q15617994
USER
Is that person a civilian of Börgerende-Rethwisch and Aitrach ?
(Q962765,P27,Q644122) (Q962765,P27,Q410980)
action is_in
entity Q962765
action intersection
action find_reverse
entity Q644122
relation P27
action find_reverse
entity Q410980
relation P27
['Q962765', 'P27', 'Q644122'] ['Q962765', 'P27', 'Q410980']
ASK WHERE { resource:Q962765 property:P27 resource:Q644122 . resource:Q962765 property:P27 resource:Q410980 }
Tarak Ben Ammar Börgerende-Rethwisch Aitrach
action is_in
entity Tarak Ben Ammar
action intersection
action find_reverse
entity Börgerende-Rethwisch
relation country of citizenship
action find_reverse
entity Aitrach
relation country of citizenship
['Tarak Ben Ammar', 'country of citizenship', 'Börgerende-Rethwisch'] ['Tarak Ben Ammar', 'country of citizenship', 'Aitrach']
ASK WHERE { resource:Tarak_Ben_Ammar property:country_of_citizenship resource:Börgerende-Rethwisch . resource:Tarak_Ben_Ammar property:country_of_citizenship resource:Aitrach }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q962765,P27,Q644122) (Q962765,P27,Q410980)
action is_in
entity Q962765
action intersection
action find_reverse
entity Q644122
relation P27
action find_reverse
entity Q410980
relation P27
[ANSWER]
['Q962765', 'P27', 'Q644122'] ['Q962765', 'P27', 'Q410980']
ASK WHERE { resource:Q962765 property:P27 resource:Q644122 . resource:Q962765 property:P27 resource:Q410980 }
No
action is_in
entity Tarak Ben Ammar
action intersection
action find_reverse
entity Börgerende-Rethwisch
relation country of citizenship
action find_reverse
entity Aitrach
relation country of citizenship
['Tarak Ben Ammar', 'country of citizenship', 'Börgerende-Rethwisch'] ['Tarak Ben Ammar', 'country of citizenship', 'Aitrach']
ASK WHERE { resource:Tarak_Ben_Ammar property:country_of_citizenship resource:Börgerende-Rethwisch . resource:Tarak_Ben_Ammar property:country_of_citizenship resource:Aitrach }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q556844 Q88668
P937
Q56061
USER
Which administrative territories are the locations where Anton Pointner or Anke Rehlinger worked ?
OR((Q88668,P937,c(Q56061)), (Q556844,P937,c(Q56061)))
action filter_type
action union
action find
entity Q88668
relation P937
action find
entity Q556844
relation P937
type Q56061
{'OR': [['Q88668', 'P937', {'concept': 'Q56061'}], ['Q556844', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q56061 . { { resource:Q88668 property:P937 ?u } UNION { resource:Q556844 property:P937 ?u } } }
Anke Rehlinger Anton Pointner
action filter_type
action union
action find
entity Anton Pointner
relation work location
action find
entity Anke Rehlinger
relation work location
type administrative territorial entity
{'OR': [['Anton Pointner', 'work location', {'concept': 'administrative territorial entity'}], ['Anke Rehlinger', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:administrative_territorial_entity . { { resource:Anton_Pointner property:work_location ?u } UNION { resource:Anke_Rehlinger property:work_location ?u } } }
[]
administrative territorial entity
Q64 Q1724 Q1718
SYSTEM
Berlin, Saarbrücken, Düsseldorf
Q64 Q1724 Q1718
OR((Q88668,P937,c(Q56061)), (Q556844,P937,c(Q56061)))
action filter_type
action union
action find
entity Q88668
relation P937
action find
entity Q556844
relation P937
type Q56061
[ANSWERS] are the locations where Anton Pointner or Anke Rehlinger worked
{'OR': [['Q88668', 'P937', {'concept': 'Q56061'}], ['Q556844', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:Q56061 . { { resource:Q88668 property:P937 ?u } UNION { resource:Q556844 property:P937 ?u } } }
Berlin Saarbrücken Düsseldorf
Berlin, Saarbrücken and Düsseldorf are the locations where Anton Pointner or Anke Rehlinger worked
Berlin Saarbrücken Düsseldorf
action filter_type
action union
action find
entity Anton Pointner
relation work location
action find
entity Anke Rehlinger
relation work location
type administrative territorial entity
{'OR': [['Anton Pointner', 'work location', {'concept': 'administrative territorial entity'}], ['Anke Rehlinger', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?u WHERE { ?u rdf:type ontology:administrative_territorial_entity . { { resource:Anton_Pointner property:work_location ?u } UNION { resource:Anke_Rehlinger property:work_location ?u } } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q270
P190
Q56061
USER
Are Warsaw twin town of those ones ?
(Q270,P190,Q64) (Q270,P190,Q1724) (Q270,P190,Q1718)
action is_in
entity prev_answer
action find
entity Q270
relation P190
['Q270', 'P190', 'Q64'] ['Q270', 'P190', 'Q1724'] ['Q270', 'P190', 'Q1718']
ASK WHERE { resource:Q270 property:P190 ?v . VALUES ( ?v ) { ( resource:Q64 ) ( resource:Q1724 ) ( resource:Q1718 ) } }
Warsaw
action is_in
entity prev_answer
action find
entity Warsaw
relation sister city
['Warsaw', 'sister city', 'Berlin'] ['Warsaw', 'sister city', 'Saarbrücken'] ['Warsaw', 'sister city', 'Düsseldorf']
ASK WHERE { resource:Warsaw property:sister_city ?v . VALUES ( ?v ) { ( resource:Berlin ) ( resource:Saarbrücken ) ( resource:Düsseldorf ) } }
[]
administrative territorial entity
SYSTEM
YES
(Q270,P190,Q64) (Q270,P190,Q1724) (Q270,P190,Q1718)
action is_in
entity prev_answer
action find
entity Q270
relation P190
[ANSWER]
['Q270', 'P190', 'Q64'] ['Q270', 'P190', 'Q1724'] ['Q270', 'P190', 'Q1718']
ASK WHERE { resource:Q270 property:P190 ?v . VALUES ( ?v ) { ( resource:Q64 ) ( resource:Q1724 ) ( resource:Q1718 ) } }
Yes
action is_in
entity prev_answer
action find
entity Warsaw
relation sister city
['Warsaw', 'sister city', 'Berlin'] ['Warsaw', 'sister city', 'Saarbrücken'] ['Warsaw', 'sister city', 'Düsseldorf']
ASK WHERE { resource:Warsaw property:sister_city ?v . VALUES ( ?v ) { ( resource:Berlin ) ( resource:Saarbrücken ) ( resource:Düsseldorf ) } }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q1672621 Q183
P27
Q1048835
USER
Is Martin Herzberg an inhabitant of Germany ?
(Q1672621,P27,Q183)
action is_in
entity Q183
action find
entity Q1672621
relation P27
['Q1672621', 'P27', 'Q183']
ASK WHERE { resource:Q1672621 property:P27 resource:Q183 }
Martin Herzberg Germany
action is_in
entity Germany
action find
entity Martin Herzberg
relation country of citizenship
['Martin Herzberg', 'country of citizenship', 'Germany']
ASK WHERE { resource:Martin_Herzberg property:country_of_citizenship resource:Germany }
[]
political territorial entity
SYSTEM
YES
(Q1672621,P27,Q183)
action is_in
entity Q183
action find
entity Q1672621
relation P27
[ANSWER]
['Q1672621', 'P27', 'Q183']
ASK WHERE { resource:Q1672621 property:P27 resource:Q183 }
Yes
action is_in
entity Germany
action find
entity Martin Herzberg
relation country of citizenship
['Martin Herzberg', 'country of citizenship', 'Germany']
ASK WHERE { resource:Martin_Herzberg property:country_of_citizenship resource:Germany }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q130232 Q95681
P136 P161
Q838948
USER
Which works of art have Georg H. Schnell in their star cast and have drama film as genre ?
AND((c(Q838948),P161,Q95681), (c(Q838948),P136,Q130232))
action filter_type
action intersection
action find_reverse
entity Q95681
relation P161
action find_reverse
entity Q130232
relation P136
type Q838948
{'AND': [[{'concept': 'Q838948'}, 'P161', 'Q95681'], [{'concept': 'Q838948'}, 'P136', 'Q130232']]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q838948 . ?b property:P136 resource:Q130232 . ?b property:P161 resource:Q95681 }
drama film Georg H. Schnell
action filter_type
action intersection
action find_reverse
entity Georg H. Schnell
relation cast member
action find_reverse
entity drama film
relation genre
type work of art
{'AND': [[{'concept': 'work of art'}, 'cast member', 'Georg H. Schnell'], [{'concept': 'work of art'}, 'genre', 'drama film']]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:work_of_art . ?b property:genre resource:drama_film . ?b property:cast_member resource:Georg_H._Schnell }
[]
work of art
Q8019232 Q3016707 Q6762745 Q1165055 Q3842236
SYSTEM
William Tell, The Girl from the Marsh Croft, Marie Antoinette, the Love of a King, Danton, Madame Bovary
Q8019232 Q3016707 Q6762745 Q1165055 Q3842236
AND((c(Q838948),P161,Q95681), (c(Q838948),P136,Q130232))
action filter_type
action intersection
action find_reverse
entity Q95681
relation P161
action find_reverse
entity Q130232
relation P136
type Q838948
[ANSWERS] have Georg H. Schnell in their star cast and have drama film as genre
{'AND': [[{'concept': 'Q838948'}, 'P161', 'Q95681'], [{'concept': 'Q838948'}, 'P136', 'Q130232']]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:Q838948 . ?b property:P136 resource:Q130232 . ?b property:P161 resource:Q95681 }
William Tell The Girl from the Marsh Croft Marie Antoinette, the Love of a King Danton Madame Bovary
William Tell, The Girl from the Marsh Croft, Marie Antoinette, the Love of a King, Danton and Madame Bovary have Georg H. Schnell in their star cast and have drama film as genre
William Tell The Girl from the Marsh Croft Marie Antoinette, the Love of a King Danton Madame Bovary
action filter_type
action intersection
action find_reverse
entity Georg H. Schnell
relation cast member
action find_reverse
entity drama film
relation genre
type work of art
{'AND': [[{'concept': 'work of art'}, 'cast member', 'Georg H. Schnell'], [{'concept': 'work of art'}, 'genre', 'drama film']]}
SELECT DISTINCT ?b WHERE { ?b rdf:type ontology:work_of_art . ?b property:genre resource:drama_film . ?b property:cast_member resource:Georg_H._Schnell }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q770
P138
Q2221906 Q15617994 Q15617994
USER
How many administrative territories are named after less number of geographic locations and administrative territories than Friesland ?
(c(Q15617994),P138,c(Q2221906)|c(Q15617994))
action count
action less
action union
action find_tuple_counts
relation P138
type Q15617994
type Q2221906
action find_tuple_counts
relation P138
type Q15617994
type Q15617994
action count
action filter_multi_types
action find
entity Q770
relation P138
type Q2221906
type Q15617994
[{'concept': 'Q15617994'}, 'P138', [{'concept': 'Q2221906'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?v ) ?a WHERE { { ?a rdf:type ontology:Q15617994 . ?p rdf:type ontology:Q2221906 . ?a property:P138 ?p } UNION { ?a property:P138 ?p . ?a rdf:type ontology:Q15617994 . ?p rdf:type ontology:Q15617994 } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?k ) WHERE { { { ?h rdf:type ontology:Q2221906 } UNION { ?h rdf:type ontology:Q15617994 } } . resource:Q770 property:P138 ?h } } . FILTER ( ?v < ?k ) }
Friesland
action count
action less
action union
action find_tuple_counts
relation named after
type designation for an administrative territorial entity
type geographic location
action find_tuple_counts
relation named after
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Friesland
relation named after
type geographic location
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'named after', [{'concept': 'geographic location'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?v ) ?a WHERE { { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?p rdf:type ontology:geographic_location . ?a property:named_after ?p } UNION { ?a property:named_after ?p . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?k ) WHERE { { { ?h rdf:type ontology:geographic_location } UNION { ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } } . resource:Friesland property:named_after ?h } } . FILTER ( ?v < ?k ) }
[]
geographic location designation for an administrative territorial entity designation for an administrative territorial entity
SYSTEM
309
Q158876 Q968630 Q705 Q3216 Q707 Q1087137 Q709 Q1421544 Q12789 Q1027 Q12779 Q124000 Q12631 Q1041 Q3305157 Q492430 Q668 Q14697553 Q10919 Q2567507 Q3278 Q12563 Q142 Q33 Q685048 Q21671144 Q801 Q12538 Q12536 Q12740 Q189 Q12820 Q1090684 Q657 Q3184 Q1098820 Q1452650 Q12594 Q3349 Q378004 Q568751 Q2316529 Q2803031 Q711 Q710 Q1979 Q625403 Q691368 Q1817784 Q199974 Q2998020 Q3083 Q7408058 Q1939894 Q3240 Q1028 Q12772 Q3286 Q691890 Q3249 Q12607 Q2310748 Q3164 Q15055472 Q12572 Q554491 Q159 Q686924 Q598193 Q1090678 Q12556 Q12526 Q12689 Q12753 Q624428 Q155 Q1232680 Q2527360 Q699731 Q290739 Q3377 Q12576 Q3372 Q231168 Q739 Q12589 Q2521404 Q12574 Q957825 Q1270638 Q3093 Q161258 Q1965 Q1508919 Q979470 Q3259 Q10903 Q786 Q1142326 Q10957559 Q5015782 Q676543 Q1270648 Q2758 Q12694 Q3563282 Q12745 Q12515 Q451448 Q12517 Q3368 Q32 Q31 Q924 Q36 Q12770 Q928 Q3361 Q39 Q3364 Q302479 Q2514636 Q1452646 Q986 Q541095 Q20211 Q3148 Q219 Q1390630 Q736 Q2567535 Q12798 Q4336071 Q1032 Q1508927 Q11140 Q3068 Q12792 Q676178 Q1268811 Q1338277 Q236 Q492437 Q230 Q221 Q232 Q233 Q2304605 Q1914678 Q282355 Q238 Q12620 Q566032 Q12661 Q20 Q4229407 Q621869 Q1042 Q475659 Q691265 Q28 Q1366860 Q12788 Q12584 Q12580 Q1025 Q683555 Q1020 Q2009 Q843 Q12709 Q184 Q548396 Q1029 Q3336 Q1206596 Q3334 Q541811 Q707950 Q3131 Q7084 Q1904 Q27495866 Q12784 Q12578 Q12717 Q3139 Q12782 Q3342 Q12559 Q558771 Q12679 Q12700 Q12703 Q12675 Q811 Q1270623 Q347 Q71090 Q1989 Q4165945 Q21915715 Q902 Q153402 Q3207 Q974 Q3120 Q894972 Q894971 Q14810 Q967 Q962 Q963 Q2921370 Q3125 Q114 Q117 Q81751 Q12569 Q2921378 Q1788988 Q754 Q752 Q750 Q12730 Q12657 Q20095245 Q12736 Q12642 Q160307 Q505607 Q6661829 Q2295479 Q2115819 Q912 Q1270568 Q1270636 Q2136219 Q3514973 Q1090691 Q12765 Q1005 Q977 Q1019 Q1008 Q3509886 Q971 Q3194 Q3113 Q568833 Q252157 Q12652 Q3110307 Q894973 Q541589 Q20310 Q760 Q1033 Q11301 Q1030 Q12804 Q12808 Q894970 Q12722 Q784 Q3326 Q79 Q1234961 Q12553 Q3528124 Q775 Q15060143 Q776 Q810 Q773 Q46130 Q1393469 Q27 Q1011 Q1013 Q480103 Q4149 Q12549 Q3266 Q12626 Q8575586 Q12543 Q3105 Q12545 Q1558632 Q1913193 Q4066675 Q12758 Q599866 Q1579364 Q731547 Q12816 Q2938 Q12751 Q1951 Q2236821 Q1952 Q2528268 Q3353 Q3357 Q1231 Q13401101 Q558796 Q12564
(c(Q15617994),P138,c(Q2221906)|c(Q15617994))
action count
action less
action union
action find_tuple_counts
relation P138
type Q15617994
type Q2221906
action find_tuple_counts
relation P138
type Q15617994
type Q15617994
action count
action filter_multi_types
action find
entity Q770
relation P138
type Q2221906
type Q15617994
[ANSWER]
[{'concept': 'Q15617994'}, 'P138', [{'concept': 'Q2221906'}, {'concept': 'Q15617994'}]]
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?v ) ?a WHERE { { ?a rdf:type ontology:Q15617994 . ?p rdf:type ontology:Q2221906 . ?a property:P138 ?p } UNION { ?a property:P138 ?p . ?a rdf:type ontology:Q15617994 . ?p rdf:type ontology:Q15617994 } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?k ) WHERE { { { ?h rdf:type ontology:Q2221906 } UNION { ?h rdf:type ontology:Q15617994 } } . resource:Q770 property:P138 ?h } } . FILTER ( ?v < ?k ) }
Reinickendorf Taro Zeeland Aveyron Flevoland Rockaway, New Jersey Marshall Islands Wettertal Var Mauritius Tarn-et-Garonne Victoria Meuse Senegal Mella Bouches-de-l'Elbe India Neetzow-Liepen Medebach Arno Charente-Maritime Landes France Finland Simplon Mezhetchina Israel Haute-Garonne Abbasid caliphate Sarthe Iceland Yvelines Montserrat Chad Ariège Gênes Ombrone Marne Côtes-d'Armor Forêts Mont-Tonnerre Noordpolderzijl Pasop Mongolia Kiribati Prince Edward Island Schwielowsee Léman Leninkent, Makhachkala, Republic of Dagestan Hürtgenwald Corse Ain Sam Rayburn Independent School District Upper Oka Principalities Bouches-du-Rhône Morocco Tarn Cher Corcyre Calvados Haute-Marne Liamone Ardennes Gehlsbach Haute-Loire Banan District Russia Mer-Égée Apennins Sègre Indre-et-Loire Gironde Pas-de-Calais Seine-et-Marne Biebertal Brazil Ithaque Stura Wied Sesia Eure-et-Loir Lot Eure Zuyderzée Colombia Manche Veytal Loiret Yssel-Supérieur Rhine Aisne Clipperton Island New Brunswick Marengo Seine-et-Oise Cantal Finnentrop Dominican Republic Seine Moldavia Cabot Public Schools Sankt Thomas Sieg Mönchengladbach Puy-de-Dôme Rumi District Savoie Gard Am Salzhaff Gers Essonne Luxembourg Belgium Tanzania Poland Somme Philippines Doubs Switzerland Drôme Ems-Occidental Vogtei Montenotte Eritrea Rhin-et-Moselle Peenehagen Ardèche Bulgaria Ourthe Ecuador Pô Vendée Ordzhonikidzevskiy raion of Zaporizhzhya Niger Méditerranée Möhnesee Loire-Atlantique Vaucluse Viereck Dyle Sambre-et-Meuse Montenegro Bouches-du-Weser Georgia Republic of Macedonia Kazakhstan Malta Spitsbergen Vlagtwedder-Veldhuis Nesse-Apfelstädt San Marino Mayenne Rheinbreitbach Nord Norway Komarovsky, Orenburg Oblast Georgsdorf Seychelles Sassenburg Mont-Terrible Hungary Escaut Val-de-Marne Maine-et-Loire Lozère Mauritania Vyronas Malawi Yukon Pakistan Pyrénées-Orientales Belarus Pommerby Mozambique Corse-du-Sud Deux-Nèthes Haute-Corse Ems-Oriental Muldestausee Alpes-de-Haute-Provence Seevetal Ontario Corse Val-d'Oise Lot-et-Garonne Bas-Rhin Alpes-Maritimes Territoire de Belfort Côte-d'Or Isère Wedendorfersee Orne Hautes-Pyrénées Pyrénées-Atlantiques Oise Nicaragua Meurthe Liechtenstein Augustusburg Saskatchewan Sheikh Zayed City Kloster Tempzin Bangladesh Roer Aude Democratic Republic of the Congo Jura Bouches-de-l'Yssel Bouches-de-l'Escaut Nettetal Burundi Benin Botswana Bouches-de-l'Èbre-Montserrat Hautes-Alpes Kenya Ghana Niedereschach Loire Bouches-de-l'Èbre Trasimène Trinidad and Tobago Groningen Bolivia Haute-Saône Nièvre Sept-Saints Saône-et-Loire Morbihan Fatimid caliphate Philippsreut Llanvaches Zandberg, Zeeland Klein-Ulsda Mali Ems Ruhr Amsterdam, Saskatchewan Tanaro Ter Deux-Sèvres Gambia Djibouti Madagascar Côte d'Ivoire Sègre-Ter Republic of the Congo Aube Allier Meuse-Inférieure Sarre Moselle Golo Bouches-du-Rhin Ems-Supérieur Kuckssee Saint Lucia Nigeria Ennepetal Namibia Vienne Haute-Vienne Bouches-de-la-Meuse Haut-Rhin Dominica Corrèze Egypt Doire Indre Tibre Gelderland Stepenitztal Utrecht Jordan Overijssel Rhône Jemmapes Ireland Cape Verde Lesotho Amt Volmarstein Neustadt an der Weinstraße Ille-et-Vilaine Charente Meurthe-et-Moselle Umayyad Caliphate Hauts-de-Seine Vosges Hérault Rome Chkalovsk Microdistrict Annino Seine-Maritime Lev Tolstoy Lys Lippe Yonne Leverkusen Haute-Savoie Alberta Rhône-et-Loire Nova Scotia Mont-Blanc Creuse Dordogne Kosovo Region Brandon Valley School District Obere Warnow Loir-et-Cher
309
action count
action less
action union
action find_tuple_counts
relation named after
type designation for an administrative territorial entity
type geographic location
action find_tuple_counts
relation named after
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_multi_types
action find
entity Friesland
relation named after
type geographic location
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'named after', [{'concept': 'geographic location'}, {'concept': 'designation for an administrative territorial entity'}]]
SELECT DISTINCT ( COUNT ( ?a ) AS ?b ) WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?v ) ?a WHERE { { ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?p rdf:type ontology:geographic_location . ?a property:named_after ?p } UNION { ?a property:named_after ?p . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?a } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?k ) WHERE { { { ?h rdf:type ontology:geographic_location } UNION { ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } } . resource:Friesland property:named_after ?h } } . FILTER ( ?v < ?k ) }
[]