Simple Question (Direct)
Simple Question
Q90236
P734
Q82799
USER
Who has the surname Ludwig Döderlein ?
(Q90236,P734,c(Q82799))
action filter_type
action find
entity Q90236
relation P734
type Q82799
['Q90236', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?l WHERE { resource:Q90236 property:P734 ?l . ?l rdf:type ontology:Q82799 }
Ludwig Döderlein
action filter_type
action find
entity Ludwig Döderlein
relation family name
type name
['Ludwig Döderlein', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?l WHERE { resource:Ludwig_Döderlein property:family_name ?l . ?l rdf:type ontology:name }
[]
name
Q26094954
SYSTEM
Döderlein
Q26094954
(Q90236,P734,c(Q82799))
action filter_type
action find
entity Q90236
relation P734
type Q82799
[ANSWER] has the surname Ludwig [ANSWER]
['Q90236', 'P734', {'concept': 'Q82799'}]
SELECT DISTINCT ?l WHERE { resource:Q90236 property:P734 ?l . ?l rdf:type ontology:Q82799 }
Döderlein
Döderlein has the surname Ludwig Döderlein
Döderlein
action filter_type
action find
entity Ludwig Döderlein
relation family name
type name
['Ludwig Döderlein', 'family name', {'concept': 'name'}]
SELECT DISTINCT ?l WHERE { resource:Ludwig_Döderlein property:family_name ?l . ?l rdf:type ontology:name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q90236
P20
Q515
USER
Where did that person die ?
(Q26094954,P20,c(Q515))
action filter_type
action find
entity Q90236
relation P20
type Q515
['Q26094954', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?t WHERE { resource:Q90236 property:P20 ?t . ?t rdf:type ontology:Q515 }
Ludwig Döderlein
action filter_type
action find
entity Ludwig Döderlein
relation place of death
type city
['Döderlein', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?t WHERE { resource:Ludwig_Döderlein property:place_of_death ?t . ?t rdf:type ontology:city }
[]
city
Q3126
SYSTEM
Erlangen
Q3126
(Q26094954,P20,c(Q515))
action filter_type
action find
entity Q90236
relation P20
type Q515
That person died in [ANSWER]
['Q26094954', 'P20', {'concept': 'Q515'}]
SELECT DISTINCT ?t WHERE { resource:Q90236 property:P20 ?t . ?t rdf:type ontology:Q515 }
Erlangen
That person died in Erlangen
Erlangen
action filter_type
action find
entity Ludwig Döderlein
relation place of death
type city
['Döderlein', 'place of death', {'concept': 'city'}]
SELECT DISTINCT ?t WHERE { resource:Ludwig_Döderlein property:place_of_death ?t . ?t rdf:type ontology:city }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q26972674
P361
Q853614 Q8436 Q82799
USER
Which names are a part of less number of identifiers or families than Thijs ?
(c(Q82799),P361,c(Q853614)|c(Q8436))
action less
action union
action find_tuple_counts
relation P361
type Q82799
type Q853614
action find_tuple_counts
relation P361
type Q82799
type Q8436
action count
action filter_multi_types
action find
entity Q26972674
relation P361
type Q853614
type Q8436
[{'concept': 'Q82799'}, 'P361', [{'concept': 'Q853614'}, {'concept': 'Q8436'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?x ) AS ?y ) WHERE { ?x rdf:type ?z . VALUES ( ?z ) { ( ontology:Q8436 ) ( ontology:Q853614 ) } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?r ) WHERE { resource:Q26972674 property:P361 ?w . { { ?w rdf:type ontology:Q8436 } UNION { ?w rdf:type ontology:Q853614 } } } } . FILTER ( ?y < ?r ) }
Thijs
action less
action union
action find_tuple_counts
relation part of
type name
type identifier
action find_tuple_counts
relation part of
type name
type family
action count
action filter_multi_types
action find
entity Thijs
relation part of
type identifier
type family
[{'concept': 'name'}, 'part of', [{'concept': 'identifier'}, {'concept': 'family'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?x ) AS ?y ) WHERE { ?x rdf:type ?z . VALUES ( ?z ) { ( ontology:family ) ( ontology:identifier ) } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?r ) WHERE { resource:Thijs property:part_of ?w . { { ?w rdf:type ontology:family } UNION { ?w rdf:type ontology:identifier } } } } . FILTER ( ?y < ?r ) }
[]
identifier family name
Q1058384 Q27352651 Q27350540
SYSTEM
hakham, Seon, Sang
Q2168099 Q5791319 Q11283653 Q26156283 Q1058384 Q7071783 Q15629245 Q16882305 Q1240901 Q24251030 Q1093580 Q10145967 Q252216 Q272914 Q2553935 Q18645909 Q15238609 Q25695405 Q24091156 Q20875974 Q3281200 Q26266311 Q10587130 Q15926381 Q19687637 Q21470412 Q21534988 Q21405537 Q26266310 Q12624980 Q2876425 Q5 Q631147 Q27651154 Q26736681 Q27352651 Q15788891 Q4400681 Q12600404 Q21484879 Q24090418 Q382004 Q12601635 Q5461714 Q27350540 Q1399288 Q2491016 Q1557998 Q19831835 Q27450724 Q15711050 Q26736416 Q26736415 Q26741038 Q1915243 Q263542 Q21484914 Q4835658 Q746990 Q20064977 Q876933 Q21538548 Q5034376 Q26741034 Q861966
(c(Q82799),P361,c(Q853614)|c(Q8436))
action less
action union
action find_tuple_counts
relation P361
type Q82799
type Q853614
action find_tuple_counts
relation P361
type Q82799
type Q8436
action count
action filter_multi_types
action find
entity Q26972674
relation P361
type Q853614
type Q8436
[ANSWERS] are a part of less number of identifiers or families than Thijs
[{'concept': 'Q82799'}, 'P361', [{'concept': 'Q853614'}, {'concept': 'Q8436'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?x ) AS ?y ) WHERE { ?x rdf:type ?z . VALUES ( ?z ) { ( ontology:Q8436 ) ( ontology:Q853614 ) } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?r ) WHERE { resource:Q26972674 property:P361 ?w . { { ?w rdf:type ontology:Q8436 } UNION { ?w rdf:type ontology:Q853614 } } } } . FILTER ( ?y < ?r ) }
human Rotavirusses Tajinaste Czech family name Whittingstall hakham O'Donovan family lizard Rostopchin praenomen Barnaby Han surname Grand Master of the Teutonic Knights Árnadóttir Çubukçubaşı Wedekind Abe nomen Curtis Abe Ševela Tent caterpillar Trimnell Moa He Rahim Tyrell Yaşar Edward Ritchard Hyeon Aïssata human infraspecific name Gottlieb Veit Seon Blake Russian surname Sang Salman Hara Afa-Negus Seon Florida black bass Sang Fearnley orthographical variant Gyalwang Drukpa Qutb Freundel Lu Roveda Roveda Patti McKeown Griffith Clay BIFF Brahman Dong magi Biff Caomhánach Patti dung beetles
Hakham, Seon and Sang are a part of less number of identifiers or families than Thijs
hakham Seon Sang
action less
action union
action find_tuple_counts
relation part of
type name
type identifier
action find_tuple_counts
relation part of
type name
type family
action count
action filter_multi_types
action find
entity Thijs
relation part of
type identifier
type family
[{'concept': 'name'}, 'part of', [{'concept': 'identifier'}, {'concept': 'family'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?x ) AS ?y ) WHERE { ?x rdf:type ?z . VALUES ( ?z ) { ( ontology:family ) ( ontology:identifier ) } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?w ) AS ?r ) WHERE { resource:Thijs property:part_of ?w . { { ?w rdf:type ontology:family } UNION { ?w rdf:type ontology:identifier } } } } . FILTER ( ?y < ?r ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q26094954
P734 P21
Q502895
USER
Which people have Döderlein as surname and have the gender as male ?
AND((c(Q502895),P734,Q26094954), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q26094954
relation P734
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P734', 'Q26094954'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q502895 . ?p property:P734 resource:Q26094954 . ?p property:P21 resource:Q6581097 }
male Döderlein
action filter_type
action intersection
action find_reverse
entity Döderlein
relation family name
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'family name', 'Döderlein'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:common_name . ?p property:family_name resource:Döderlein . ?p property:gender resource:male }
[]
common name
Q90236 Q68199 Q1452259 Q110439 Q1078747 Q1555740 Q49698 Q21341844 Q91510
SYSTEM
Ludwig Döderlein, Albert Döderlein, Fred Döderlein, Johann Christoph Döderlein, Christian Albrecht Döderlein, Gustav Döderlein, Johann Alexander Döderlein, Petar Döderlein, Ludwig Döderlein
Q90236 Q68199 Q1452259 Q110439 Q1078747 Q1555740 Q49698 Q21341844 Q91510
AND((c(Q502895),P734,Q26094954), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q26094954
relation P734
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS] have Döderlein as surname and have the gender as male
{'AND': [[{'concept': 'Q502895'}, 'P734', 'Q26094954'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q502895 . ?p property:P734 resource:Q26094954 . ?p property:P21 resource:Q6581097 }
Ludwig Döderlein Albert Döderlein Fred Döderlein Johann Christoph Döderlein Christian Albrecht Döderlein Gustav Döderlein Johann Alexander Döderlein Petar Döderlein Ludwig Döderlein
Ludwig Döderlein, Albert Döderlein, Fred Döderlein, Johann Christoph Döderlein, Christian Albrecht Döderlein, Gustav Döderlein, Johann Alexander Döderlein, Petar Döderlein and Ludwig Döderlein have Döderlein as surname and have the gender as male
Ludwig Döderlein Albert Döderlein Fred Döderlein Johann Christoph Döderlein Christian Albrecht Döderlein Gustav Döderlein Johann Alexander Döderlein Petar Döderlein Ludwig Döderlein
action filter_type
action intersection
action find_reverse
entity Döderlein
relation family name
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'family name', 'Döderlein'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:common_name . ?p property:family_name resource:Döderlein . ?p property:gender resource:male }
[]
Clarification
Simple Question|Single Entity|Indirect
Q68199
P937
Q56061
USER
Which administrative territory is the work location of that person ?
(Q68199,P937,c(Q56061))
action filter_type
action find
entity Q68199
relation P937
type Q56061
['Q68199', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?t WHERE { resource:Q68199 property:P937 ?t . ?t rdf:type ontology:Q56061 }
Albert Döderlein
action filter_type
action find
entity Albert Döderlein
relation work location
type administrative territorial entity
['Albert Döderlein', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { resource:Albert_Döderlein property:work_location ?t . ?t rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Clarification for simple ques.
Q21341844
SYSTEM
Did you mean Petar Döderlein ?
Q90236 Q68199 Q1452259 Q110439 Q1078747 Q1555740 Q49698 Q21341844 Q91510
(Q90236,P937,c(Q56061)) (Q68199,P937,c(Q56061)) (Q1452259,P937,c(Q56061)) (Q110439,P937,c(Q56061)) (Q1078747,P937,c(Q56061)) (Q1555740,P937,c(Q56061)) (Q49698,P937,c(Q56061)) (Q21341844,P937,c(Q56061)) (Q91510,P937,c(Q56061))
[ANSWER]
['Q90236', 'P937', {'concept': 'Q56061'}] ['Q68199', 'P937', {'concept': 'Q56061'}] ['Q1452259', 'P937', {'concept': 'Q56061'}] ['Q110439', 'P937', {'concept': 'Q56061'}] ['Q1078747', 'P937', {'concept': 'Q56061'}] ['Q1555740', 'P937', {'concept': 'Q56061'}] ['Q49698', 'P937', {'concept': 'Q56061'}] ['Q21341844', 'P937', {'concept': 'Q56061'}] ['Q91510', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?t WHERE { resource:Q68199 property:P937 ?t . ?t rdf:type ontology:Q56061 }
Ludwig Döderlein Albert Döderlein Fred Döderlein Johann Christoph Döderlein Christian Albrecht Döderlein Gustav Döderlein Johann Alexander Döderlein Petar Döderlein Ludwig Döderlein
Did you mean Petar Döderlein ?
Petar Döderlein
['Ludwig Döderlein', 'work location', {'concept': 'administrative territorial entity'}] ['Albert Döderlein', 'work location', {'concept': 'administrative territorial entity'}] ['Fred Döderlein', 'work location', {'concept': 'administrative territorial entity'}] ['Johann Christoph Döderlein', 'work location', {'concept': 'administrative territorial entity'}] ['Christian Albrecht Döderlein', 'work location', {'concept': 'administrative territorial entity'}] ['Gustav Döderlein', 'work location', {'concept': 'administrative territorial entity'}] ['Johann Alexander Döderlein', 'work location', {'concept': 'administrative territorial entity'}] ['Petar Döderlein', 'work location', {'concept': 'administrative territorial entity'}] ['Ludwig Döderlein', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { resource:Albert_Döderlein property:work_location ?t . ?t rdf:type ontology:administrative_territorial_entity }
[]
Simple Question (Coreferenced)
USER
No, I meant Albert Döderlein. Could you tell me the answer for that?
(Q68199,P937,c(Q56061))
Q68199
['Q68199', 'P937', {'concept': 'Q56061'}]
['Albert Döderlein', 'work location', {'concept': 'administrative territorial entity'}]
[]
Q1726
SYSTEM
Munich
Q1726
(Q68199,P937,c(Q56061))
action filter_type
action find
entity Q68199
relation P937
type Q56061
[ANSWER] is the work location of that person
['Q68199', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?t WHERE { resource:Q68199 property:P937 ?t . ?t rdf:type ontology:Q56061 }
Munich
Munich is the work location of that person
Munich
action filter_type
action find
entity Albert Döderlein
relation work location
type administrative territorial entity
['Albert Döderlein', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?t WHERE { resource:Albert_Döderlein property:work_location ?t . ?t rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q1726 Q1630641 Q1899
P190
Q515
USER
Is that administrative territory twin town of Hostomice and Kyiv ?
(Q1726,P190,Q1630641) (Q1726,P190,Q1899)
action is_in
entity Q1726
action intersection
action find_reverse
entity Q1630641
relation P190
action find_reverse
entity Q1899
relation P190
['Q1726', 'P190', 'Q1630641'] ['Q1726', 'P190', 'Q1899']
ASK WHERE { resource:Q1726 property:P190 resource:Q1630641 . resource:Q1726 property:P190 resource:Q1899 }
Munich Hostomice Kyiv
action is_in
entity Munich
action intersection
action find_reverse
entity Hostomice
relation sister city
action find_reverse
entity Kyiv
relation sister city
['Munich', 'sister city', 'Hostomice'] ['Munich', 'sister city', 'Kyiv']
ASK WHERE { resource:Munich property:sister_city resource:Hostomice . resource:Munich property:sister_city resource:Kyiv }
[]
city
SYSTEM
NO and YES respectively
(Q1726,P190,Q1630641) (Q1726,P190,Q1899)
action is_in
entity Q1726
action intersection
action find_reverse
entity Q1630641
relation P190
action find_reverse
entity Q1899
relation P190
[ANSWER]
['Q1726', 'P190', 'Q1630641'] ['Q1726', 'P190', 'Q1899']
ASK WHERE { resource:Q1726 property:P190 resource:Q1630641 . resource:Q1726 property:P190 resource:Q1899 }
NO and YES respectively
action is_in
entity Munich
action intersection
action find_reverse
entity Hostomice
relation sister city
action find_reverse
entity Kyiv
relation sister city
['Munich', 'sister city', 'Hostomice'] ['Munich', 'sister city', 'Kyiv']
ASK WHERE { resource:Munich property:sister_city resource:Hostomice . resource:Munich property:sister_city resource:Kyiv }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P1441
Q2342494 Q838948 Q502895
USER
Which people appear in atmost 4 collectables or works of art ?
(c(Q502895),P1441,c(Q2342494)|c(Q838948))
action atmost
action union
action find_tuple_counts
relation P1441
type Q502895
type Q2342494
action find_tuple_counts
relation P1441
type Q502895
type Q838948
value 4
[{'concept': 'Q502895'}, 'P1441', [{'concept': 'Q2342494'}, {'concept': 'Q838948'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) ?l WHERE { ?d rdf:type ?g . VALUES ( ?g ) { ( ontology:Q2342494 ) ( ontology:Q838948 ) } } GROUP BY ?l } . FILTER ( ?k <= 4 ) }
action atmost
action union
action find_tuple_counts
relation present in work
type common name
type collectable
action find_tuple_counts
relation present in work
type common name
type work of art
value 4
[{'concept': 'common name'}, 'present in work', [{'concept': 'collectable'}, {'concept': 'work of art'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) ?l WHERE { ?d rdf:type ?g . VALUES ( ?g ) { ( ontology:collectable ) ( ontology:work_of_art ) } } GROUP BY ?l } . FILTER ( ?k <= 4 ) }
[]
collectable work of art common name
Q41370 Q9181 Q17457
SYSTEM
David, Abraham, Donald Knuth
Q41863 Q603233 Q660359 Q2447493 Q80048 Q529984 Q23885172 Q1143157 Q4430779 Q1341397 Q249381 Q232525 Q194064 Q240258 Q24579400 Q466687 Q7307192 Q321469 Q18699270 Q319116 Q18699272 Q12591 Q213633 Q131195 Q221514 Q30914 Q2426699 Q937827 Q24624067 Q4057937 Q214648 Q2574151 Q160116 Q785349 Q2052042 Q318912 Q18699312 Q3858588 Q4154984 Q4006447 Q363623 Q3343834 Q211663 Q176125 Q2451581 Q2046277 Q8423 Q715713 Q24577230 Q1938388 Q2040793 Q494455 Q673959 Q185801 Q6239779 Q125102 Q34428 Q2033697 Q954820 Q244912 Q313216 Q313214 Q24622402 Q645796 Q361636 Q20656752 Q205523 Q1281177 Q311556 Q1353836 Q294192 Q19975705 Q560559 Q807236 Q25885222 Q1867479 Q134646 Q2256348 Q879668 Q1686571 Q1675214 Q2170784 Q188794 Q844433 Q181538 Q24623408 Q28730 Q200902 Q3798672 Q8413 Q2600794 Q126689 Q2282686 Q459606 Q145746 Q437417 Q463934 Q721295 Q3778878 Q3774081 Q1403627 Q1133523 Q1348720 Q24624893 Q1396131 Q3591188 Q716237 Q2264125 Q608841 Q1133337 Q41370 Q200637 Q2124082 Q3259530 Q24625686 Q81422 Q3187975 Q2116944 Q3783913 Q2137929 Q315276 Q946939 Q888890 Q3148218 Q24577318 Q515828 Q24625326 Q1771358 Q25858050 Q26858752 Q923021 Q272277 Q460763 Q24633210 Q205372 Q715547 Q717814 Q3745274 Q3867479 Q830183 Q1446 Q1641601 Q6577515 Q63070 Q7493584 Q19348839 Q1300996 Q2073479 Q851686 Q1333225 Q40662 Q206238 Q400294 Q2723049 Q922184 Q1093885 Q156328 Q1346246 Q3785031 Q1768161 Q2578955 Q6323112 Q171724 Q3010053 Q550255 Q889694 Q1851709 Q8027483 Q816397 Q164889 Q24625073 Q27621044 Q1380878 Q16879711 Q24623579 Q366070 Q2038223 Q1377025 Q2276030 Q264699 Q313415 Q270438 Q360378 Q2711883 Q363660 Q665541 Q1516550 Q886399 Q840401 Q1341779 Q326585 Q109920 Q536019 Q213850 Q74891 Q45090 Q972487 Q336832 Q313395 Q1941782 Q2304442 Q8581 Q2651263 Q1542853 Q24577238 Q209793 Q24632700 Q1808889 Q587893 Q24626363 Q2685920 Q256076 Q184273 Q107626 Q205365 Q32295 Q24633126 Q477527 Q1091513 Q3658171 Q2601106 Q18699310 Q62788 Q4804479 Q26721185 Q2292243 Q2448083 Q313421 Q313423 Q633681 Q362021 Q24623790 Q2296791 Q200947 Q24083251 Q262766 Q9181 Q1947936 Q225198 Q211396 Q25923184 Q313228 Q2075711 Q312311 Q2361344 Q3275910 Q536485 Q273517 Q3752551 Q671872 Q169329 Q2477603 Q110436 Q16845969 Q23906252 Q2519772 Q879088 Q192785 Q302322 Q308320 Q183089 Q7734 Q3761044 Q2168182 Q878882 Q76721 Q1030008 Q26858995 Q2487300 Q319049 Q283466 Q18699300 Q9441 Q18699268 Q372783 Q16006746 Q17457 Q786748 Q24626010 Q229702 Q574641 Q26858919 Q2590260 Q2047062 Q599907 Q1227361 Q282220 Q313237
(c(Q502895),P1441,c(Q2342494)|c(Q838948))
action atmost
action union
action find_tuple_counts
relation P1441
type Q502895
type Q2342494
action find_tuple_counts
relation P1441
type Q502895
type Q838948
value 4
[ANSWERS] appear in atmost 4 collectables or works of art
[{'concept': 'Q502895'}, 'P1441', [{'concept': 'Q2342494'}, {'concept': 'Q838948'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) ?l WHERE { ?d rdf:type ?g . VALUES ( ?g ) { ( ontology:Q2342494 ) ( ontology:Q838948 ) } } GROUP BY ?l } . FILTER ( ?k <= 4 ) }
Halga Julius Asclepiodotus Cecco Angiolieri Ferrex Al Capone Eric Anundsson Victor Petit Jair Immanuel Michal Markandeya Theodelinda Ezekiel Olof Björnsson Jebidiah Farnsworth Damaris Refil Abishag Achim Nathan Eliud Nebuchadnezzar II Deborah Constantius Chlorus Manoah Ahaz Dyfnwal Moelmud Delilah Bea Hansen Adoniram Samson Sisillius III Alexander III Cangrande I della Scala Mempricius Eric the Victorious Jacob Mino da San Quirico Kai Darab Urianus Cassivellaunus Norman Winther Rehoboam Gideon Cordelia of Britain Parikshit Cyrus the Great Salvatore Maranzano Harriet Mutesi Miriam Reu Orville Wright Leil Mikhail Kutuzov John Hooper Necho II Philip Sisillius I Yael Hezekiah Uzziah Ahaziah of Judah Frank Fauteux Ibzan Amnon Bernard C. Webber Zipporah Beowulf Allectus Hrothgar Guy of Lusignan Daniel Webster Cluff Constans II Barak James Harcourt Jago of Britain Boniface VIII Shealtiel Björn Ironside Jehu Ithamar Anund Uppsale Isaiah Kenan Rudolf Abel Eldon Hanan Saul Shem Ingeld Constantine the Great Erik Björnsson Jehoshaphat Locrinus Ambrosius Aurelianus Joseph Cunobeline Athaliah Jezebel Guglielmo Borsiere Gracianus Municeps Hrethel Jephthah Guy de Montfort, Count of Nola Raymond Sybert Wilbur Wright Erik Refilsson Song Jiang Bladud Arvirargus Abner David Japheth Azzo VIII d'Este, Marquis of Ferrara Loretta Jones Andy Fitzgerald Noah Judith Wealhþeow Heardred Gurgustius Agilulf Phut Nahor Ignacy Przybyszewski Sara Katende Tasciovanus Miriam Webber Salomon Helen Kingsleigh Sarah Katende Gorboduc Bathsheba Benjamin George "Tiny" Myers Absalom Mandubracius Hadadezer Filippo Minutolo Musciatto Franzesi Eve Caracalla Tattenai Samuel Mary Magdalene Sheleph Salammbô Ehud Shaunaka Mephibosheth Elon John the Baptist Elisha Ahitophel Mayasura Caleb Hathi Manasseh of Judah Johnny Ringo Heoroweard Islamic views on Abraham Porrex I Nahor Daniel Céleste de Chateaubriand J. William Fulbright Hygelac Rud Hud Hudibras Wise woman of Abel Ben-Hadad I Manfred, King of Sicily Richard Livesey Davy Brown Vortimer Sage Animandaya Wallace Quirey George William Russell Amminadab Bharata Archmail Wil Wheaton Asa of Judah Charles of Valois Adonijah Gurguit Barbtruc Elimelek Hosea Shamgar Maelgwn Gwynedd Laban Kai Lohrasp Vortigern Jotham of Judah Ecgþeow Amos Jonathan Jesse Buonamico Buffalmacco Jehoahaz of Judah Authari Nadabe Coel Hen Saladin Trahern Alphaeus Robert Katende Constantine III John Stello Kimarcus Sisillius II Mel Gouthro Bledudo Cunedagius Zedekiah Seth Cain Michael J. Massimino Donald Bangs Amram Son of Gorbonianus Phiona Mutesi Rukmi Matthan Jethro Ash Vasudevan Lena Gogan Rivallo Brutus Greenshield Abel Amon of Judah Björn Eriksson Eli D.A. Brown Molly Bloom Ahmad ibn Fadlan Stan the Man Junia Abraham Beldgabred Belshazzar Magnus Maximus Elizabeth Ham Josiah Andragius Peter III of Aragon Durvasa Anne Françoise Elisabeth Lange Othniel Abijah of Judah Freawaru Isaac Conrad of Montferrat Vaisampayana Cory Doctorow Hygd Caf' Francisco Sawyl Penuchel Björn at Haugi Goliath Calandrino Abdon Publius Septimius Geta Joshua Geri Spini Ebraucus Togodumnus Godfrey of Bouillon Tamar Aloysius Kyazze Cunedda Jeconiah Roger of Lauria Eleazar Gautama Buddha Zadok Adrian Cronauer James B. Donovan Donald Knuth Pedro González de Mendoza Ervin Maske Ham Balaam Hope Katende Ahijah the Shilonite Marius of Britain Baruch ben Neriah John of Procida Judah Amaziah of Judah
David, Abraham and Donald Knuth appear in atmost 4 collectables or works of art
David Abraham Donald Knuth
action atmost
action union
action find_tuple_counts
relation present in work
type common name
type collectable
action find_tuple_counts
relation present in work
type common name
type work of art
value 4
[{'concept': 'common name'}, 'present in work', [{'concept': 'collectable'}, {'concept': 'work of art'}]]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) ?l WHERE { ?d rdf:type ?g . VALUES ( ?g ) { ( ontology:collectable ) ( ontology:work_of_art ) } } GROUP BY ?l } . FILTER ( ?k <= 4 ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P1303
Q34379 Q502895
USER
How many musical instruments can approximately 3008 people perform with ?
(c(Q502895),P1303,c(Q34379))
action count
action approx
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
value 3008
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?z ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?b ) AS ?k ) WHERE { ?b property:P1303 ?p . ?p rdf:type ontology:Q34379 . ?b rdf:type ontology:Q502895 } GROUP BY ?p } . FILTER ( ?k = 3008 ) }
action count
action approx
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
value 3008
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?z ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?b ) AS ?k ) WHERE { ?b property:instrument ?p . ?p rdf:type ontology:musical_instrument . ?b rdf:type ontology:common_name } GROUP BY ?p } . FILTER ( ?k = 3008 ) }
[]
musical instrument common name
SYSTEM
3
Q8355 Q1444 Q128309
(c(Q502895),P1303,c(Q34379))
action count
action approx
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
value 3008
[ANSWER]
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?z ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?b ) AS ?k ) WHERE { ?b property:P1303 ?p . ?p rdf:type ontology:Q34379 . ?b rdf:type ontology:Q502895 } GROUP BY ?p } . FILTER ( ?k = 3008 ) }
violin organ drum kit
3
action count
action approx
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
value 3008
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ( COUNT ( ?p ) AS ?z ) WHERE { { SELECT DISTINCT ?p ( COUNT ( ?b ) AS ?k ) WHERE { ?b property:instrument ?p . ?p rdf:type ontology:musical_instrument . ?b rdf:type ontology:common_name } GROUP BY ?p } . FILTER ( ?k = 3008 ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q90236
P21 P40
Q502895
USER
Which people have Ludwig Döderlein as an offspring and have the gender as male ?
AND((c(Q502895),P40,Q90236), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q90236
relation P40
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P40', 'Q90236'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?s WHERE { ?s property:P21 resource:Q6581097 . ?s property:P40 resource:Q90236 . ?s rdf:type ontology:Q502895 }
male Ludwig Döderlein
action filter_type
action intersection
action find_reverse
entity Ludwig Döderlein
relation child
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'child', 'Ludwig Döderlein'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?s WHERE { ?s property:gender resource:male . ?s property:child resource:Ludwig_Döderlein . ?s rdf:type ontology:common_name }
[]
common name
Q110439
SYSTEM
Johann Christoph Döderlein
Q110439
AND((c(Q502895),P40,Q90236), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q90236
relation P40
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWER] have Ludwig Döderlein as an offspring and have the gender as male
{'AND': [[{'concept': 'Q502895'}, 'P40', 'Q90236'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?s WHERE { ?s property:P21 resource:Q6581097 . ?s property:P40 resource:Q90236 . ?s rdf:type ontology:Q502895 }
Johann Christoph Döderlein
Johann Christoph Döderlein have Ludwig Döderlein as an offspring and have the gender as male
Johann Christoph Döderlein
action filter_type
action intersection
action find_reverse
entity Ludwig Döderlein
relation child
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'child', 'Ludwig Döderlein'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?s WHERE { ?s property:gender resource:male . ?s property:child resource:Ludwig_Döderlein . ?s rdf:type ontology:common_name }
[]