Simple Question (Direct)
Simple Question
Q7117529
P39
Q12737077
USER
Which occupations were the positions for which P. Sankaran were appointed ?
(Q7117529,P39,c(Q12737077))
action filter_type
action find
entity Q7117529
relation P39
type Q12737077
['Q7117529', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q12737077 . resource:Q7117529 property:P39 ?e }
P. Sankaran
action filter_type
action find
entity P. Sankaran
relation position held
type occupation
['P. Sankaran', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:occupation . resource:P._Sankaran property:position_held ?e }
[]
occupation
Q19468152 Q16556694
SYSTEM
Member of the Kerala Legislative Assembly, member of the Lok Sabha
Q19468152 Q16556694
(Q7117529,P39,c(Q12737077))
action filter_type
action find
entity Q7117529
relation P39
type Q12737077
[ANSWERS] were the positions for which P. Sankaran were appointed
['Q7117529', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q12737077 . resource:Q7117529 property:P39 ?e }
Member of the Kerala Legislative Assembly member of the Lok Sabha
Member of the Kerala Legislative Assembly and member of the Lok Sabha were the positions for which P. Sankaran were appointed
Member of the Kerala Legislative Assembly member of the Lok Sabha
action filter_type
action find
entity P. Sankaran
relation position held
type occupation
['P. Sankaran', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:occupation . resource:P._Sankaran property:position_held ?e }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q19468152 Q16556694
P17
Q15617994
USER
Which administrative territories are Member of the Kerala Legislative Assembly and member of the Lok Sabha a part of ?
(Q19468152,P17,c(Q15617994)) (Q16556694,P17,c(Q15617994))
action union
action filter_type
action find
entity Q19468152
relation P17
type Q15617994
action filter_type
action find
entity Q16556694
relation P17
type Q15617994
['Q19468152', 'P17', {'concept': 'Q15617994'}] ['Q16556694', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { { resource:Q19468152 property:P17 ?k . ?k rdf:type ontology:Q15617994 } UNION { resource:Q16556694 property:P17 ?k . ?k rdf:type ontology:Q15617994 } }
Member of the Kerala Legislative Assembly member of the Lok Sabha
action union
action filter_type
action find
entity Member of the Kerala Legislative Assembly
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity member of the Lok Sabha
relation country
type designation for an administrative territorial entity
['Member of the Kerala Legislative Assembly', 'country', {'concept': 'designation for an administrative territorial entity'}] ['member of the Lok Sabha', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { { resource:Member_of_the_Kerala_Legislative_Assembly property:country ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { resource:member_of_the_Lok_Sabha property:country ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } }
[]
designation for an administrative territorial entity
Q668 Q668
SYSTEM
India
Q668 Q668
(Q19468152,P17,c(Q15617994)) (Q16556694,P17,c(Q15617994))
action union
action filter_type
action find
entity Q19468152
relation P17
type Q15617994
action filter_type
action find
entity Q16556694
relation P17
type Q15617994
[ANSWER] and [ANSWER] are Member of the Kerala Legislative Assembly and member of the Lok Sabha a part of
['Q19468152', 'P17', {'concept': 'Q15617994'}] ['Q16556694', 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { { resource:Q19468152 property:P17 ?k . ?k rdf:type ontology:Q15617994 } UNION { resource:Q16556694 property:P17 ?k . ?k rdf:type ontology:Q15617994 } }
India India
India and India are Member of the Kerala Legislative Assembly and member of the Lok Sabha a part of
India India
action union
action filter_type
action find
entity Member of the Kerala Legislative Assembly
relation country
type designation for an administrative territorial entity
action filter_type
action find
entity member of the Lok Sabha
relation country
type designation for an administrative territorial entity
['Member of the Kerala Legislative Assembly', 'country', {'concept': 'designation for an administrative territorial entity'}] ['member of the Lok Sabha', 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { { resource:Member_of_the_Kerala_Legislative_Assembly property:country ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { resource:member_of_the_Lok_Sabha property:country ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q668
P1001
Q820655
USER
Which statutes have jurisdiction over India ?
(c(Q820655),P1001,Q668)
action filter_type
action find_reverse
entity Q668
relation P1001
type Q820655
[{'concept': 'Q820655'}, 'P1001', 'Q668']
SELECT DISTINCT ?t WHERE { ?t property:P1001 resource:Q668 . ?t rdf:type ontology:Q820655 }
India
action filter_type
action find_reverse
entity India
relation applies to jurisdiction
type statute
[{'concept': 'statute'}, 'applies to jurisdiction', 'India']
SELECT DISTINCT ?t WHERE { ?t property:applies_to_jurisdiction resource:India . ?t rdf:type ontology:statute }
[]
statute
Q7741695 Q23057819 Q5766344
SYSTEM
The Income-tax Act, 1961, Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016, Hindu Marriage Act
Q7741695 Q23057819 Q5766344 Q2305282
(c(Q820655),P1001,Q668)
action filter_type
action find_reverse
entity Q668
relation P1001
type Q820655
[ANSWERS] have jurisdiction over India
[{'concept': 'Q820655'}, 'P1001', 'Q668']
SELECT DISTINCT ?t WHERE { ?t property:P1001 resource:Q668 . ?t rdf:type ontology:Q820655 }
The Income-tax Act, 1961 Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016 Hindu Marriage Act States Reorganisation Act
The Income-tax Act, 1961, Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016 and Hindu Marriage Act have jurisdiction over India
The Income-tax Act, 1961 Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016 Hindu Marriage Act
action filter_type
action find_reverse
entity India
relation applies to jurisdiction
type statute
[{'concept': 'statute'}, 'applies to jurisdiction', 'India']
SELECT DISTINCT ?t WHERE { ?t property:applies_to_jurisdiction resource:India . ?t rdf:type ontology:statute }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q7741695 Q23057819 Q5766344
P1001
Q15617994
USER
Which administrative territories are judicially linked to The Income-tax Act, 1961, Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016 and Hindu Marriage Act ?
(Q7741695,P1001,c(Q15617994)) (Q23057819,P1001,c(Q15617994)) (Q5766344,P1001,c(Q15617994))
action union
action filter_type
action find
entity Q7741695
relation P1001
type Q15617994
action filter_type
action find
entity Q23057819
relation P1001
type Q15617994
action filter_type
action find
entity Q5766344
relation P1001
type Q15617994
['Q7741695', 'P1001', {'concept': 'Q15617994'}] ['Q23057819', 'P1001', {'concept': 'Q15617994'}] ['Q5766344', 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { { resource:Q7741695 property:P1001 ?k . ?k rdf:type ontology:Q15617994 } UNION { resource:Q23057819 property:P1001 ?k . ?k rdf:type ontology:Q15617994 } }
The Income-tax Act, 1961 Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016 Hindu Marriage Act
action union
action filter_type
action find
entity The Income-tax Act, 1961
relation applies to jurisdiction
type designation for an administrative territorial entity
action filter_type
action find
entity Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016
relation applies to jurisdiction
type designation for an administrative territorial entity
action filter_type
action find
entity Hindu Marriage Act
relation applies to jurisdiction
type designation for an administrative territorial entity
['The Income-tax Act, 1961', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}] ['Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}] ['Hindu Marriage Act', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { { resource:The_Income-tax_Act,_1961 property:applies_to_jurisdiction ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { resource:Aadhaar_(Targeted_Delivery_of_Financial_and_other_Subsidies,_benefits_and_services)_Act,_2016 property:applies_to_jurisdiction ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } }
[]
designation for an administrative territorial entity
Q668 Q668 Q668
SYSTEM
India
Q668 Q668 Q668
(Q7741695,P1001,c(Q15617994)) (Q23057819,P1001,c(Q15617994)) (Q5766344,P1001,c(Q15617994))
action union
action filter_type
action find
entity Q7741695
relation P1001
type Q15617994
action filter_type
action find
entity Q23057819
relation P1001
type Q15617994
action filter_type
action find
entity Q5766344
relation P1001
type Q15617994
[ANSWER], [ANSWER] and [ANSWER] are judicially linked to The Income-tax Act, 1961, Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016 and Hindu Marriage Act
['Q7741695', 'P1001', {'concept': 'Q15617994'}] ['Q23057819', 'P1001', {'concept': 'Q15617994'}] ['Q5766344', 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?k WHERE { { resource:Q7741695 property:P1001 ?k . ?k rdf:type ontology:Q15617994 } UNION { resource:Q23057819 property:P1001 ?k . ?k rdf:type ontology:Q15617994 } }
India India India
India, India and India are judicially linked to The Income-tax Act, 1961, Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016 and Hindu Marriage Act
India India India
action union
action filter_type
action find
entity The Income-tax Act, 1961
relation applies to jurisdiction
type designation for an administrative territorial entity
action filter_type
action find
entity Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016
relation applies to jurisdiction
type designation for an administrative territorial entity
action filter_type
action find
entity Hindu Marriage Act
relation applies to jurisdiction
type designation for an administrative territorial entity
['The Income-tax Act, 1961', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}] ['Aadhaar (Targeted Delivery of Financial and other Subsidies, benefits and services) Act, 2016', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}] ['Hindu Marriage Act', 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?k WHERE { { resource:The_Income-tax_Act,_1961 property:applies_to_jurisdiction ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { resource:Aadhaar_(Targeted_Delivery_of_Financial_and_other_Subsidies,_benefits_and_services)_Act,_2016 property:applies_to_jurisdiction ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q7741695
P144
Q895526
USER
Which authority organ is an extension The Income-tax Act, 1961 ?
(c(Q895526),P144,Q7741695)
action filter_type
action find_reverse
entity Q7741695
relation P144
type Q895526
[{'concept': 'Q895526'}, 'P144', 'Q7741695']
SELECT DISTINCT ?z WHERE { ?z property:P144 resource:Q7741695 . ?z rdf:type ontology:Q895526 }
The Income-tax Act, 1961
action filter_type
action find_reverse
entity The Income-tax Act, 1961
relation based on
type authority organ
[{'concept': 'authority organ'}, 'based on', 'The Income-tax Act, 1961']
SELECT DISTINCT ?z WHERE { ?z property:based_on resource:The_Income-tax_Act,_1961 . ?z rdf:type ontology:authority_organ }
[]
authority organ
Q17055919
SYSTEM
Income Tax Department
Q17055919
(c(Q895526),P144,Q7741695)
action filter_type
action find_reverse
entity Q7741695
relation P144
type Q895526
[ANSWER] is an extension The Income-tax Act, 1961
[{'concept': 'Q895526'}, 'P144', 'Q7741695']
SELECT DISTINCT ?z WHERE { ?z property:P144 resource:Q7741695 . ?z rdf:type ontology:Q895526 }
Income Tax Department
Income Tax Department is an extension The Income-tax Act, 1961
Income Tax Department
action filter_type
action find_reverse
entity The Income-tax Act, 1961
relation based on
type authority organ
[{'concept': 'authority organ'}, 'based on', 'The Income-tax Act, 1961']
SELECT DISTINCT ?z WHERE { ?z property:based_on resource:The_Income-tax_Act,_1961 . ?z rdf:type ontology:authority_organ }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q7741695
P467
Q1752346
USER
Which assembly was The Income-tax Act, 1961 passed by ?
(Q7741695,P467,c(Q1752346))
action filter_type
action find
entity Q7741695
relation P467
type Q1752346
['Q7741695', 'P467', {'concept': 'Q1752346'}]
SELECT DISTINCT ?r WHERE { resource:Q7741695 property:P467 ?r . ?r rdf:type ontology:Q1752346 }
The Income-tax Act, 1961
action filter_type
action find
entity The Income-tax Act, 1961
relation legislated by
type assembly
['The Income-tax Act, 1961', 'legislated by', {'concept': 'assembly'}]
SELECT DISTINCT ?r WHERE { resource:The_Income-tax_Act,_1961 property:legislated_by ?r . ?r rdf:type ontology:assembly }
[]
assembly
Q695252
SYSTEM
Parliament of India
Q695252
(Q7741695,P467,c(Q1752346))
action filter_type
action find
entity Q7741695
relation P467
type Q1752346
The Income-tax Act , 1961 was passed by [ANSWER]
['Q7741695', 'P467', {'concept': 'Q1752346'}]
SELECT DISTINCT ?r WHERE { resource:Q7741695 property:P467 ?r . ?r rdf:type ontology:Q1752346 }
Parliament of India
The Income-tax Act , 1961 was passed by Parliament of India
Parliament of India
action filter_type
action find
entity The Income-tax Act, 1961
relation legislated by
type assembly
['The Income-tax Act, 1961', 'legislated by', {'concept': 'assembly'}]
SELECT DISTINCT ?r WHERE { resource:The_Income-tax_Act,_1961 property:legislated_by ?r . ?r rdf:type ontology:assembly }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q11147
P748
Q1307214 Q895526 Q895526
USER
Which authority organs did less number of forms of government or authority organs appoint than Chief Justice of the United States ?
(c(Q895526),P748,c(Q1307214)|c(Q895526))
action less
action union
action find_tuple_counts
relation P748
type Q895526
type Q1307214
action find_tuple_counts
relation P748
type Q895526
type Q895526
action count
action filter_multi_types
action find
entity Q11147
relation P748
type Q1307214
type Q895526
[{'concept': 'Q895526'}, 'P748', [{'concept': 'Q1307214'}, {'concept': 'Q895526'}]]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?n ) ?m WHERE { VALUES ( ?o ) { ( ontology:Q895526 ) ( ontology:Q1307214 ) } . ?c rdf:type ?o } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?a ) WHERE { resource:Q11147 property:P748 ?j . { { ?j rdf:type ontology:Q895526 } UNION { ?j rdf:type ontology:Q1307214 } } } } . FILTER ( ?n < ?a ) }
Chief Justice of the United States
action less
action union
action find_tuple_counts
relation appointed by
type authority organ
type form of government
action find_tuple_counts
relation appointed by
type authority organ
type authority organ
action count
action filter_multi_types
action find
entity Chief Justice of the United States
relation appointed by
type form of government
type authority organ
[{'concept': 'authority organ'}, 'appointed by', [{'concept': 'form of government'}, {'concept': 'authority organ'}]]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?n ) ?m WHERE { VALUES ( ?o ) { ( ontology:authority_organ ) ( ontology:form_of_government ) } . ?c rdf:type ?o } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?a ) WHERE { resource:Chief_Justice_of_the_United_States property:appointed_by ?j . { { ?j rdf:type ontology:authority_organ } UNION { ?j rdf:type ontology:form_of_government } } } } . FILTER ( ?n < ?a ) }
[]
form of government authority organ authority organ
Q11696 Q7243302 Q3401750
SYSTEM
President of the United States of America, Prime Minister of Syria, Premier of Alberta
Q18996 Q11696 Q5096927 Q7243302 Q7240349 Q11699 Q3401750
(c(Q895526),P748,c(Q1307214)|c(Q895526))
action less
action union
action find_tuple_counts
relation P748
type Q895526
type Q1307214
action find_tuple_counts
relation P748
type Q895526
type Q895526
action count
action filter_multi_types
action find
entity Q11147
relation P748
type Q1307214
type Q895526
[ANSWERS] less number of forms of government or authority organs appointed than Chief Justice of the United States
[{'concept': 'Q895526'}, 'P748', [{'concept': 'Q1307214'}, {'concept': 'Q895526'}]]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?n ) ?m WHERE { VALUES ( ?o ) { ( ontology:Q895526 ) ( ontology:Q1307214 ) } . ?c rdf:type ?o } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?a ) WHERE { resource:Q11147 property:P748 ?j . { { ?j rdf:type ontology:Q895526 } UNION { ?j rdf:type ontology:Q1307214 } } } } . FILTER ( ?n < ?a ) }
First Minister of Wales President of the United States of America Chief Secretary to the Treasury Prime Minister of Syria Premier of British Columbia Vice President of the United States Premier of Alberta
President of the United States of America, Prime Minister of Syria and Premier of Alberta less number of forms of government or authority organs appointed than Chief Justice of the United States
President of the United States of America Prime Minister of Syria Premier of Alberta
action less
action union
action find_tuple_counts
relation appointed by
type authority organ
type form of government
action find_tuple_counts
relation appointed by
type authority organ
type authority organ
action count
action filter_multi_types
action find
entity Chief Justice of the United States
relation appointed by
type form of government
type authority organ
[{'concept': 'authority organ'}, 'appointed by', [{'concept': 'form of government'}, {'concept': 'authority organ'}]]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( COUNT ( ?c ) AS ?n ) ?m WHERE { VALUES ( ?o ) { ( ontology:authority_organ ) ( ontology:form_of_government ) } . ?c rdf:type ?o } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?a ) WHERE { resource:Chief_Justice_of_the_United_States property:appointed_by ?j . { { ?j rdf:type ontology:authority_organ } UNION { ?j rdf:type ontology:form_of_government } } } } . FILTER ( ?n < ?a ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q14211
P748
Q1307214 Q895526 Q895526
USER
And what about Prime Minister of the United Kingdom?
(c(Q895526),P748,c(Q1307214)|c(Q895526))
action less
action union
action find_tuple_counts
relation P748
type Q895526
type Q1307214
action find_tuple_counts
relation P748
type Q895526
type Q895526
action count
action filter_multi_types
action find
entity Q14211
relation P748
type Q1307214
type Q895526
[{'concept': 'Q895526'}, 'P748', [{'concept': 'Q1307214'}, {'concept': 'Q895526'}]]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?y ) AS ?x ) WHERE { { ?a property:P748 ?y . ?a rdf:type ontology:Q895526 . ?y rdf:type ontology:Q1307214 } UNION { ?a property:P748 ?y . ?a rdf:type ontology:Q895526 . ?y rdf:type ontology:Q895526 } } GROUP BY ?a } . FILTER ( ?x < ?u ) . { SELECT DISTINCT ( COUNT ( ?m ) AS ?u ) WHERE { resource:Q14211 property:P748 ?m . { VALUES ( ?b ) { ( ontology:Q895526 ) ( ontology:Q1307214 ) } . ?m rdf:type ?b } } } }
Prime Minister of the United Kingdom
action less
action union
action find_tuple_counts
relation appointed by
type authority organ
type form of government
action find_tuple_counts
relation appointed by
type authority organ
type authority organ
action count
action filter_multi_types
action find
entity Prime Minister of the United Kingdom
relation appointed by
type form of government
type authority organ
[{'concept': 'authority organ'}, 'appointed by', [{'concept': 'form of government'}, {'concept': 'authority organ'}]]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?y ) AS ?x ) WHERE { { ?a property:appointed_by ?y . ?a rdf:type ontology:authority_organ . ?y rdf:type ontology:form_of_government } UNION { ?a property:appointed_by ?y . ?a rdf:type ontology:authority_organ . ?y rdf:type ontology:authority_organ } } GROUP BY ?a } . FILTER ( ?x < ?u ) . { SELECT DISTINCT ( COUNT ( ?m ) AS ?u ) WHERE { resource:Prime_Minister_of_the_United_Kingdom property:appointed_by ?m . { VALUES ( ?b ) { ( ontology:authority_organ ) ( ontology:form_of_government ) } . ?m rdf:type ?b } } } }
[]
form of government authority organ authority organ
Q11696 Q7243302 Q3401750
SYSTEM
President of the United States of America, Prime Minister of Syria, Premier of Alberta
Q18996 Q11696 Q5096927 Q7243302 Q7240349 Q11699 Q3401750
(c(Q895526),P748,c(Q1307214)|c(Q895526))
action less
action union
action find_tuple_counts
relation P748
type Q895526
type Q1307214
action find_tuple_counts
relation P748
type Q895526
type Q895526
action count
action filter_multi_types
action find
entity Q14211
relation P748
type Q1307214
type Q895526
[ANSWERS]
[{'concept': 'Q895526'}, 'P748', [{'concept': 'Q1307214'}, {'concept': 'Q895526'}]]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?y ) AS ?x ) WHERE { { ?a property:P748 ?y . ?a rdf:type ontology:Q895526 . ?y rdf:type ontology:Q1307214 } UNION { ?a property:P748 ?y . ?a rdf:type ontology:Q895526 . ?y rdf:type ontology:Q895526 } } GROUP BY ?a } . FILTER ( ?x < ?u ) . { SELECT DISTINCT ( COUNT ( ?m ) AS ?u ) WHERE { resource:Q14211 property:P748 ?m . { VALUES ( ?b ) { ( ontology:Q895526 ) ( ontology:Q1307214 ) } . ?m rdf:type ?b } } } }
First Minister of Wales President of the United States of America Chief Secretary to the Treasury Prime Minister of Syria Premier of British Columbia Vice President of the United States Premier of Alberta
President of the United States of America Prime Minister of Syria Premier of Alberta
action less
action union
action find_tuple_counts
relation appointed by
type authority organ
type form of government
action find_tuple_counts
relation appointed by
type authority organ
type authority organ
action count
action filter_multi_types
action find
entity Prime Minister of the United Kingdom
relation appointed by
type form of government
type authority organ
[{'concept': 'authority organ'}, 'appointed by', [{'concept': 'form of government'}, {'concept': 'authority organ'}]]
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ?a ( COUNT ( ?y ) AS ?x ) WHERE { { ?a property:appointed_by ?y . ?a rdf:type ontology:authority_organ . ?y rdf:type ontology:form_of_government } UNION { ?a property:appointed_by ?y . ?a rdf:type ontology:authority_organ . ?y rdf:type ontology:authority_organ } } GROUP BY ?a } . FILTER ( ?x < ?u ) . { SELECT DISTINCT ( COUNT ( ?m ) AS ?u ) WHERE { resource:Prime_Minister_of_the_United_Kingdom property:appointed_by ?m . { VALUES ( ?b ) { ( ontology:authority_organ ) ( ontology:form_of_government ) } . ?m rdf:type ?b } } } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q723502 Q668
P47 P27
Q15617994
USER
Which administrative territories are bordered by India or are the native countriesof Mahmood Mamdani ?
OR((Q668,P47,c(Q15617994)), (Q723502,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q668
relation P47
action find
entity Q723502
relation P27
type Q15617994
{'OR': [['Q668', 'P47', {'concept': 'Q15617994'}], ['Q723502', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?b WHERE { { { resource:Q668 property:P47 ?b } UNION { resource:Q723502 property:P27 ?b } } . ?b rdf:type ontology:Q15617994 }
Mahmood Mamdani India
action filter_type
action union
action find
entity India
relation shares border with
action find
entity Mahmood Mamdani
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['India', 'shares border with', {'concept': 'designation for an administrative territorial entity'}], ['Mahmood Mamdani', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?b WHERE { { { resource:India property:shares_border_with ?b } UNION { resource:Mahmood_Mamdani property:country_of_citizenship ?b } } . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q1036 Q836 Q837 Q843 Q148 Q902 Q917
SYSTEM
Uganda, Myanmar, Nepal, Pakistan, People's Republic of China, Bangladesh, Bhutan
Q1036 Q836 Q837 Q843 Q148 Q902 Q917
OR((Q668,P47,c(Q15617994)), (Q723502,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q668
relation P47
action find
entity Q723502
relation P27
type Q15617994
[ANSWERS] are bordered by India or are the native countriesof Mahmood Mamdani
{'OR': [['Q668', 'P47', {'concept': 'Q15617994'}], ['Q723502', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?b WHERE { { { resource:Q668 property:P47 ?b } UNION { resource:Q723502 property:P27 ?b } } . ?b rdf:type ontology:Q15617994 }
Uganda Myanmar Nepal Pakistan People's Republic of China Bangladesh Bhutan
Uganda, Myanmar, Nepal, Pakistan, People's Republic of China, Bangladesh and Bhutan are bordered by India or are the native countriesof Mahmood Mamdani
Uganda Myanmar Nepal Pakistan People's Republic of China Bangladesh Bhutan
action filter_type
action union
action find
entity India
relation shares border with
action find
entity Mahmood Mamdani
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['India', 'shares border with', {'concept': 'designation for an administrative territorial entity'}], ['Mahmood Mamdani', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?b WHERE { { { resource:India property:shares_border_with ?b } UNION { resource:Mahmood_Mamdani property:country_of_citizenship ?b } } . ?b rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q917
P85
Q484692 Q7725634 Q15617994
USER
How many administrative territories have less number of hymns or literary works as their anthem than Bhutan ?
(c(Q15617994),P85,c(Q484692)|c(Q7725634))
action count
action less
action union
action find_tuple_counts
relation P85
type Q15617994
type Q484692
action find_tuple_counts
relation P85
type Q15617994
type Q7725634
action count
action filter_multi_types
action find
entity Q917
relation P85
type Q484692
type Q7725634
[{'concept': 'Q15617994'}, 'P85', [{'concept': 'Q484692'}, {'concept': 'Q7725634'}]]
SELECT DISTINCT ( COUNT ( ?r ) AS ?c ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?p ) ?r WHERE { { ?r property:P85 ?h . ?r rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q484692 } UNION { ?h rdf:type ontology:Q7725634 . ?r rdf:type ontology:Q15617994 . ?r property:P85 ?h } } GROUP BY ?r } . FILTER ( ?p < ?d ) . { SELECT DISTINCT ( COUNT ( ?b ) AS ?d ) WHERE { { { ?b rdf:type ontology:Q7725634 } UNION { ?b rdf:type ontology:Q484692 } } . resource:Q917 property:P85 ?b } } }
Bhutan
action count
action less
action union
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type hymn
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type literary work
action count
action filter_multi_types
action find
entity Bhutan
relation anthem
type hymn
type literary work
[{'concept': 'designation for an administrative territorial entity'}, 'anthem', [{'concept': 'hymn'}, {'concept': 'literary work'}]]
SELECT DISTINCT ( COUNT ( ?r ) AS ?c ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?p ) ?r WHERE { { ?r property:anthem ?h . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:hymn } UNION { ?h rdf:type ontology:literary_work . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?r property:anthem ?h } } GROUP BY ?r } . FILTER ( ?p < ?d ) . { SELECT DISTINCT ( COUNT ( ?b ) AS ?d ) WHERE { { { ?b rdf:type ontology:literary_work } UNION { ?b rdf:type ontology:hymn } } . resource:Bhutan property:anthem ?b } } }
[]
hymn literary work designation for an administrative territorial entity
SYSTEM
8
Q701 Q705 Q142 Q1093 Q694 Q773 Q772 Q33788
(c(Q15617994),P85,c(Q484692)|c(Q7725634))
action count
action less
action union
action find_tuple_counts
relation P85
type Q15617994
type Q484692
action find_tuple_counts
relation P85
type Q15617994
type Q7725634
action count
action filter_multi_types
action find
entity Q917
relation P85
type Q484692
type Q7725634
[ANSWER]
[{'concept': 'Q15617994'}, 'P85', [{'concept': 'Q484692'}, {'concept': 'Q7725634'}]]
SELECT DISTINCT ( COUNT ( ?r ) AS ?c ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?p ) ?r WHERE { { ?r property:P85 ?h . ?r rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q484692 } UNION { ?h rdf:type ontology:Q7725634 . ?r rdf:type ontology:Q15617994 . ?r property:P85 ?h } } GROUP BY ?r } . FILTER ( ?p < ?d ) . { SELECT DISTINCT ( COUNT ( ?b ) AS ?d ) WHERE { { { ?b rdf:type ontology:Q7725634 } UNION { ?b rdf:type ontology:Q484692 } } . resource:Q917 property:P85 ?b } } }
North Holland Zeeland France Limburg South Holland Overijssel Drenthe New Caledonia
8
action count
action less
action union
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type hymn
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type literary work
action count
action filter_multi_types
action find
entity Bhutan
relation anthem
type hymn
type literary work
[{'concept': 'designation for an administrative territorial entity'}, 'anthem', [{'concept': 'hymn'}, {'concept': 'literary work'}]]
SELECT DISTINCT ( COUNT ( ?r ) AS ?c ) WHERE { { SELECT DISTINCT ( COUNT ( ?h ) AS ?p ) ?r WHERE { { ?r property:anthem ?h . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:hymn } UNION { ?h rdf:type ontology:literary_work . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity . ?r property:anthem ?h } } GROUP BY ?r } . FILTER ( ?p < ?d ) . { SELECT DISTINCT ( COUNT ( ?b ) AS ?d ) WHERE { { { ?b rdf:type ontology:literary_work } UNION { ?b rdf:type ontology:hymn } } . resource:Bhutan property:anthem ?b } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q1014
P85
Q484692 Q7725634 Q15617994
USER
And also tell me about Liberia?
(c(Q15617994),P85,c(Q484692)|c(Q7725634))
action count
action less
action union
action find_tuple_counts
relation P85
type Q15617994
type Q484692
action find_tuple_counts
relation P85
type Q15617994
type Q7725634
action count
action filter_multi_types
action find
entity Q1014
relation P85
type Q484692
type Q7725634
[{'concept': 'Q15617994'}, 'P85', [{'concept': 'Q484692'}, {'concept': 'Q7725634'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?v ) WHERE { resource:Q1014 property:P85 ?r . { { ?r rdf:type ontology:Q484692 } UNION { ?r rdf:type ontology:Q7725634 } } } } . FILTER ( ?w < ?v ) . { SELECT DISTINCT ?e ( COUNT ( ?t ) AS ?w ) WHERE { { ?e rdf:type ontology:Q15617994 . ?t rdf:type ontology:Q7725634 . ?e property:P85 ?t } UNION { ?e property:P85 ?t . ?t rdf:type ontology:Q484692 . ?e rdf:type ontology:Q15617994 } } GROUP BY ?e } }
Liberia
action count
action less
action union
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type hymn
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type literary work
action count
action filter_multi_types
action find
entity Liberia
relation anthem
type hymn
type literary work
[{'concept': 'designation for an administrative territorial entity'}, 'anthem', [{'concept': 'hymn'}, {'concept': 'literary work'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?v ) WHERE { resource:Liberia property:anthem ?r . { { ?r rdf:type ontology:hymn } UNION { ?r rdf:type ontology:literary_work } } } } . FILTER ( ?w < ?v ) . { SELECT DISTINCT ?e ( COUNT ( ?t ) AS ?w ) WHERE { { ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?t rdf:type ontology:literary_work . ?e property:anthem ?t } UNION { ?e property:anthem ?t . ?t rdf:type ontology:hymn . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?e } }
[]
hymn literary work designation for an administrative territorial entity
SYSTEM
8
Q701 Q705 Q142 Q1093 Q694 Q773 Q772 Q33788
(c(Q15617994),P85,c(Q484692)|c(Q7725634))
action count
action less
action union
action find_tuple_counts
relation P85
type Q15617994
type Q484692
action find_tuple_counts
relation P85
type Q15617994
type Q7725634
action count
action filter_multi_types
action find
entity Q1014
relation P85
type Q484692
type Q7725634
[ANSWER]
[{'concept': 'Q15617994'}, 'P85', [{'concept': 'Q484692'}, {'concept': 'Q7725634'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?v ) WHERE { resource:Q1014 property:P85 ?r . { { ?r rdf:type ontology:Q484692 } UNION { ?r rdf:type ontology:Q7725634 } } } } . FILTER ( ?w < ?v ) . { SELECT DISTINCT ?e ( COUNT ( ?t ) AS ?w ) WHERE { { ?e rdf:type ontology:Q15617994 . ?t rdf:type ontology:Q7725634 . ?e property:P85 ?t } UNION { ?e property:P85 ?t . ?t rdf:type ontology:Q484692 . ?e rdf:type ontology:Q15617994 } } GROUP BY ?e } }
North Holland Zeeland France Limburg South Holland Overijssel Drenthe New Caledonia
8
action count
action less
action union
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type hymn
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type literary work
action count
action filter_multi_types
action find
entity Liberia
relation anthem
type hymn
type literary work
[{'concept': 'designation for an administrative territorial entity'}, 'anthem', [{'concept': 'hymn'}, {'concept': 'literary work'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?d ) WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?v ) WHERE { resource:Liberia property:anthem ?r . { { ?r rdf:type ontology:hymn } UNION { ?r rdf:type ontology:literary_work } } } } . FILTER ( ?w < ?v ) . { SELECT DISTINCT ?e ( COUNT ( ?t ) AS ?w ) WHERE { { ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?t rdf:type ontology:literary_work . ?e property:anthem ?t } UNION { ?e property:anthem ?t . ?t rdf:type ontology:hymn . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?e } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q7346505 Q723502
P69
Q163740
USER
Which nonprofit organizations are the alma mater of Mahmood Mamdani or Robert L. Annis ?
OR((Q723502,P69,c(Q163740)), (Q7346505,P69,c(Q163740)))
action filter_type
action union
action find
entity Q723502
relation P69
action find
entity Q7346505
relation P69
type Q163740
{'OR': [['Q723502', 'P69', {'concept': 'Q163740'}], ['Q7346505', 'P69', {'concept': 'Q163740'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Q7346505 property:P69 ?d } UNION { resource:Q723502 property:P69 ?d } } . ?d rdf:type ontology:Q163740 }
Robert L. Annis Mahmood Mamdani
action filter_type
action union
action find
entity Mahmood Mamdani
relation educated at
action find
entity Robert L. Annis
relation educated at
type nonprofit organization
{'OR': [['Mahmood Mamdani', 'educated at', {'concept': 'nonprofit organization'}], ['Robert L. Annis', 'educated at', {'concept': 'nonprofit organization'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Robert_L._Annis property:educated_at ?d } UNION { resource:Mahmood_Mamdani property:educated_at ?d } } . ?d rdf:type ontology:nonprofit_organization }
[]
nonprofit organization
Q13371 Q1347162
SYSTEM
Harvard University, New England Conservatory of Music
Q13371 Q1347162
OR((Q723502,P69,c(Q163740)), (Q7346505,P69,c(Q163740)))
action filter_type
action union
action find
entity Q723502
relation P69
action find
entity Q7346505
relation P69
type Q163740
[ANSWERS] are the alma mater of Mahmood Mamdani or Robert L. Annis
{'OR': [['Q723502', 'P69', {'concept': 'Q163740'}], ['Q7346505', 'P69', {'concept': 'Q163740'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Q7346505 property:P69 ?d } UNION { resource:Q723502 property:P69 ?d } } . ?d rdf:type ontology:Q163740 }
Harvard University New England Conservatory of Music
Harvard University and New England Conservatory of Music are the alma mater of Mahmood Mamdani or Robert L. Annis
Harvard University New England Conservatory of Music
action filter_type
action union
action find
entity Mahmood Mamdani
relation educated at
action find
entity Robert L. Annis
relation educated at
type nonprofit organization
{'OR': [['Mahmood Mamdani', 'educated at', {'concept': 'nonprofit organization'}], ['Robert L. Annis', 'educated at', {'concept': 'nonprofit organization'}]]}
SELECT DISTINCT ?d WHERE { { { resource:Robert_L._Annis property:educated_at ?d } UNION { resource:Mahmood_Mamdani property:educated_at ?d } } . ?d rdf:type ontology:nonprofit_organization }
[]