Simple Question (Direct)
Simple Question
Q1411381
P21
Q290
USER
Which sex does Rosemary Goldie belong to ?
(Q1411381,P21,c(Q290))
action filter_type
action find
entity Q1411381
relation P21
type Q290
['Q1411381', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?s WHERE { resource:Q1411381 property:P21 ?s . ?s rdf:type ontology:Q290 }
Rosemary Goldie
action filter_type
action find
entity Rosemary Goldie
relation gender
type sex
['Rosemary Goldie', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?s WHERE { resource:Rosemary_Goldie property:gender ?s . ?s rdf:type ontology:sex }
[]
sex
Q6581072
SYSTEM
female
Q6581072
(Q1411381,P21,c(Q290))
action filter_type
action find
entity Q1411381
relation P21
type Q290
Rosemary Goldie belongs to [ANSWER]
['Q1411381', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?s WHERE { resource:Q1411381 property:P21 ?s . ?s rdf:type ontology:Q290 }
female
Rosemary Goldie belongs to female
female
action filter_type
action find
entity Rosemary Goldie
relation gender
type sex
['Rosemary Goldie', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?s WHERE { resource:Rosemary_Goldie property:gender ?s . ?s rdf:type ontology:sex }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1411381
P20
Q15700808
USER
Where did that person die ?
(Q6581072,P20,c(Q15700808))
action filter_type
action find
entity Q1411381
relation P20
type Q15700808
['Q6581072', 'P20', {'concept': 'Q15700808'}]
SELECT DISTINCT ?v WHERE { resource:Q1411381 property:P20 ?v . ?v rdf:type ontology:Q15700808 }
Rosemary Goldie
action filter_type
action find
entity Rosemary Goldie
relation place of death
type urban unit definition
['female', 'place of death', {'concept': 'urban unit definition'}]
SELECT DISTINCT ?v WHERE { resource:Rosemary_Goldie property:place_of_death ?v . ?v rdf:type ontology:urban_unit_definition }
[]
urban unit definition
Q509716
SYSTEM
Manly
Q509716
(Q6581072,P20,c(Q15700808))
action filter_type
action find
entity Q1411381
relation P20
type Q15700808
That person died in [ANSWER]
['Q6581072', 'P20', {'concept': 'Q15700808'}]
SELECT DISTINCT ?v WHERE { resource:Q1411381 property:P20 ?v . ?v rdf:type ontology:Q15700808 }
Manly
That person died in Manly
Manly
action filter_type
action find
entity Rosemary Goldie
relation place of death
type urban unit definition
['female', 'place of death', {'concept': 'urban unit definition'}]
SELECT DISTINCT ?v WHERE { resource:Rosemary_Goldie property:place_of_death ?v . ?v rdf:type ontology:urban_unit_definition }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q509716 Q408
P17
Q1048835
USER
Is Manly a part of Australia ?
(Q509716,P17,Q408)
action is_in
entity Q408
action find
entity Q509716
relation P17
['Q509716', 'P17', 'Q408']
ASK WHERE { resource:Q509716 property:P17 resource:Q408 }
Manly Australia
action is_in
entity Australia
action find
entity Manly
relation country
['Manly', 'country', 'Australia']
ASK WHERE { resource:Manly property:country resource:Australia }
[]
political territorial entity
SYSTEM
YES
(Q509716,P17,Q408)
action is_in
entity Q408
action find
entity Q509716
relation P17
[ANSWER]
['Q509716', 'P17', 'Q408']
ASK WHERE { resource:Q509716 property:P17 resource:Q408 }
Yes
action is_in
entity Australia
action find
entity Manly
relation country
['Manly', 'country', 'Australia']
ASK WHERE { resource:Manly property:country resource:Australia }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P138
Q2235308 Q15700808
USER
Which ship types are namesakes of min number of urban unit definitions ?
(c(Q15700808),P138,Q689046)
action argmin
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q15700808
[{'concept': 'Q15700808'}, 'P138', 'Q689046']
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( MIN ( ?h ) AS ?q ) { SELECT DISTINCT ?r ( COUNT ( ?t ) AS ?h ) WHERE { ?t property:P138 ?r . ?t rdf:type ontology:Q15700808 . ?r rdf:type ontology:Q2235308 } GROUP BY ?r } } . { SELECT DISTINCT ?a ( COUNT ( ?z ) AS ?p ) WHERE { ?z property:P138 ?a . ?a rdf:type ontology:Q2235308 . ?z rdf:type ontology:Q15700808 } GROUP BY ?a } . FILTER ( ?p = ?q ) }
action argmin
action find_reverse_tuple_counts
relation named after
type ship type
type urban unit definition
[{'concept': 'urban unit definition'}, 'named after', 'German cruiser Königsberg']
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( MIN ( ?h ) AS ?q ) { SELECT DISTINCT ?r ( COUNT ( ?t ) AS ?h ) WHERE { ?t property:named_after ?r . ?t rdf:type ontology:urban_unit_definition . ?r rdf:type ontology:ship_type } GROUP BY ?r } } . { SELECT DISTINCT ?a ( COUNT ( ?z ) AS ?p ) WHERE { ?z property:named_after ?a . ?a rdf:type ontology:ship_type . ?z rdf:type ontology:urban_unit_definition } GROUP BY ?a } . FILTER ( ?p = ?q ) }
[]
ship type urban unit definition
Q280710 Q4442824 Q1444474
SYSTEM
HMS Invincible, HMS Spica, HMS Queen Elizabeth
Q1548116 Q574079 Q1752985 Q5634305 Q389965 Q13422371 Q1564757 Q2290619 Q2259226 Q35926 Q4383934 Q2557165 Q1032062 Q1778372 Q1483548 Q1254229 Q9364230 Q827360 Q2371 Q3940407 Q155222 Q4993491 Q749820 Q194096 Q1469689 Q558429 Q1812747 Q7391557 Q2258930 Q1422739 Q6158554 Q74858 Q10513230 Q1968832 Q911858 Q2448527 Q1047321 Q3614442 Q18760824 Q5634951 Q3273486 Q2301794 Q820879 Q978671 Q2703331 Q19303904 Q609925 Q5632411 Q554838 Q11416678 Q10515261 Q5971123 Q6109002 Q1887991 Q5631498 Q6141010 Q10513085 Q2573043 Q7198244 Q1971215 Q900379 Q10513243 Q5633568 Q3206808 Q2166261 Q5632178 Q4351305 Q4040220 Q3903735 Q1564571 Q52901 Q5634182 Q1565629 Q32770 Q32771 Q19801858 Q75035 Q283452 Q2506862 Q3424471 Q280710 Q5633971 Q6138862 Q5632563 Q390455 Q255306 Q6159079 Q4351939 Q5636029 Q2837649 Q12766634 Q562674 Q137256 Q10513104 Q2038001 Q16846235 Q4352977 Q2490432 Q820478 Q18760862 Q523960 Q7870497 Q14852061 Q464370 Q7391608 Q7391565 Q2709917 Q339124 Q262899 Q7870667 Q3798336 Q7277328 Q5631590 Q26674641 Q6141293 Q1479687 Q10515280 Q3427401 Q1138094 Q5228097 Q201639 Q912950 Q729875 Q2384053 Q2981505 Q7604010 Q2094314 Q686751 Q925439 Q19799542 Q19800534 Q661264 Q588644 Q4040143 Q4057885 Q1668136 Q2207272 Q5634498 Q10862679 Q498614 Q1564228 Q5601951 Q1881850 Q899710 Q1602430 Q10706637 Q1351895 Q2557371 Q2494128 Q804091 Q14493958 Q10515073 Q10513290 Q324809 Q3563939 Q496778 Q1141369 Q574063 Q388075 Q18162952 Q557286 Q43464 Q2608583 Q1136398 Q4109990 Q7432747 Q960276 Q959845 Q1419883 Q18713207 Q827424 Q1078399 Q1483636 Q7391649 Q9332479 Q5634817 Q2654409 Q1062925 Q705804 Q681339 Q2273174 Q1545526 Q11457293 Q5634082 Q4347031 Q3839602 Q2269717 Q16223597 Q2008029 Q1152088 Q1258451 Q46266 Q2301492 Q46264 Q1052831 Q820669 Q838148 Q752939 Q2283194 Q1408520 Q1797485 Q4571916 Q2704292 Q920520 Q5631940 Q21152409 Q10515256 Q11269215 Q10515155 Q10515285 Q2206996 Q702335 Q6158589 Q150857 Q1475511 Q10515026 Q7866735 Q3007443 Q1303926 Q1564997 Q10493454 Q7872159 Q1372001 Q5630713 Q7870889 Q5633694 Q1500444 Q477173 Q10513279 Q221796 Q4346186 Q10884878 Q705582 Q512615 Q372672 Q3947217 Q655030 Q5397127 Q446316 Q18921160 Q2573281 Q476096 Q1139653 Q615525 Q210651 Q3124982 Q5631537 Q7277388 Q3544577 Q10862664 Q730273 Q1129569 Q18762809 Q7874569 Q5632611 Q2543125 Q10862685 Q4290731 Q107900 Q4040071 Q2070201 Q659894 Q11707944 Q1431226 Q4386720 Q7871181 Q3395651 Q10712138 Q5630245 Q10884907 Q5634350 Q228680 Q2208180 Q677346 Q1262390 Q210223 Q3237833 Q4346763 Q3061861 Q1065337 Q8408069 Q2859286 Q16496700 Q14950169 Q3225605 Q4355074 Q19013671 Q1373432 Q116335 Q19364025 Q311245 Q15444128 Q5631274 Q5972671 Q7867565 Q10513231 Q175437 Q5629241 Q678015 Q839203 Q1236027 Q5632025 Q5632924 Q5632389 Q11868642 Q155159 Q475540 Q1564604 Q5631471 Q1572254 Q5633629 Q3006680 Q2468207 Q1232851 Q2638679 Q7866115 Q13376303 Q5634553 Q5633707 Q11660152 Q312224 Q10884889 Q10884888 Q5632418 Q331745 Q3750543 Q10515060 Q4353591 Q10884884 Q1032037 Q16109063 Q7277387 Q141667 Q656632 Q9385256 Q2992278 Q1881852 Q3544580 Q6319364 Q3687436 Q3411691 Q4801479 Q10515162 Q175967 Q18760894 Q5730112 Q694474 Q15104547 Q11151506 Q9367948 Q5502108 Q5634804 Q2252131 Q704128 Q1324247 Q7866980 Q3699672 Q5630379 Q10513165 Q1258270 Q9353884 Q5206186 Q2377914 Q18760809 Q907779 Q477460 Q548745 Q1476140 Q2207152 Q4291176 Q567416 Q9284810 Q5635044 Q3013847 Q9137721 Q7408497 Q1564158 Q10515051 Q1708772 Q2707962 Q2342404 Q727245 Q543302 Q46195 Q7867304 Q5632696 Q2311446 Q2713873 Q15621165 Q5631849 Q289870 Q7869595 Q1474340 Q21735946 Q1930867 Q321007 Q3314897 Q11679476 Q158427 Q730305 Q4052218 Q673840 Q11707318 Q2704642 Q25653 Q888842 Q10513296 Q2349208 Q648831 Q2623266 Q7875718 Q156962 Q19169440 Q4290724 Q1473375 Q9364207 Q4040064 Q27454 Q4358483 Q1761672 Q1502183 Q10513127 Q4351910 Q2116259 Q10862600 Q2717194 Q15117029 Q10515173 Q3621539 Q3771903 Q680257 Q11262560 Q18760843 Q1473898 Q119397 Q143615 Q7866572 Q1071182 Q2829090 Q4958923 Q1500360 Q3604134 Q576829 Q6011826 Q15179941 Q11707534 Q10513226 Q10513227 Q10513221 Q4882507 Q3840157 Q838125 Q1552451 Q18760834 Q3278681 Q513634 Q4410121 Q1125602 Q4040126 Q10515274 Q4040081 Q16573 Q10515272 Q7868365 Q1546204 Q5473685 Q2008002 Q6144457 Q4300728 Q847233 Q755358 Q167085 Q5631646 Q10513099 Q5631645 Q5631640 Q13728696 Q4352699 Q1324124 Q7024076 Q428341 Q2469372 Q10884898 Q10884899 Q5631243 Q10884891 Q5495178 Q4206524 Q1266647 Q1328905 Q6142192 Q4346742 Q4369538 Q765514 Q824787 Q7868281 Q1347693 Q7871779 Q505312 Q1565648 Q5633942 Q3927914 Q179246 Q5631836 Q1117730 Q5972684 Q1920904 Q1046629 Q1898494 Q3748278 Q274924 Q3737315 Q2116640 Q14509227 Q7867003 Q2123826 Q7867000 Q2454760 Q1444474 Q190542 Q2029488 Q2121074 Q15275627 Q4352629 Q10515189 Q10515188 Q4386686 Q10515187 Q449016 Q215010 Q6127462 Q934571 Q3274010 Q168165 Q187622 Q4352812 Q623070 Q3224180 Q688532 Q152179 Q358971 Q192381 Q4442824 Q3905677 Q5630820 Q463161 Q7866225 Q857891 Q2712235 Q4727706 Q4301093 Q698414 Q14565078 Q4026798 Q128472 Q812102 Q82257 Q3015138 Q819361 Q2060512 Q18691244 Q7867597 Q118203 Q4273218 Q1117331 Q698468 Q689046
(c(Q15700808),P138,Q689046)
action argmin
action find_reverse_tuple_counts
relation P138
type Q2235308
type Q15700808
[ANSWERS] are namesakes of min number of urban unit definitions
[{'concept': 'Q15700808'}, 'P138', 'Q689046']
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( MIN ( ?h ) AS ?q ) { SELECT DISTINCT ?r ( COUNT ( ?t ) AS ?h ) WHERE { ?t property:P138 ?r . ?t rdf:type ontology:Q15700808 . ?r rdf:type ontology:Q2235308 } GROUP BY ?r } } . { SELECT DISTINCT ?a ( COUNT ( ?z ) AS ?p ) WHERE { ?z property:P138 ?a . ?a rdf:type ontology:Q2235308 . ?z rdf:type ontology:Q15700808 } GROUP BY ?a } . FILTER ( ?p = ?q ) }
HMS Dido SMS Deutschland MS Voyager of the Seas HMS Shannon Discovery Japanese torpedo boat Tomozuru HMS Gloucester Italian cruiser Duca degli Abruzzi Japanese submarine I-15 HMS Beagle USS Brooke Antarctic HMS Nelson USS Bainbridge USS Wasp SMS Huszár USS Wasp USS Nautilus Celebrity Solstice Roma German battleship Scharnhorst HMS Näcken Russian submarine TK-208 Dmitri Donskoi HMS Greyhound USS Tennessee SMS Kronprinz Erzherzog Rudolf Japanese cruiser Takao SM U-151 HMS Speedy USS Ohio Japanese destroyer Tachibana HMS Attacker HMS Halland RMS Oceanic Endurance USS Portland USS Barracuda Italian submarine Ammiraglio Cagni FS Catinat HMS Whitby USS Kearsarge USS George Washington HNoMS Otra USS Boston MS Sovereign SMS Temes HMS Warrior HMS Ferret SMS Prinz Adalbert Japanese submarine Ro-60 HMS Västergötland USS Sturgeon JS Hiuchi USS Long Beach HMS Banshee Japanese submarine I-201 HMS Altair HMS Avenger Pisces V USS Seawolf HMS Bounty HMS Hugin HMS Odin French ship Astrolabe USS Los Angeles HMS Doterel HMS Oberon HMS Royal Oak Pietro Calvi submarine HMS Daring HMS Sverige HMS Salmon HMS Valiant HNLMS O 19 HNLMS Walrus Rhein Japanese cruiser Asama HMS Canada USS Colorado USS Baltimore HMS Invincible HMS Rainbow Spanish frigate Santa María HMS Gipsy Japanese cruiser Agano Japanese battleship Kongō Japanese submarine I-9 HMS King Edward VII HMS Gotland ARA Salta (S-31) HMS Lion USS Essex HMS Erebus HMS Arkö Russian submarine B-585 Saint Petersburg Japanese submarine I-12 USS Cannon Italian cruiser Raimondo Montecuccoli SM U-27 FS Forbin SMS Kaiser Friedrich III USS James Madison Karel Doorman USS Nautilus SM U-93 SM U-20 Japanese submarine I-174 USS New Mexico Italian battleship Littorio USS Kanawha Indomito ROCS Cheng Kung HMS Blackwood Amsterdam USS Benjamin Franklin USS Balao HMS Öland Italian cruiser Cesare Rossarol Japanese battleship Tosa USS Anchorage USS Kidd ORP Orzeł HMS Chatham Russian battleship Peresvet French ship Mistral Statendam Italian battleship Andrea Doria French armoured cruiser Amiral Charner HMAS Canberra HMS Cherokee SMS Maros HMAS Perth Anton Chekhov HMS London Russian frigate Admiral Gorshkov Russian cruiser Pallada SM U-17 HMS Sturgeon Japanese submarine I-400 French frigate Hermione HMS Adventure Greek frigate Hydra MSC Lirica Victoria Helgoland Turunmaa USS Gerald R. Ford Japanese battleship Satsuma HMAS Adelaide Russian cruiser Bayan Mærsk Mc-Kinney Møller HMS Plejad HMS Koster SMS Graudenz Greek submarine Katsonis USS Permit USS Forrestal SMS Kaiserin HMS Ardent HMS Vestal Gorch Fock I HNLMS De Zeven Provinciën USS Brooklyn USS Mahan Finnish submarine Vetehinen Schooner Te Vega Russian battleship Evstafi SMS Sachsen SMS Königsberg FS Friant USS San Antonio USS Arleigh Burke USS New Orleans SM UB-43 SMS S13 HMS Vengeur Japanese destroyer Yūgumo Italian cruiser Luigi Cadorna Japanese battleship Shikishima HMAS Perth USS Colorado USS Ticonderoga HMS Sunfish HMS Rocket HMS Tre Kronor Luigi Durand de la Penne HNLMS Dolfijn Yugoslav submarine Hrabri ORP Wicher USS Tarawa USS Charles F. Adams HNLMS De Zeven Provinciën HNLMS K XI HNLMS Tromp Celebrity Millennium SM U-43 USS Lexington RMS Queen Mary INS Vikrant HMS Foxhound USS Freedom Japanese submarine I-7 Japanese destroyer Fubuki USS Kearsarge HMS Conflict R. H. Fauntleroy HMS Visby JS Shirane HMS Stockholm HMS Östergötland SMS Meteor (1890) HMS Edinburgh Japanese escort ship Etorofu Bismarck USS Oliver Hazard Perry HMS Mode USNS Spearhead HMS Hecla USS Saipan HMS King George V Fabian Wrede USS Navajo Russian battleship Petropavlovsk HMCS Athabaskan USS LSM(R)-188 HMS Parthian HMS Lion Emma Mærsk HMS Kaparen SMS Helgoland Japanese submarine I-52 Japanese submarine I-176 SMS Königsberg HMS Erebus Granma Italian cruiser San Giorgio Celebrity Century HMS Klas Uggla HNoMS Draug HDMS Lougen Soviet battlecruiser Kirov SMS V116 HMS King George V HMS Express HMS Eagle HMS Boyne HMS Belleisle ROKS Dokdo USS Truxtun Japanese submarine I-373 HMS Weymouth USS Cleveland FS Gauloise ironclad USS Tacoma HMS Grampus Japanese cruiser Kasuga Japanese submarine I-153 USS Cassin Santa Maria HMS Duke Hr. Ms. Alkmaar HMS Southampton Lillian Ngoyi USS Kitty Hawk Japanese submarine I-13 USS Lawrence Spanish cruiser Almirante Cervera Valas HMAS Armidale Japanese submarine I-46 HMS Sjöormen Japanese aircraft carrier Zuihō HNLMS O 2 USS Wasp RV Atlantis sloop French battleship Liberté ORP Mazur HMS Worcester Italian cruiser Emanuele Filiberto Duca d'Aosta ROKS Sejong the Great FS Aquitaine NRP Baptista de Andrade Viking Star Atle HMS Tiger SMS Panther Reina Regente MSC Musica TI Asia USS Yorktown (CV-5) French destroyer Le Hardi HMS Alert INS Shishumar USS Bannock HMS Hanö SS Vega HDMS Narhvalen USS Virginia HMS Birmingham HMS Astute HMS Cuckoo HMS Janus HMS Fantome KNM Ula SMS Cöln USS Pensacola HMS Discovery HMS Avon USS Bonhomme Richard HMS Osprey HMS Shannon USNS Powhatan Dmitriy Furmanov Soviet helicopter carrier Moskva USCGC Itasca HMS Sjölejonet HMS Swordfish HMS Pearl Japanese destroyer Ikazuchi HMS Endeavour Japanese submarine I-165 Japanese submarine I-162 HMS Fervent HDMS Absalon Yugoslav submarine Osvetnik HMS Oden ORP Podhalanin Japanese submarine I-156 HMS Implacable Končar ROKS Chungmugong Yi Sun-sin HMS Terror SMS Nassau Japanese submarine I-121 Russian cruiser Moskva MSC Fantasia USS Smith (DD-17) Jymy motor torpedo boat Italian submarine Console Generale Liuzzi French ship Pégase French battleship Courbet HMS Styrbjörn INS Talwar FS Linois Blas de Lezo SMS Bayern Aigrette Chinese Hai Lung submarine SMS V1 French cruiser Troude HMS Vanguard Trento SMS Derfflinger SMS Blitz USS Abnaki Curtatone HMAS Huon HMS Draken USS Long Island SMS G7 DSRV-1 Mystic Soviet cruiser Kirov FS Alger USS Midway USS Sangamon SMS Braunschweig French submarine Gymnote SMS Wacht USS Tucker SMS Brandenburg SMS H145 HMS Zebra French ship Astrolabe SMS A1 USS America HMCS Halifax HMS Norrköping Japanese destroyer Fuyutsuki USS Northampton Japanese submarine I-168 USS North Carolina SMS Dresden HMS Nairana USS Andromeda HMS Hardy HMS Fury USS Belknap HMS Pearl HMS Chatham HMS Mermaid USS Gearing USS Ethan Allen Terrebonne Parish tank landing ship USS Iwo Jima RMS Olympic French frigate Minerve USS Merrick German cruiser Deutschland HMS Birkenhead USS Farragut Arktika Italian battleship Regina Elena Japanese submarine I-1 ferry Bobr Russian gunboat HMS Landsort Hr. Ms. Kortenaer HMS Bristol Italian cruiser Alberto da Giussano USS Yorktown German aircraft carrier Graf Zeppelin Consul USS Aylwin USS Fletcher USS South Dakota HMS Cyclops German cruiser Admiral Hipper USS Wickes USS Montana HMS Victoria HMS Blixt HMS Royal Sovereign USS Avenger Japanese submarine I-372 French submarine Triomphant Émeraude HMS Svea Archimede Glauco HMS Havock JS Oyashio Japanese submarine FS Descartes USS Ticonderoga HMS Challenger ARA Uruguay USNS Henry J. Kaiser Japanese battleship Katori Japanese destroyer Akizuki Brazilian submarine Tikuna Nautilus Italian submarine Acciaio Soviet aircraft carrier Kiev Meteoro Valerian Kuybyshev Kunlun Shan HMS Göteborg HMS Hajen HMS Gåssten Belgian frigate Wielingen Luigi Settembrini submarine USS Hornet HMS Comet FS D’Assas USS Zumwalt HMS Boadicea Sverdlov SMS Körös HMS Intrepid HMS Ystad HMS Elizabeth Shiratsuyu HMS Wrangel USS Cimarron SMS Brummer HMS Göteborg ORP Wodnik Japanese corvette Katsuragi USS Sampson HMS Discovery SS Athenic SMS Magdeburg HMS Boyne HMS Arholma HMS Boxer HMS Boxer HNLMS Zwaardvis HMS Visby HMS Renown Niantic Spanish frigate Álvaro de Bazán USS Garcia Japanese submarine I-5 Japanese submarine I-6 HMS Ajax Japanese submarine I-16 HMS Handy USS O'Brien (DD-51) French submarine Dupuy de Lôme USS Nevada I-54 Japanese submarine USS Lafayette USCGC Polar Star USS Pennsylvania SMS Gazelle USS Cherokee French ironclad Gloire USS Miantonomoh SMS Wittelsbach HMS Vanguard (S28) HMS R1 Quintino Sella kayak HMS Charger Italian cruiser Andrea Doria INS Sindhughosh Hr. Ms. Tromp French submarine Casabianca HMS Resolution Formidabile Russian aircraft carrier Admiral Kuznetsov Circé USS Connecticut JS Izumo USS Achomawi Italian submarine Brin USS Achelous Russian submarine Yury Dolgorukiy HMS Queen Elizabeth Costa Concordia USS Porter HMS Powerful Ra HMS Ehrensköld HMS Tapper HMS Sökaren USS Clemson HMS Södermanland DSV Alvin Yamato USS Pennsylvania HMS Blonde USS Mississippi NOAAS McArthur French aircraft carrier Clemenceau HMS Äran USS Knox French ship Magnifique Italian battleship Conte di Cavour SM U-10 Russian coast defense ship Admiral Ushakov MS Oasis of the Seas HMS Spica Italian cruiser Pisa HMCS Huron USS Nimitz USCGC Polar Sea USS Monitor Russian battleship Andrei Pervozvanny Alkimos USS Caldwell SMS Kaiser INS Vikrant HMS Inflexible SMS Victoria Louise French battleship Bayard RRS Discovery Pen Duick SMS König USS Independence MHC Katanpää USS Barracuda ORP Grom USS Paulding Nimrod German cruiser Leipzig German cruiser Königsberg
HMS Invincible, HMS Spica and HMS Queen Elizabeth are namesakes of min number of urban unit definitions
HMS Invincible HMS Spica HMS Queen Elizabeth
action argmin
action find_reverse_tuple_counts
relation named after
type ship type
type urban unit definition
[{'concept': 'urban unit definition'}, 'named after', 'German cruiser Königsberg']
SELECT DISTINCT ?a WHERE { { SELECT DISTINCT ( MIN ( ?h ) AS ?q ) { SELECT DISTINCT ?r ( COUNT ( ?t ) AS ?h ) WHERE { ?t property:named_after ?r . ?t rdf:type ontology:urban_unit_definition . ?r rdf:type ontology:ship_type } GROUP BY ?r } } . { SELECT DISTINCT ?a ( COUNT ( ?z ) AS ?p ) WHERE { ?z property:named_after ?a . ?a rdf:type ontology:ship_type . ?z rdf:type ontology:urban_unit_definition } GROUP BY ?a } . FILTER ( ?p = ?q ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P1029
Q502895 Q40218 Q2235308
USER
Which people are the team member of min number of spacecrafts and ship types ?
(c(Q40218)|c(Q2235308),P1029,c(Q502895))
action argmin
action union
action find_reverse_tuple_counts
relation P1029
type Q502895
type Q40218
action find_reverse_tuple_counts
relation P1029
type Q502895
type Q2235308
[[{'concept': 'Q40218'}, {'concept': 'Q2235308'}], 'P1029', {'concept': 'Q502895'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?j ) { SELECT DISTINCT ?s ( COUNT ( ?k ) AS ?p ) WHERE { { ?k property:P1029 ?s . ?k rdf:type ontology:Q40218 . ?s rdf:type ontology:Q502895 } UNION { ?k property:P1029 ?s . ?s rdf:type ontology:Q502895 . ?k rdf:type ontology:Q2235308 } } GROUP BY ?s } } . { SELECT DISTINCT ?w ( COUNT ( ?b ) AS ?e ) WHERE { { ?b property:P1029 ?w . ?w rdf:type ontology:Q502895 . ?b rdf:type ontology:Q40218 } UNION { ?b property:P1029 ?w . ?w rdf:type ontology:Q502895 . ?b rdf:type ontology:Q2235308 } } GROUP BY ?w } . FILTER ( ?e = ?j ) }
action argmin
action union
action find_reverse_tuple_counts
relation crew member
type common name
type spacecraft
action find_reverse_tuple_counts
relation crew member
type common name
type ship type
[[{'concept': 'spacecraft'}, {'concept': 'ship type'}], 'crew member', {'concept': 'common name'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?j ) { SELECT DISTINCT ?s ( COUNT ( ?k ) AS ?p ) WHERE { { ?k property:crew_member ?s . ?k rdf:type ontology:spacecraft . ?s rdf:type ontology:common_name } UNION { ?k property:crew_member ?s . ?s rdf:type ontology:common_name . ?k rdf:type ontology:ship_type } } GROUP BY ?s } } . { SELECT DISTINCT ?w ( COUNT ( ?b ) AS ?e ) WHERE { { ?b property:crew_member ?w . ?w rdf:type ontology:common_name . ?b rdf:type ontology:spacecraft } UNION { ?b property:crew_member ?w . ?w rdf:type ontology:common_name . ?b rdf:type ontology:ship_type } } GROUP BY ?w } . FILTER ( ?e = ?j ) }
[]
common name spacecraft ship type
Q364451 Q1615 Q434546
SYSTEM
Georgy Beregovoy, Neil Armstrong, Pyotr Klimuk
Q227030 Q237470 Q41432 Q120793 Q97007 Q21767 Q29527 Q2896833 Q49285 Q268089 Q513131 Q518012 Q704398 Q1371854 Q1345924 Q471486 Q221615 Q51773 Q709634 Q1371289 Q717641 Q11813619 Q55177 Q554409 Q463833 Q235047 Q55178 Q975283 Q927249 Q632907 Q315737 Q172001 Q257778 Q472497 Q1407313 Q261731 Q235580 Q1174077 Q254298 Q153242 Q23012291 Q498775 Q313957 Q554538 Q1064074 Q63610 Q254058 Q235567 Q215124 Q262359 Q448538 Q730170 Q537279 Q720182 Q719911 Q535157 Q456840 Q935510 Q234306 Q727902 Q2036814 Q497530 Q706939 Q61395 Q375202 Q1339046 Q173190 Q362174 Q23015616 Q358931 Q440266 Q912120 Q107667 Q448547 Q455669 Q382184 Q17541629 Q461872 Q70928 Q722667 Q166616 Q41575 Q378952 Q264460 Q1334023 Q561878 Q349365 Q18431930 Q520760 Q1384788 Q938350 Q111240 Q502101 Q507894 Q78499 Q5975593 Q1336455 Q121797 Q944386 Q461807 Q957250 Q644029 Q210268 Q611704 Q81129 Q466069 Q520166 Q382247 Q448167 Q1545374 Q706899 Q725233 Q313543 Q235523 Q265261 Q215002 Q357468 Q534597 Q185560 Q728371 Q215009 Q318513 Q363250 Q467623 Q237879 Q115985 Q721397 Q957368 Q975217 Q948673 Q180499 Q985049 Q461788 Q23015561 Q357510 Q948775 Q719441 Q23012700 Q1338925 Q82798 Q440251 Q375659 Q3183604 Q1400906 Q1162918 Q1926804 Q531065 Q82864 Q24094 Q173317 Q444299 Q706916 Q45137 Q355433 Q716981 Q17519 Q24176131 Q1068686 Q23012832 Q560360 Q375631 Q41632 Q252726 Q671886 Q706965 Q708689 Q1693251 Q361859 Q520334 Q362819 Q1680121 Q720361 Q7086024 Q18762 Q499628 Q362209 Q203026 Q4715991 Q704147 Q445419 Q506349 Q268912 Q704639 Q351839 Q379039 Q1338950 Q520618 Q433337 Q488008 Q383515 Q529119 Q360433 Q1371840 Q15613580 Q978562 Q23664664 Q3492123 Q171294 Q376688 Q457075 Q505439 Q731751 Q29515 Q471513 Q115552 Q1394857 Q210184 Q41597 Q254985 Q1507223 Q450834 Q1239684 Q1373458 Q362902 Q281819 Q727572 Q557058 Q634822 Q539337 Q1018622 Q453542 Q724552 Q215131 Q59664 Q709921 Q1338912 Q3294252 Q23663985 Q466483 Q708452 Q798166 Q82667 Q438844 Q523835 Q920936 Q104859 Q361415 Q465748 Q440178 Q240769 Q719413 Q1385654 Q350420 Q158486 Q4103224 Q372215 Q535280 Q1376966 Q441017 Q23012293 Q706739 Q362180 Q4831087 Q1866915 Q707736 Q519268 Q232441 Q434555 Q229635 Q448491 Q573719 Q116294 Q464166 Q32266 Q19242 Q510394 Q528943 Q1899032 Q961419 Q977386 Q461887 Q722679 Q1076962 Q17279874 Q461881 Q345678 Q375065 Q345288 Q539385 Q3030934 Q447311 Q7322657 Q318965 Q826866 Q722127 Q68329 Q519256 Q739214 Q1338348 Q460161 Q48998 Q471380 Q1365511 Q313399 Q210382 Q280301 Q143103 Q49064 Q557066 Q971052 Q1372222 Q2036770 Q562168 Q233795 Q528832 Q716333 Q317382 Q25011 Q453764 Q70033 Q314921 Q1361680 Q20119965 Q23015199 Q462132 Q4252659 Q361113 Q935071 Q375566 Q720172 Q641389 Q1355634 Q722390 Q719926 Q660570 Q467732 Q347977 Q336810 Q172783 Q45139 Q368793 Q64052 Q719635 Q3197699 Q213605 Q260217 Q472491 Q304171 Q3157177 Q1373573 Q519149 Q24083 Q112284 Q707626 Q3194085 Q1266359 Q382176 Q376165 Q346671 Q229674 Q324774 Q454649 Q5970982 Q41606 Q1173930 Q348205 Q488043 Q928034 Q706859 Q468250 Q468258 Q720351 Q1448596 Q1878433 Q260329 Q77349 Q2093835 Q124809 Q466513 Q342953 Q446531 Q578675 Q706849 Q3180801 Q1914370 Q718729 Q297801 Q446692 Q74018 Q1322669 Q116962 Q74015 Q956842 Q52923 Q2252 Q318934 Q447264 Q27336250 Q73081 Q616303 Q361932 Q573473 Q23664678 Q463086 Q52495 Q52494 Q487622 Q574124 Q457064 Q749845 Q360038 Q658221 Q557585 Q722513 Q1494855 Q374034 Q1333261 Q358525 Q350317 Q1853048 Q5975489 Q294555 Q717654 Q17542124 Q215142 Q215140 Q281604 Q240708 Q709935 Q152318 Q709931 Q3339766 Q379946 Q722142 Q247508 Q78552 Q82901 Q718499 Q971200 Q45082 Q2899473 Q32305 Q705636 Q703321 Q49284 Q12865 Q535172 Q555679 Q540379 Q365317 Q317792 Q21842 Q71248 Q21706101 Q85493 Q724082 Q171310 Q462853 Q1333070 Q316417 Q448243 Q442233 Q289337 Q1338895 Q239960 Q232692 Q434546 Q643556 Q433046 Q24188587 Q448563 Q23012814 Q29648 Q446243 Q364476 Q963226 Q461777 Q3189408 Q432752 Q431006 Q447304 Q493699 Q3329196 Q1376909 Q607394 Q1800097 Q2655329 Q141651 Q315730 Q938428 Q25981 Q87102 Q461821 Q434409 Q23664692 Q822249 Q17385517 Q1065133 Q725848 Q520384 Q535831 Q692263 Q1372276 Q430996 Q278656 Q447057 Q720160 Q382202 Q7454059 Q11993310 Q554415 Q23664385 Q325205 Q255764 Q732906 Q363506 Q362998 Q451259 Q1323571 Q1338436 Q609639 Q49819 Q505530 Q2036753 Q539358 Q440303 Q2279606 Q17177 Q1904202 Q501697 Q718630 Q216726 Q240701 Q362190 Q1385274 Q448520 Q720194 Q1341315 Q334463 Q266359 Q353687 Q491064 Q348358 Q434232 Q730220 Q1985717 Q285944 Q313815 Q258385 Q519124 Q465724 Q362261 Q237473 Q956160 Q466522 Q711010 Q364451 Q283544 Q446720 Q644705 Q620632 Q108886 Q378949 Q461860 Q473221 Q7911436 Q318542 Q995007 Q29618 Q1393554 Q360060 Q23664799 Q487984 Q722106 Q7468 Q2050429 Q84178 Q703865 Q1429300 Q725339 Q352069 Q319269 Q512266 Q201797 Q720124 Q1615 Q45080 Q703819 Q358437 Q466075 Q708489 Q708484 Q520176 Q7146575 Q977664 Q465461 Q1384803 Q2032646 Q649109 Q49035 Q49269 Q357450 Q706978 Q214974 Q49264 Q295873 Q448872 Q443994 Q719921 Q317643 Q1064149 Q470256 Q386148 Q219569 Q3116390 Q240776 Q746108 Q592219 Q536777 Q3476196 Q433608 Q449706 Q1591872 Q52046 Q1872734 Q461795 Q34091 Q375641 Q32295 Q57229 Q426836 Q725659 Q382013 Q171302 Q172838 Q381541 Q1240263 Q362220 Q906626 Q75810 Q382150 Q64684 Q342338 Q448470 Q540108 Q29650 Q434205 Q446233 Q345658 Q19839428 Q521395 Q535234 Q502963 Q499636 Q449577 Q723989 Q320047 Q447334 Q19831446 Q1376469 Q171319 Q442910 Q5543066
(c(Q40218)|c(Q2235308),P1029,c(Q502895))
action argmin
action union
action find_reverse_tuple_counts
relation P1029
type Q502895
type Q40218
action find_reverse_tuple_counts
relation P1029
type Q502895
type Q2235308
[ANSWERS] are the team member of min number of spacecrafts and ship types
[[{'concept': 'Q40218'}, {'concept': 'Q2235308'}], 'P1029', {'concept': 'Q502895'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?j ) { SELECT DISTINCT ?s ( COUNT ( ?k ) AS ?p ) WHERE { { ?k property:P1029 ?s . ?k rdf:type ontology:Q40218 . ?s rdf:type ontology:Q502895 } UNION { ?k property:P1029 ?s . ?s rdf:type ontology:Q502895 . ?k rdf:type ontology:Q2235308 } } GROUP BY ?s } } . { SELECT DISTINCT ?w ( COUNT ( ?b ) AS ?e ) WHERE { { ?b property:P1029 ?w . ?w rdf:type ontology:Q502895 . ?b rdf:type ontology:Q40218 } UNION { ?b property:P1029 ?w . ?w rdf:type ontology:Q502895 . ?b rdf:type ontology:Q2235308 } } GROUP BY ?w } . FILTER ( ?e = ?j ) }
Mark Shuttleworth Anna Lee Fisher Robert L. Stewart Douglas G. Hurley Alexandre Imperatori Tracy Caldwell Dyson Jan Davis Benito Guerra, Jr. Sally Ride Dani Sordo Kenneth Cockrell Timothy Peake Nicolas Lapierre Michael R. Clifford Jeffrey Ashby Viktor Afanasyev Aleksandr Viktorenko Heidemarie Stefanyshyn-Piper Valery Korzun Mark N. Brown Loren Shriver Paul-Loup Chatin Sunita Williams Barry E. Wilmore Vance D. Brand Barbara Morgan Stephanie Wilson Thierry Neuville Oleg Skripochka Leland D. Melvin Robert Crippen Tiago Monteiro Danny Watts Valery Ryumin Terence T. Henricks Evgeny Tarelkin Claudie Haigneré David Leestma Margaret Rhea Seddon Sam Bird Nicolas Klinger Robert L. Gibson Sheikh Muszaphar Shukor Nicolas Minassian Charles D. Walker Robert Satcher Patrick Baudry Nicole Stott Ulf Merbold Tamara E. Jernigan Boris Volynov Yuri Shargin Steven Swanson Mike Mullane Jeffrey A. Hoffman Valentin Lebedev Georgi Ivanov Joe F. Edwards Chiaki Mukai Sergei Treshchov Albert Sacco Brewster H. Shaw Dominic L. Pudwill Gorie André Lotterer Michael López-Alegría Michel Tognini Gianmaria Bruni Ho-Pin Tung Volodymyr Korsia Garrett Reisman Dominic A. Antonelli Brian Duffy John Young Pedro Duque Yevgeny Khrunov Vitaly Zholobov Vincent Capillaire Gregory Chamitoff Daniel Abt Charles E. Brady Thomas Reiter Susan J. Helms Kenneth D. Cameron Ellen S. Baker Ronald M. Sega Michael Foreman Ellison Onizuka Matt Rao Yuri Baturin Kent Rominger Carlos I. Noruega Jim Lovell Andrei Borisenko Andy Thomas Alexander Wurz Takuya Onishi Lawrence J. DeLucas Mathias Beche Wubbo Ockels Maksim Surayev Jerome Apt Robert J. Cenker Richard E. Byrd James D. Halsell Jügderdemidiin Gürragchaa Vladimir Titov Gregory H. Johnson Scott Altman Ivan Bella Gregory J. Harbaugh Nicholas Patrick Bjarni Tryggvason Ronald Evans Peggy Whitson Janet L. Kavandi Ernst Messerschmid Guy Laliberté Robert A. Parker William Frederick Fisher Vasily Tsibliyev Gerhard Thiele Ken Mattingly Donald Pettit Oleg Grigoryevich Makarov Kalpana Chawla Simon Trummer Jean-Pierre Haigneré Franco Malerba Sergei Revin Daniel W. Bursch Karol J. Bobko Sherwood C. Spring David Wolf Simone Scattolin Mark Kelly Robert Curbeam Olivier Pla Anders Jæger John Casper Kamui Kobayashi Michael Barratt Oleg Kononenko Jonny Kane Tom Dillmann Daniel T. Barry Michael A. Baker Steve MacLean Bruno Senna Paul W. Richards Stéphane Sarrazin Aleksandr Panayotov Aleksandrov Satoshi Furukawa Lee Morin Georgy Dobrovolsky Filipe Albuquerque Anousheh Ansari Brad Winderbaum Ott Tänak John Kennard Talgat Musabayev Daniel M. Tani Marsha Ivins Vitaly Sevastyanov Nicolas Prost Michael T. Good Vladimir Vasyutin Nick Tandy Alexander Woollcott Mikhail Korniyenko Aleksandr Serebrov James Calado Steven R. Nagel Oleg Artemyev Frank Borman Andreas Mikkelsen John M. Grunsfeld Sergei Zalyotin Aleksey Ovchinin Michael L. Gernhardt Andy Priaulx Andrew M. Allen Mary Ellen Weber Rodolfo Neri Vela Jari-Matti Latvala Samantha Cristoforetti Roy D. Bridges Richard M. Linnehan Linda M. Godwin Anatoli Levchenko Jerry L. Ross James Rossiter Franklin Chang Díaz Richard A. Searfoss Gustavo Menezes Frederick W. Leslie Ed Brown Yelena Serova Vitantonio Liuzzi Yury Usachov Mads Østberg Piers Sellers Marino Franchitti Nancy J. Currie John D. Olivas Neel Jani Luca Parmitano Dennis Tito Joan Higginbotham Vladimír Remek G. David Low Lev Dyomin Donald A. Thomas Thomas J. Hennen Arnoldo Tamayo Méndez Pierre J. Thuot Umberto Guidoni Donald H. Peterson James van Hoften Thomas Akers Byron K. Lichtenberg Davide Rigon Jim Wetherbee Reinhard Furrer Julien Ingrassia William S. McArthur Sonny Carter Mark T. Vande Hei Billy Johnson Aleksandr Pavlovich Aleksandrov Aleksandr Laveykin James H. Newman Mark Webber Gregory Olsen Robert L. Behnken Ken Bowersox Michael Collins Mirosław Hermaszewski Aleksei Gubarev Vyacheslav Zudov Julie Payette David Heinemeier Hansson Nils Strindberg Salomon August Andrée Eugene Cernan Theodore Van Kirk Walter Cunningham Yury Vasilyevich Malyshev Kevin P. Chilton Ronald J. Garan Benjamin Veillas Scott E. Parazynski Mikhail Tyurin Aydyn Aimbetov L. Blaine Hammond Taylor Wang C. Gordon Fullerton Laurel Clark Georgy Grechko Eileen Collins Yuri Gidzenko Winston E. Scott Marcel Fässler Kathryn D. Sullivan Duane G. Carey Bill Anders Scott Sharp Guion Bluford Mario Runco, Jr. John Martin Roberto Merhi Takao Doi Jean-François Clervoy Chris Hadfield Lorenzo Bertelli Mike Conway Roger Bruce Chaffee Stuart Roosa Aleksandr Kaleri Alfred Worden Michael S. Hopkins Anatoly Solovyev Ricardo González Fred Haise Bernt Balchen Randolph Bresnik Stefan Mücke Jake Garn James F. Reilly Thomas David Jones Henry Hartsfield Susan Kilrain Dafydd Williams Nelson Panciatici Vladimir Shatalov Yi So-Yeon Igor Volk Norman Thagard Sandra Magnus Frederick D. Gregory Ryan Dalziel Michael J. McCulley Richard N. Richards Eugene H. Trinh Shannon Lucid James S. Voss Jose M. Hernandez Christer Fuglesang Charles Bolden Sergei Avdeyev Marc Lieb Vladimir Kovalyonok Nathanaël Berthon Eric Camilli Jan Tománek Story Musgrave Kirill Ladygin Brendon Hartley Jean-Jacques Favier Koichi Wakata Terry Hart Nikolai Budarin Gregory T. Linteris Karl Gordon Henize William E. Thornton Steven Hawley Musa Manarov Fyodor Yurchikhin Deke Slayton Lucas di Grassi Paul Lockhart Sébastien Ogier René Rast Lodewijk van den Berg Kjell N. Lindgren Hans Schlegel Kenneth Ham Gennadi Sarafanov Martin Prokop Jack D. Fischer William A. Pailes Robert F. Overmyer James M. Kelly Charles Duke Don L. Lind Kathleen Rubins Philippe Perrin Daniel C. Burbank William B. Lenoir Rick Husband Christa McAuliffe William G. Gregory André Kuipers Norishige Kanai Kathryn P. Hire David C. Hilmers Viktor Gorbatko Anatoly Filipchenko Aleksandr Samokutyayev Stanley G. Love Vladimir Aksyonov Toktar Aubakirov David M. Walker Harry Tincknell Pipo Derani Joseph R. Tanner Abdul Ahad Mohmand Pierre Ragues Mathéo Tuscher Vladimir Dzhanibekov Yuri Malenchenko Aleksandr Ivanchenkov Benoît Tréluyer Kevin A. Ford Johannes van Overbeek Oliver Webb John Oliver Creighton James Irwin Dumitru Prunariu James Dutton Kevin R. Kregel Claude Nicollier Dorothy M. Metcalf-Lindenburger Maurizio Cheli Janice E. Voss Edwin Aldrin Jr. Joseph M. Acaba Clayton Anderson Chen Dong Pierre Kaffer Stéphane Richelmi William Shepherd Charles L. Veach Chris Cumming Stephen Bowen Frank De Winne Dirk Frimout Anatoli Ivanishin Anthony W. England Roman Romanenko Roger K. Crouch Valery Rozhdestvensky Richard O. Covey Stephen Robinson Daniel Brandenstein Gary Payton Joe Engle Peter Wisoff Viktor Patsayev David M. Brown Michael Christensen Kimiya Yui Paul Tibbets Donald E. Williams Viktor Shaitar Ulrich Walter Reinhold Ewald Boris Morukov Shannon Walker Leroy Chiao Svetlana Savitskaya Ed Lu Nick Leventis Sultan bin Salman Al Saud Dmitri Kondratyev Marco Bonanomi Franz Viehböck Vitaly Petrov Jon McBride James A. Pawelczyk John Herrington Bert Acosta Stephen Frick Frank L. Culbertson Marc Garneau Judith Resnik Bertalan Farkas Vladimir Solovyov Aleksandr Aleksandrovich Skvortsov Michael Foale Vasily Lazarev Valeri Polyakov Mary L. Cleave Alexander Gerst Raigo Mõlder Richard Lietz Alan Blumlein Sébastien Buemi Richard R. Arnold Oliver Jarvis Thomas P. Stafford Lee Archambault Richard H. Truly Kathryn C. Thornton Jay C. Buckey Pamela Melroy Naoko Yamazaki Pyotr Klimuk Alvin Drew Leonid Popov Jake Morrison John L. Phillips Borja Rozada Patrick Forrester Millie Hughes-Fulford James McDivitt Oleg Novitskiy Timothy Creamer Julien Canal Valeri Kubasov Viktor Savinykh Rex J. Walheim Paul Scully-Power Sergey Ryazansky Guy Gardner Richard Hieb Carl J. Meade Alexander Misurkin Roman Rusinov Ronald McNair Terrence W. Wilcutt Michael J. Smith Dominik Kraihamer Eric Boe Georgy Shonin David Cheng Bernard A. Harris, Jr. Matthew Howson Charles J. Precourt William Oefelein Thomas Marshburn Vladimir Dezhurov James Buchli Stephen S. Oswald Muhammed Faris David Scott Christopher Ferguson John M. Fabian Jeffrey Williams Sergey Ryzhikov Ola Fløene Terry W. Virts Maurizio Mediani Rakesh Sharma Yelena Kondakova Loren Acton Rusty Schweickart Gennady Padalka Yury Artyukhin Kenneth S. Reightler, Jr. Robert D. Cabana John E. Blaha Charles Simonyi Andrew J. Feustel Robert C. Springer Yury Lonchakov Timothy Kopra Jon Fogarty Paolo Nespoli Martin J. Fettman John M. Lounge James P. Bagian Edward Higgins White K. Megan McArthur Scott Kelly Ronald A. Parise Roberto Vittori Michael Coats Knut Frænkel William C. McCool Nikolay Rukavishnikov Pham Tuan Ronald J. Grabe Jack Swigert Michael E. Fossum Salizhan Sharipov Nicki Thiim Toyohiro Akiyama Sergei Krikalev Roberta Bondar George Nelson Anatoly Berezovoy Michael Fincke Helen Sharman Gennadi Manakov Gustavo Yacamán Aleksandr Poleshchuk Georgy Beregovoy Sergey Alexandrovich Volkov Yury Romanenko Carl E. Walz Aleksandr Lazutkin Harrison Schmitt Steven Smith Douglas H. Wheelock Mark L. Polansky Valeriy Gorban Michael P. Anderson Bryan D. O'Connor Bonnie J. Dunbar John-David F. Bartoe Leonid Kizim Yutaka Yamagishi Anatoly Artsebarsky Gregory C. Johnson Catherine Coleman Paolo Ruberti Christian Klien Michael J. Bloomfield William F. Readdy Brent W. Jett Léopold Eyharts Richard Garriott Thomas Pesquet F. Drew Gaffney Frederick Hauck Neil Armstrong Charles Camarda Scott J. Horowitz Bill Nelson Pavel Vinogradov Yury Onufriyenko Oleg Atkov Robert S. Kimbrough Richard Bradley Marco Sørensen Yury Glazkov Samuel T. Durrance Sidney M. Gutierrez James C. Adamson Wendy B. Lawrence Ellen Ochoa Soichi Noguchi Frederick W. Sturckow Klaus-Dietrich Flade Lisa Nowak Edgar Mitchell Valeri Tokarev Joseph P. Allen S. David Griggs Marcos Pontes Charles D. Gemar Gennadi Strekalov Curtis Brown Ilan Ramon Gregory Reid Wiseman Karen L. Nyberg Mark C. Lee Anton Shkaplerov Richard Mastracchio Scott D. Tingle Bruce McCandless II Donn F. Eisele Hayden Paddon Christopher Cassidy Loïc Duval Robert Thirsk Mae C. Jemison Akihiko Hoshide Michael J. Massimino Sigmund Jähn Dale Gardner Aleksandr Nikolayevich Balandin Gregory Jarvis Kazuki Nakajima Nelson Piquet Jr. Aleksei Yeliseyev Donald R. McMonagle Alan G. Poindexter Romain Dumas Nick Heidfeld Leonid Kadeniuk Timo Bernhard Oleg Kotov Steven Lindsey Bruce E. Melnick Charles O. Hobaugh Jean-Loup Chrétien Aleksandr Aleksandrovich Volkov Vladislav Volkov Cécile Dionne Mamoru Mohri Konstantin Kozeyev Richard F. Gordon Andreas Mogensen Vladimir Lyakhov Tsugio Matsuda Dick Scobee George D. Zamka Yvonne Dionne Jerry M. Linenger Anthony Davidson Darren Turner George Otto Noville
Georgy Beregovoy, Neil Armstrong and Pyotr Klimuk are the team member of min number of spacecrafts and ship types
Georgy Beregovoy Neil Armstrong Pyotr Klimuk
action argmin
action union
action find_reverse_tuple_counts
relation crew member
type common name
type spacecraft
action find_reverse_tuple_counts
relation crew member
type common name
type ship type
[[{'concept': 'spacecraft'}, {'concept': 'ship type'}], 'crew member', {'concept': 'common name'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?j ) { SELECT DISTINCT ?s ( COUNT ( ?k ) AS ?p ) WHERE { { ?k property:crew_member ?s . ?k rdf:type ontology:spacecraft . ?s rdf:type ontology:common_name } UNION { ?k property:crew_member ?s . ?s rdf:type ontology:common_name . ?k rdf:type ontology:ship_type } } GROUP BY ?s } } . { SELECT DISTINCT ?w ( COUNT ( ?b ) AS ?e ) WHERE { { ?b property:crew_member ?w . ?w rdf:type ontology:common_name . ?b rdf:type ontology:spacecraft } UNION { ?b property:crew_member ?w . ?w rdf:type ontology:common_name . ?b rdf:type ontology:ship_type } } GROUP BY ?w } . FILTER ( ?e = ?j ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q509716
P17
Q1048835
USER
How many political territories are Manly located in ?
(Q509716,P17,c(Q1048835))
action count
action filter_type
action find
entity Q509716
relation P17
type Q1048835
['Q509716', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?p ) WHERE { ?h rdf:type ontology:Q1048835 . resource:Q509716 property:P17 ?h }
Manly
action count
action filter_type
action find
entity Manly
relation country
type political territorial entity
['Manly', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?p ) WHERE { ?h rdf:type ontology:political_territorial_entity . resource:Manly property:country ?h }
[]
political territorial entity
SYSTEM
1
Q408
(Q509716,P17,c(Q1048835))
action count
action filter_type
action find
entity Q509716
relation P17
type Q1048835
[ANSWER]
['Q509716', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?p ) WHERE { ?h rdf:type ontology:Q1048835 . resource:Q509716 property:P17 ?h }
Australia
1
action count
action filter_type
action find
entity Manly
relation country
type political territorial entity
['Manly', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?h ) AS ?p ) WHERE { ?h rdf:type ontology:political_territorial_entity . resource:Manly property:country ?h }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type|Incomplete
Q21884206
P17
Q1048835
USER
And what about Peterlumbo Hill?
(Q21884206,P17,c(Q1048835))
action count
action filter_type
action find
entity Q21884206
relation P17
type Q1048835
['Q21884206', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { ?z rdf:type ontology:Q1048835 . resource:Q21884206 property:P17 ?z }
Peterlumbo Hill
action count
action filter_type
action find
entity Peterlumbo Hill
relation country
type political territorial entity
['Peterlumbo Hill', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { ?z rdf:type ontology:political_territorial_entity . resource:Peterlumbo_Hill property:country ?z }
[]
political territorial entity
SYSTEM
1
Q408
(Q21884206,P17,c(Q1048835))
action count
action filter_type
action find
entity Q21884206
relation P17
type Q1048835
[ANSWER]
['Q21884206', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { ?z rdf:type ontology:Q1048835 . resource:Q21884206 property:P17 ?z }
Australia
1
action count
action filter_type
action find
entity Peterlumbo Hill
relation country
type political territorial entity
['Peterlumbo Hill', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?x ) WHERE { ?z rdf:type ontology:political_territorial_entity . resource:Peterlumbo_Hill property:country ?z }
[]
Quantitative Reasoning (Count) (All)
Incomplete count-based ques
Q796728
Q1048835
USER
And what about BMW R 66?
(Q796728,P17,c(Q1048835))
action count
action filter_type
action find
entity Q796728
relation P17
type Q1048835
['Q796728', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?c ) WHERE { resource:Q796728 property:P17 ?k . ?k rdf:type ontology:Q1048835 }
BMW R 66
action count
action filter_type
action find
entity BMW R 66
relation country
type political territorial entity
['BMW R 66', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?c ) WHERE { resource:BMW_R_66 property:country ?k . ?k rdf:type ontology:political_territorial_entity }
[]
political territorial entity
SYSTEM
1
(Q796728,P17,c(Q1048835))
action count
action filter_type
action find
entity Q796728
relation P17
type Q1048835
[ANSWER]
['Q796728', 'P17', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?c ) WHERE { resource:Q796728 property:P17 ?k . ?k rdf:type ontology:Q1048835 }
1
action count
action filter_type
action find
entity BMW R 66
relation country
type political territorial entity
['BMW R 66', 'country', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?c ) WHERE { resource:BMW_R_66 property:country ?k . ?k rdf:type ontology:political_territorial_entity }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P1303
Q34379 Q502895
USER
Which musical instruments do min number of people know to play ?
(c(Q502895),P1303,Q3623688)
action argmin
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
[{'concept': 'Q502895'}, 'P1303', 'Q3623688']
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( MIN ( ?i ) AS ?n ) { SELECT DISTINCT ?u ( COUNT ( ?f ) AS ?i ) WHERE { ?f property:P1303 ?u . ?u rdf:type ontology:Q34379 . ?f rdf:type ontology:Q502895 } GROUP BY ?u } } . { SELECT DISTINCT ?o ( COUNT ( ?c ) AS ?s ) WHERE { ?o rdf:type ontology:Q34379 . ?c rdf:type ontology:Q502895 . ?c property:P1303 ?o } GROUP BY ?o } . FILTER ( ?s = ?n ) }
action argmin
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
[{'concept': 'common name'}, 'instrument', 'Paraguayan harp']
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( MIN ( ?i ) AS ?n ) { SELECT DISTINCT ?u ( COUNT ( ?f ) AS ?i ) WHERE { ?f property:instrument ?u . ?u rdf:type ontology:musical_instrument . ?f rdf:type ontology:common_name } GROUP BY ?u } } . { SELECT DISTINCT ?o ( COUNT ( ?c ) AS ?s ) WHERE { ?o rdf:type ontology:musical_instrument . ?c rdf:type ontology:common_name . ?c property:instrument ?o } GROUP BY ?o } . FILTER ( ?s = ?n ) }
[]
musical instrument common name
Q1879664 Q748455 Q173453
SYSTEM
spoon, cajón, wind instrument
Q1879664 Q748455 Q173453
(c(Q502895),P1303,Q3623688)
action argmin
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
Min number of people know about [ANSWERS]
[{'concept': 'Q502895'}, 'P1303', 'Q3623688']
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( MIN ( ?i ) AS ?n ) { SELECT DISTINCT ?u ( COUNT ( ?f ) AS ?i ) WHERE { ?f property:P1303 ?u . ?u rdf:type ontology:Q34379 . ?f rdf:type ontology:Q502895 } GROUP BY ?u } } . { SELECT DISTINCT ?o ( COUNT ( ?c ) AS ?s ) WHERE { ?o rdf:type ontology:Q34379 . ?c rdf:type ontology:Q502895 . ?c property:P1303 ?o } GROUP BY ?o } . FILTER ( ?s = ?n ) }
spoon cajón wind instrument
Min number of people know about spoon, cajón and wind instrument
spoon cajón wind instrument
action argmin
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
[{'concept': 'common name'}, 'instrument', 'Paraguayan harp']
SELECT DISTINCT ?o WHERE { { SELECT DISTINCT ( MIN ( ?i ) AS ?n ) { SELECT DISTINCT ?u ( COUNT ( ?f ) AS ?i ) WHERE { ?f property:instrument ?u . ?u rdf:type ontology:musical_instrument . ?f rdf:type ontology:common_name } GROUP BY ?u } } . { SELECT DISTINCT ?o ( COUNT ( ?c ) AS ?s ) WHERE { ?o rdf:type ontology:musical_instrument . ?c rdf:type ontology:common_name . ?c property:instrument ?o } GROUP BY ?o } . FILTER ( ?s = ?n ) }
[]