Simple Question (Direct)
Simple Question
Q8016747
P27
Q15617994
USER
Which administrative territory does William Penn belong to ?
(Q8016747,P27,c(Q15617994))
action filter_type
action find
entity Q8016747
relation P27
type Q15617994
['Q8016747', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q8016747 property:P27 ?p . ?p rdf:type ontology:Q15617994 }
William Penn
action filter_type
action find
entity William Penn
relation country of citizenship
type designation for an administrative territorial entity
['William Penn', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:William_Penn property:country_of_citizenship ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q30
SYSTEM
United States of America
Q30
(Q8016747,P27,c(Q15617994))
action filter_type
action find
entity Q8016747
relation P27
type Q15617994
William Penn belongs to [ANSWER]
['Q8016747', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q8016747 property:P27 ?p . ?p rdf:type ontology:Q15617994 }
United States of America
William Penn belongs to United States of America
United States of America
action filter_type
action find
entity William Penn
relation country of citizenship
type designation for an administrative territorial entity
['William Penn', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:William_Penn property:country_of_citizenship ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q30
P163
Q14660
USER
Which flag is associated with that administrative territory ?
(Q30,P163,c(Q14660))
action filter_type
action find
entity Q30
relation P163
type Q14660
['Q30', 'P163', {'concept': 'Q14660'}]
SELECT DISTINCT ?c WHERE { resource:Q30 property:P163 ?c . ?c rdf:type ontology:Q14660 }
United States of America
action filter_type
action find
entity United States of America
relation flag
type flag
['United States of America', 'flag', {'concept': 'flag'}]
SELECT DISTINCT ?c WHERE { resource:United_States_of_America property:flag ?c . ?c rdf:type ontology:flag }
[]
flag
Q42537
SYSTEM
flag of the United States of America
Q42537
(Q30,P163,c(Q14660))
action filter_type
action find
entity Q30
relation P163
type Q14660
The [ANSWER] is associated with that administrative territory
['Q30', 'P163', {'concept': 'Q14660'}]
SELECT DISTINCT ?c WHERE { resource:Q30 property:P163 ?c . ?c rdf:type ontology:Q14660 }
flag of the United States of America
The flag of the United States of America is associated with that administrative territory
flag of the United States of America
action filter_type
action find
entity United States of America
relation flag
type flag
['United States of America', 'flag', {'concept': 'flag'}]
SELECT DISTINCT ?c WHERE { resource:United_States_of_America property:flag ?c . ?c rdf:type ontology:flag }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q830001 Q30
P6
Q502895
USER
Which people are United States of America or Alpanseque the head of goverment of ?
OR((Q30,P6,c(Q502895)), (Q830001,P6,c(Q502895)))
action filter_type
action union
action find
entity Q30
relation P6
action find
entity Q830001
relation P6
type Q502895
{'OR': [['Q30', 'P6', {'concept': 'Q502895'}], ['Q830001', 'P6', {'concept': 'Q502895'}]]}
SELECT DISTINCT ?y WHERE { { ?i property:P6 ?y . VALUES ( ?i ) { ( resource:Q830001 ) ( resource:Q30 ) } } . ?y rdf:type ontology:Q502895 }
Alpanseque United States of America
action filter_type
action union
action find
entity United States of America
relation head of government
action find
entity Alpanseque
relation head of government
type common name
{'OR': [['United States of America', 'head of government', {'concept': 'common name'}], ['Alpanseque', 'head of government', {'concept': 'common name'}]]}
SELECT DISTINCT ?y WHERE { { ?i property:head_of_government ?y . VALUES ( ?i ) { ( resource:Alpanseque ) ( resource:United_States_of_America ) } } . ?y rdf:type ontology:common_name }
[]
common name
Q9640 Q22686 Q11820 Q34836 Q11896 Q91 Q207 Q8612 Q11817 Q35648
SYSTEM
Some of them are Lyndon B. Johnson, Donald Trump, Martin Van Buren, Ulysses S. Grant, Zachary Taylor, Abraham Lincoln, George W. Bush, Andrew Johnson, Andrew Jackson, William Howard Taft
Q35171 Q11815 Q11816 Q11817 Q9588 Q11812 Q12306 Q91 Q12325 Q33866 Q35648 Q35498 Q9582 Q11869 Q207 Q11813 Q35236 Q23685 Q9696 Q22686 Q34597 Q36023 Q11881 Q9916 Q12312 Q11806 Q35286 Q9640 Q35686 Q11820 Q35678 Q35041 Q14119462 Q34296 Q76 Q8612 Q34836 Q23505 Q23 Q1124 Q11613 Q11896 Q8007 Q9960 Q11891
OR((Q30,P6,c(Q502895)), (Q830001,P6,c(Q502895)))
action filter_type
action union
action find
entity Q30
relation P6
action find
entity Q830001
relation P6
type Q502895
[ANSWERS] are United States of America or Alpanseque the head of goverment of
{'OR': [['Q30', 'P6', {'concept': 'Q502895'}], ['Q830001', 'P6', {'concept': 'Q502895'}]]}
SELECT DISTINCT ?y WHERE { { ?i property:P6 ?y . VALUES ( ?i ) { ( resource:Q830001 ) ( resource:Q30 ) } } . ?y rdf:type ontology:Q502895 }
Grover Cleveland James Monroe John Quincy Adams Andrew Jackson Richard Nixon Thomas Jefferson Millard Fillmore Abraham Lincoln James Buchanan Theodore Roosevelt William Howard Taft Chester A. Arthur Gerald Ford William Henry Harrison George W. Bush James Madison Herbert Hoover Jimmy Carter John F. Kennedy Donald Trump James A. Garfield Calvin Coolidge John Tyler Dwight D. Eisenhower Franklin Pierce John Adams Warren G. Harding Lyndon B. Johnson Rutherford B. Hayes Martin Van Buren Benjamin Harrison William McKinley Juan Carlos Sienes Pastora Woodrow Wilson Barack Obama Andrew Johnson Ulysses S. Grant George H. W. Bush George Washington Bill Clinton Harry S. Truman Zachary Taylor Franklin Delano Roosevelt Ronald Reagan James K. Polk
Lyndon B. Johnson, Donald Trump, Martin Van Buren, Ulysses S. Grant, Zachary Taylor, Abraham Lincoln, George W. Bush, Andrew Johnson, Andrew Jackson and William Howard Taft are United States of America or Alpanseque the head of goverment of
Lyndon B. Johnson Donald Trump Martin Van Buren Ulysses S. Grant Zachary Taylor Abraham Lincoln George W. Bush Andrew Johnson Andrew Jackson William Howard Taft
action filter_type
action union
action find
entity United States of America
relation head of government
action find
entity Alpanseque
relation head of government
type common name
{'OR': [['United States of America', 'head of government', {'concept': 'common name'}], ['Alpanseque', 'head of government', {'concept': 'common name'}]]}
SELECT DISTINCT ?y WHERE { { ?i property:head_of_government ?y . VALUES ( ?i ) { ( resource:Alpanseque ) ( resource:United_States_of_America ) } } . ?y rdf:type ontology:common_name }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q207
P106
Q12737077 Q151885
USER
How many occupations and concepts are the job of George W. Bush ?
(Q207,P106,c(Q12737077)) (Q207,P106,c(Q151885))
action count
action union
action filter_type
action find
entity Q207
relation P106
type Q12737077
action filter_type
action find
entity Q207
relation P106
type Q151885
['Q207', 'P106', {'concept': 'Q12737077'}] ['Q207', 'P106', {'concept': 'Q151885'}]
SELECT DISTINCT ( COUNT ( ?i ) AS ?t ) WHERE { VALUES ( ?m ) { ( ontology:Q151885 ) ( ontology:Q12737077 ) } . ?i rdf:type ?m }
George W. Bush
action count
action union
action filter_type
action find
entity George W. Bush
relation occupation
type occupation
action filter_type
action find
entity George W. Bush
relation occupation
type concept
['George W. Bush', 'occupation', {'concept': 'occupation'}] ['George W. Bush', 'occupation', {'concept': 'concept'}]
SELECT DISTINCT ( COUNT ( ?i ) AS ?t ) WHERE { VALUES ( ?m ) { ( ontology:concept ) ( ontology:occupation ) } . ?i rdf:type ?m }
[]
occupation concept
SYSTEM
6 occupations and 1 concepts
Q1028181 Q14089670 Q15982858 Q864380 Q82955 Q18814623 Q189290
(Q207,P106,c(Q12737077)) (Q207,P106,c(Q151885))
action count
action union
action filter_type
action find
entity Q207
relation P106
type Q12737077
action filter_type
action find
entity Q207
relation P106
type Q151885
[ANSWER]
['Q207', 'P106', {'concept': 'Q12737077'}] ['Q207', 'P106', {'concept': 'Q151885'}]
SELECT DISTINCT ( COUNT ( ?i ) AS ?t ) WHERE { VALUES ( ?m ) { ( ontology:Q151885 ) ( ontology:Q12737077 ) } . ?i rdf:type ?m }
painter rugby union player motivational speaker biographer politician autobiographer officer
6 occupations and 1 concepts
action count
action union
action filter_type
action find
entity George W. Bush
relation occupation
type occupation
action filter_type
action find
entity George W. Bush
relation occupation
type concept
['George W. Bush', 'occupation', {'concept': 'occupation'}] ['George W. Bush', 'occupation', {'concept': 'concept'}]
SELECT DISTINCT ( COUNT ( ?i ) AS ?t ) WHERE { VALUES ( ?m ) { ( ontology:concept ) ( ontology:occupation ) } . ?i rdf:type ?m }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P1303
Q34379 Q502895
USER
Which musical instruments can exactly 3 people perform with ?
(c(Q502895),P1303,c(Q34379))
action equal
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
value 3
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?k ) AS ?i ) WHERE { ?k property:P1303 ?r . ?r rdf:type ontology:Q34379 . ?k rdf:type ontology:Q502895 } GROUP BY ?r } . FILTER ( ?i = 3 ) }
action equal
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
value 3
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?k ) AS ?i ) WHERE { ?k property:instrument ?r . ?r rdf:type ontology:musical_instrument . ?k rdf:type ontology:common_name } GROUP BY ?r } . FILTER ( ?i = 3 ) }
[]
musical instrument common name
Q626035 Q726306
SYSTEM
glockenspiel, erhu
Q626035 Q726306
(c(Q502895),P1303,c(Q34379))
action equal
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
value 3
[ANSWERS]
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?k ) AS ?i ) WHERE { ?k property:P1303 ?r . ?r rdf:type ontology:Q34379 . ?k rdf:type ontology:Q502895 } GROUP BY ?r } . FILTER ( ?i = 3 ) }
glockenspiel erhu
Which musical instruments can exactly 3 people perform with
glockenspiel erhu
action equal
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
value 3
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ?r ( COUNT ( ?k ) AS ?i ) WHERE { ?k property:instrument ?r . ?r rdf:type ontology:musical_instrument . ?k rdf:type ontology:common_name } GROUP BY ?r } . FILTER ( ?i = 3 ) }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q1269090 Q11896
P937 P20
Q56061
USER
Which administrative territories did the expiration of Zachary Taylor occur or did Gustav Stapp work ?
OR((Q11896,P20,c(Q56061)), (Q1269090,P937,c(Q56061)))
action filter_type
action union
action find
entity Q11896
relation P20
action find
entity Q1269090
relation P937
type Q56061
{'OR': [['Q11896', 'P20', {'concept': 'Q56061'}], ['Q1269090', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q56061 . { { resource:Q11896 property:P20 ?p } UNION { resource:Q1269090 property:P937 ?p } } }
Gustav Stapp Zachary Taylor
action filter_type
action union
action find
entity Zachary Taylor
relation place of death
action find
entity Gustav Stapp
relation work location
type administrative territorial entity
{'OR': [['Zachary Taylor', 'place of death', {'concept': 'administrative territorial entity'}], ['Gustav Stapp', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:administrative_territorial_entity . { { resource:Zachary_Taylor property:place_of_death ?p } UNION { resource:Gustav_Stapp property:work_location ?p } } }
[]
administrative territorial entity
Q1718 Q61
SYSTEM
Düsseldorf, Washington, D.C.
Q1718 Q61
OR((Q11896,P20,c(Q56061)), (Q1269090,P937,c(Q56061)))
action filter_type
action union
action find
entity Q11896
relation P20
action find
entity Q1269090
relation P937
type Q56061
[ANSWERS]
{'OR': [['Q11896', 'P20', {'concept': 'Q56061'}], ['Q1269090', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q56061 . { { resource:Q11896 property:P20 ?p } UNION { resource:Q1269090 property:P937 ?p } } }
Düsseldorf Washington, D.C.
The expiration of Zachary Taylor occurred in Düsseldorf and Washington, D.C.
Düsseldorf Washington, D.C.
action filter_type
action union
action find
entity Zachary Taylor
relation place of death
action find
entity Gustav Stapp
relation work location
type administrative territorial entity
{'OR': [['Zachary Taylor', 'place of death', {'concept': 'administrative territorial entity'}], ['Gustav Stapp', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:administrative_territorial_entity . { { resource:Zachary_Taylor property:place_of_death ?p } UNION { resource:Gustav_Stapp property:work_location ?p } } }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P17
Q15617994 Q1076486 Q874405
USER
Which administrative territories are around 442 sports venues and social groups present in ?
(c(Q1076486)|c(Q874405),P17,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q1076486
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q874405
value 442
[[{'concept': 'Q1076486'}, {'concept': 'Q874405'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?g ) AS ?f ) WHERE { { ?g property:P17 ?y . ?y rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q1076486 } UNION { ?g property:P17 ?y . ?y rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q874405 } } GROUP BY ?y } . FILTER ( ?f = 442 ) }
action approx
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type sports venue
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type social group
value 442
[[{'concept': 'sports venue'}, {'concept': 'social group'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?g ) AS ?f ) WHERE { { ?g property:country ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:sports_venue } UNION { ?g property:country ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:social_group } } GROUP BY ?y } . FILTER ( ?f = 442 ) }
[]
designation for an administrative territorial entity sports venue social group
Q142 Q145 Q17
SYSTEM
France, United Kingdom, Japan
Q142 Q145 Q17
(c(Q1076486)|c(Q874405),P17,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q1076486
action find_reverse_tuple_counts
relation P17
type Q15617994
type Q874405
value 442
[ANSWERS]
[[{'concept': 'Q1076486'}, {'concept': 'Q874405'}], 'P17', {'concept': 'Q15617994'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?g ) AS ?f ) WHERE { { ?g property:P17 ?y . ?y rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q1076486 } UNION { ?g property:P17 ?y . ?y rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q874405 } } GROUP BY ?y } . FILTER ( ?f = 442 ) }
France United Kingdom Japan
Which administrative territories are around 442 sports venues and social groups present in
France United Kingdom Japan
action approx
action union
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type sports venue
action find_reverse_tuple_counts
relation country
type designation for an administrative territorial entity
type social group
value 442
[[{'concept': 'sports venue'}, {'concept': 'social group'}], 'country', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?y WHERE { { SELECT DISTINCT ?y ( COUNT ( ?g ) AS ?f ) WHERE { { ?g property:country ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:sports_venue } UNION { ?g property:country ?y . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:social_group } } GROUP BY ?y } . FILTER ( ?f = 442 ) }
[]
Clarification
Simple Question|Single Entity|Indirect
Q17
P172
Q502895
USER
Which people have that administrative territory as his/her race ?
(c(Q502895),P172,Q17)
action filter_type
action find_reverse
entity Q17
relation P172
type Q502895
[{'concept': 'Q502895'}, 'P172', 'Q17']
SELECT DISTINCT ?h WHERE { ?h property:P172 resource:Q17 . ?h rdf:type ontology:Q502895 }
Japan
action filter_type
action find_reverse
entity Japan
relation ethnic group
type common name
[{'concept': 'common name'}, 'ethnic group', 'Japan']
SELECT DISTINCT ?h WHERE { ?h property:ethnic_group resource:Japan . ?h rdf:type ontology:common_name }
[]
common name
Clarification for simple ques.
Q145
SYSTEM
Did you mean United Kingdom ?
Q142 Q145 Q17
(c(Q502895),P172,Q142) (c(Q502895),P172,Q145) (c(Q502895),P172,Q17)
[ANSWER]
[{'concept': 'Q502895'}, 'P172', 'Q142'] [{'concept': 'Q502895'}, 'P172', 'Q145'] [{'concept': 'Q502895'}, 'P172', 'Q17']
SELECT DISTINCT ?h WHERE { ?h property:P172 resource:Q17 . ?h rdf:type ontology:Q502895 }
France United Kingdom Japan
Did you mean United Kingdom ?
United Kingdom
[{'concept': 'common name'}, 'ethnic group', 'France'] [{'concept': 'common name'}, 'ethnic group', 'United Kingdom'] [{'concept': 'common name'}, 'ethnic group', 'Japan']
SELECT DISTINCT ?h WHERE { ?h property:ethnic_group resource:Japan . ?h rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
USER
No, I meant Japan. Could you tell me the answer for that?
(c(Q502895),P172,Q17)
Q17
[{'concept': 'Q502895'}, 'P172', 'Q17']
[{'concept': 'common name'}, 'ethnic group', 'Japan']
[]
Q3182094 Q3273427 Q869156
SYSTEM
Manami Yoshii, Nozomi Momoi, Kento Nakajima
Q3182094 Q869156 Q3273427 Q12027134 Q7429095
(c(Q502895),P172,Q17)
action filter_type
action find_reverse
entity Q17
relation P172
type Q502895
[ANSWERS] have that administrative territory as his/her race
[{'concept': 'Q502895'}, 'P172', 'Q17']
SELECT DISTINCT ?h WHERE { ?h property:P172 resource:Q17 . ?h rdf:type ontology:Q502895 }
Manami Yoshii Kento Nakajima Nozomi Momoi Yoshiro Yamashita Sayaka Ando
Manami Yoshii, Nozomi Momoi and Kento Nakajima have that administrative territory as his/her race
Manami Yoshii Nozomi Momoi Kento Nakajima
action filter_type
action find_reverse
entity Japan
relation ethnic group
type common name
[{'concept': 'common name'}, 'ethnic group', 'Japan']
SELECT DISTINCT ?h WHERE { ?h property:ethnic_group resource:Japan . ?h rdf:type ontology:common_name }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q3429935
P841
Q573 Q186081 Q502895
USER
Which people have less number of days or time intervals as their principal feast day than Reticius ?
(c(Q502895),P841,c(Q573)|c(Q186081))
action less
action union
action find_tuple_counts
relation P841
type Q502895
type Q573
action find_tuple_counts
relation P841
type Q502895
type Q186081
action count
action filter_multi_types
action find
entity Q3429935
relation P841
type Q573
type Q186081
[{'concept': 'Q502895'}, 'P841', [{'concept': 'Q573'}, {'concept': 'Q186081'}]]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?g ) AS ?l ) WHERE { { ?h property:P841 ?g . ?h rdf:type ontology:Q502895 . ?g rdf:type ontology:Q573 } UNION { ?h property:P841 ?g . ?g rdf:type ontology:Q186081 . ?h rdf:type ontology:Q502895 } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?n ) WHERE { { { ?k rdf:type ontology:Q573 } UNION { ?k rdf:type ontology:Q186081 } } . resource:Q3429935 property:P841 ?k } } . FILTER ( ?l < ?n ) }
Reticius
action less
action union
action find_tuple_counts
relation feast day
type common name
type day
action find_tuple_counts
relation feast day
type common name
type time interval
action count
action filter_multi_types
action find
entity Reticius
relation feast day
type day
type time interval
[{'concept': 'common name'}, 'feast day', [{'concept': 'day'}, {'concept': 'time interval'}]]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?g ) AS ?l ) WHERE { { ?h property:feast_day ?g . ?h rdf:type ontology:common_name . ?g rdf:type ontology:day } UNION { ?h property:feast_day ?g . ?g rdf:type ontology:time_interval . ?h rdf:type ontology:common_name } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?n ) WHERE { { { ?k rdf:type ontology:day } UNION { ?k rdf:type ontology:time_interval } } . resource:Reticius property:feast_day ?k } } . FILTER ( ?l < ?n ) }
[]
day time interval common name
Q679784 Q3047912 Q167477
SYSTEM
Pier Giorgio Frassati, Seraphina Sforza, Anthony of Padua
Q384117 Q365797 Q3483257 Q679784 Q3483161 Q3483259 Q3483263 Q167477 Q3047912 Q269889 Q2701365
(c(Q502895),P841,c(Q573)|c(Q186081))
action less
action union
action find_tuple_counts
relation P841
type Q502895
type Q573
action find_tuple_counts
relation P841
type Q502895
type Q186081
action count
action filter_multi_types
action find
entity Q3429935
relation P841
type Q573
type Q186081
[ANSWERS] have less number of days or time intervals as their principal feast day than Reticius
[{'concept': 'Q502895'}, 'P841', [{'concept': 'Q573'}, {'concept': 'Q186081'}]]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?g ) AS ?l ) WHERE { { ?h property:P841 ?g . ?h rdf:type ontology:Q502895 . ?g rdf:type ontology:Q573 } UNION { ?h property:P841 ?g . ?g rdf:type ontology:Q186081 . ?h rdf:type ontology:Q502895 } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?n ) WHERE { { { ?k rdf:type ontology:Q573 } UNION { ?k rdf:type ontology:Q186081 } } . resource:Q3429935 property:P841 ?k } } . FILTER ( ?l < ?n ) }
Aignan of Orleans Ahmad al-Tijani Sidi M'hamed Bou Qobrine Pier Giorgio Frassati Sidi Abder Rahman El Thaelebi Sidi M'hand Oumalek Sidi Mansour Anthony of Padua Seraphina Sforza Joanna, wife of Chuza Thomas Percy, 7th Earl of Northumberland
Pier Giorgio Frassati, Seraphina Sforza and Anthony of Padua have less number of days or time intervals as their principal feast day than Reticius
Pier Giorgio Frassati Seraphina Sforza Anthony of Padua
action less
action union
action find_tuple_counts
relation feast day
type common name
type day
action find_tuple_counts
relation feast day
type common name
type time interval
action count
action filter_multi_types
action find
entity Reticius
relation feast day
type day
type time interval
[{'concept': 'common name'}, 'feast day', [{'concept': 'day'}, {'concept': 'time interval'}]]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ?h ( COUNT ( ?g ) AS ?l ) WHERE { { ?h property:feast_day ?g . ?h rdf:type ontology:common_name . ?g rdf:type ontology:day } UNION { ?h property:feast_day ?g . ?g rdf:type ontology:time_interval . ?h rdf:type ontology:common_name } } GROUP BY ?h } . { SELECT DISTINCT ( COUNT ( ?k ) AS ?n ) WHERE { { { ?k rdf:type ontology:day } UNION { ?k rdf:type ontology:time_interval } } . resource:Reticius property:feast_day ?k } } . FILTER ( ?l < ?n ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q2874415
P841
Q573 Q186081 Q502895
USER
And what about Avit de Rouen?
(c(Q502895),P841,c(Q573)|c(Q186081))
action less
action union
action find_tuple_counts
relation P841
type Q502895
type Q573
action find_tuple_counts
relation P841
type Q502895
type Q186081
action count
action filter_multi_types
action find
entity Q2874415
relation P841
type Q573
type Q186081
[{'concept': 'Q502895'}, 'P841', [{'concept': 'Q573'}, {'concept': 'Q186081'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?l ) ?r WHERE { ?z rdf:type ?k . VALUES ( ?k ) { ( ontology:Q573 ) ( ontology:Q186081 ) } } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?u ) WHERE { resource:Q2874415 property:P841 ?a . { VALUES ( ?n ) { ( ontology:Q573 ) ( ontology:Q186081 ) } . ?a rdf:type ?n } } } . FILTER ( ?l < ?u ) }
Avit de Rouen
action less
action union
action find_tuple_counts
relation feast day
type common name
type day
action find_tuple_counts
relation feast day
type common name
type time interval
action count
action filter_multi_types
action find
entity Avit de Rouen
relation feast day
type day
type time interval
[{'concept': 'common name'}, 'feast day', [{'concept': 'day'}, {'concept': 'time interval'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?l ) ?r WHERE { ?z rdf:type ?k . VALUES ( ?k ) { ( ontology:day ) ( ontology:time_interval ) } } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?u ) WHERE { resource:Avit_de_Rouen property:feast_day ?a . { VALUES ( ?n ) { ( ontology:day ) ( ontology:time_interval ) } . ?a rdf:type ?n } } } . FILTER ( ?l < ?u ) }
[]
day time interval common name
Q679784 Q3047912 Q167477
SYSTEM
Pier Giorgio Frassati, Seraphina Sforza, Anthony of Padua
Q384117 Q365797 Q3483257 Q679784 Q3483161 Q3483259 Q3483263 Q167477 Q3047912 Q269889 Q2701365
(c(Q502895),P841,c(Q573)|c(Q186081))
action less
action union
action find_tuple_counts
relation P841
type Q502895
type Q573
action find_tuple_counts
relation P841
type Q502895
type Q186081
action count
action filter_multi_types
action find
entity Q2874415
relation P841
type Q573
type Q186081
[ANSWERS]
[{'concept': 'Q502895'}, 'P841', [{'concept': 'Q573'}, {'concept': 'Q186081'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?l ) ?r WHERE { ?z rdf:type ?k . VALUES ( ?k ) { ( ontology:Q573 ) ( ontology:Q186081 ) } } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?u ) WHERE { resource:Q2874415 property:P841 ?a . { VALUES ( ?n ) { ( ontology:Q573 ) ( ontology:Q186081 ) } . ?a rdf:type ?n } } } . FILTER ( ?l < ?u ) }
Aignan of Orleans Ahmad al-Tijani Sidi M'hamed Bou Qobrine Pier Giorgio Frassati Sidi Abder Rahman El Thaelebi Sidi M'hand Oumalek Sidi Mansour Anthony of Padua Seraphina Sforza Joanna, wife of Chuza Thomas Percy, 7th Earl of Northumberland
Pier Giorgio Frassati Seraphina Sforza Anthony of Padua
action less
action union
action find_tuple_counts
relation feast day
type common name
type day
action find_tuple_counts
relation feast day
type common name
type time interval
action count
action filter_multi_types
action find
entity Avit de Rouen
relation feast day
type day
type time interval
[{'concept': 'common name'}, 'feast day', [{'concept': 'day'}, {'concept': 'time interval'}]]
SELECT DISTINCT ?r WHERE { { SELECT DISTINCT ( COUNT ( ?z ) AS ?l ) ?r WHERE { ?z rdf:type ?k . VALUES ( ?k ) { ( ontology:day ) ( ontology:time_interval ) } } GROUP BY ?r } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?u ) WHERE { resource:Avit_de_Rouen property:feast_day ?a . { VALUES ( ?n ) { ( ontology:day ) ( ontology:time_interval ) } . ?a rdf:type ?n } } } . FILTER ( ?l < ?u ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q706481 Q8016747
P7
Q502895
USER
Which people are the brother of William Penn or Berenguer Ramon, Count of Provence ?
OR((Q8016747,P7,c(Q502895)), (Q706481,P7,c(Q502895)))
action filter_type
action union
action find
entity Q8016747
relation P7
action find
entity Q706481
relation P7
type Q502895
{'OR': [['Q8016747', 'P7', {'concept': 'Q502895'}], ['Q706481', 'P7', {'concept': 'Q502895'}]]}
SELECT DISTINCT ?y WHERE { { ?z property:P7 ?y . VALUES ( ?z ) { ( resource:Q706481 ) ( resource:Q8016747 ) } } . ?y rdf:type ontology:Q502895 }
Berenguer Ramon, Count of Provence William Penn
action filter_type
action union
action find
entity William Penn
relation brother
action find
entity Berenguer Ramon, Count of Provence
relation brother
type common name
{'OR': [['William Penn', 'brother', {'concept': 'common name'}], ['Berenguer Ramon, Count of Provence', 'brother', {'concept': 'common name'}]]}
SELECT DISTINCT ?y WHERE { { ?z property:brother ?y . VALUES ( ?z ) { ( resource:Berenguer_Ramon,_Count_of_Provence ) ( resource:William_Penn ) } } . ?y rdf:type ontology:common_name }
[]
common name
Q7328353 Q319439 Q7793095 Q6252485
SYSTEM
Richard Penn, Ramon Berenguer IV, Count of Barcelona, Thomas Penn, John Penn
Q7328353 Q319439 Q7793095 Q6252485
OR((Q8016747,P7,c(Q502895)), (Q706481,P7,c(Q502895)))
action filter_type
action union
action find
entity Q8016747
relation P7
action find
entity Q706481
relation P7
type Q502895
[ANSWERS] are the brother of William Penn or Berenguer Ramon, Count of Provence
{'OR': [['Q8016747', 'P7', {'concept': 'Q502895'}], ['Q706481', 'P7', {'concept': 'Q502895'}]]}
SELECT DISTINCT ?y WHERE { { ?z property:P7 ?y . VALUES ( ?z ) { ( resource:Q706481 ) ( resource:Q8016747 ) } } . ?y rdf:type ontology:Q502895 }
Richard Penn Ramon Berenguer IV, Count of Barcelona Thomas Penn John Penn
Richard Penn, Ramon Berenguer IV, Count of Barcelona, Thomas Penn and John Penn are the brother of William Penn or Berenguer Ramon, Count of Provence
Richard Penn Ramon Berenguer IV, Count of Barcelona Thomas Penn John Penn
action filter_type
action union
action find
entity William Penn
relation brother
action find
entity Berenguer Ramon, Count of Provence
relation brother
type common name
{'OR': [['William Penn', 'brother', {'concept': 'common name'}], ['Berenguer Ramon, Count of Provence', 'brother', {'concept': 'common name'}]]}
SELECT DISTINCT ?y WHERE { { ?z property:brother ?y . VALUES ( ?z ) { ( resource:Berenguer_Ramon,_Count_of_Provence ) ( resource:William_Penn ) } } . ?y rdf:type ontology:common_name }
[]