Simple Question (Direct)
Simple Question
Q6582319
P937
Q56061
USER
Where did Paul Larsen Forsæth work ?
(Q6582319,P937,c(Q56061))
action filter_type
action find
entity Q6582319
relation P937
type Q56061
['Q6582319', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q56061 . resource:Q6582319 property:P937 ?q }
Paul Larsen Forsæth
action filter_type
action find
entity Paul Larsen Forsæth
relation work location
type administrative territorial entity
['Paul Larsen Forsæth', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:administrative_territorial_entity . resource:Paul_Larsen_Forsæth property:work_location ?q }
[]
administrative territorial entity
Q585
SYSTEM
Oslo
Q585
(Q6582319,P937,c(Q56061))
action filter_type
action find
entity Q6582319
relation P937
type Q56061
Paul Larsen Forsæth worked in [ANSWER]
['Q6582319', 'P937', {'concept': 'Q56061'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:Q56061 . resource:Q6582319 property:P937 ?q }
Oslo
Paul Larsen Forsæth worked in Oslo
Oslo
action filter_type
action find
entity Paul Larsen Forsæth
relation work location
type administrative territorial entity
['Paul Larsen Forsæth', 'work location', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?q WHERE { ?q rdf:type ontology:administrative_territorial_entity . resource:Paul_Larsen_Forsæth property:work_location ?q }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q6582319
P19
Q13220204
USER
Where was Paul Larsen Forsæth born ?
(Q6582319,P19,c(Q13220204))
action filter_type
action find
entity Q6582319
relation P19
type Q13220204
['Q6582319', 'P19', {'concept': 'Q13220204'}]
SELECT DISTINCT ?a WHERE { resource:Q6582319 property:P19 ?a . ?a rdf:type ontology:Q13220204 }
Paul Larsen Forsæth
action filter_type
action find
entity Paul Larsen Forsæth
relation place of birth
type second-level administrative country subdivision
['Paul Larsen Forsæth', 'place of birth', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ?a WHERE { resource:Paul_Larsen_Forsæth property:place_of_birth ?a . ?a rdf:type ontology:second-level_administrative_country_subdivision }
[]
second-level administrative country subdivision
Q484106
SYSTEM
Klæbu
Q484106
(Q6582319,P19,c(Q13220204))
action filter_type
action find
entity Q6582319
relation P19
type Q13220204
Paul Larsen Forsæth was born in [ANSWER]
['Q6582319', 'P19', {'concept': 'Q13220204'}]
SELECT DISTINCT ?a WHERE { resource:Q6582319 property:P19 ?a . ?a rdf:type ontology:Q13220204 }
Klæbu
Paul Larsen Forsæth was born in Klæbu
Klæbu
action filter_type
action find
entity Paul Larsen Forsæth
relation place of birth
type second-level administrative country subdivision
['Paul Larsen Forsæth', 'place of birth', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ?a WHERE { resource:Paul_Larsen_Forsæth property:place_of_birth ?a . ?a rdf:type ontology:second-level_administrative_country_subdivision }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q484106 Q25804 Q8050286
P47
Q56061
USER
Does that administrative country subdivision shares border with Trondheim and Yattakule ?
(Q484106,P47,Q25804) (Q484106,P47,Q8050286)
action is_in
entity Q484106
action intersection
action find_reverse
entity Q25804
relation P47
action find_reverse
entity Q8050286
relation P47
['Q484106', 'P47', 'Q25804'] ['Q484106', 'P47', 'Q8050286']
ASK WHERE { resource:Q484106 property:P47 resource:Q25804 . resource:Q484106 property:P47 resource:Q8050286 }
Klæbu Trondheim Yattakule
action is_in
entity Klæbu
action intersection
action find_reverse
entity Trondheim
relation shares border with
action find_reverse
entity Yattakule
relation shares border with
['Klæbu', 'shares border with', 'Trondheim'] ['Klæbu', 'shares border with', 'Yattakule']
ASK WHERE { resource:Klæbu property:shares_border_with resource:Trondheim . resource:Klæbu property:shares_border_with resource:Yattakule }
[]
administrative territorial entity
SYSTEM
YES and NO respectively
(Q484106,P47,Q25804) (Q484106,P47,Q8050286)
action is_in
entity Q484106
action intersection
action find_reverse
entity Q25804
relation P47
action find_reverse
entity Q8050286
relation P47
[ANSWER]
['Q484106', 'P47', 'Q25804'] ['Q484106', 'P47', 'Q8050286']
ASK WHERE { resource:Q484106 property:P47 resource:Q25804 . resource:Q484106 property:P47 resource:Q8050286 }
YES and NO respectively
action is_in
entity Klæbu
action intersection
action find_reverse
entity Trondheim
relation shares border with
action find_reverse
entity Yattakule
relation shares border with
['Klæbu', 'shares border with', 'Trondheim'] ['Klæbu', 'shares border with', 'Yattakule']
ASK WHERE { resource:Klæbu property:shares_border_with resource:Trondheim . resource:Klæbu property:shares_border_with resource:Yattakule }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P1376
Q13220204 Q515
USER
How many cities are the county seat of around 1 administrative country subdivision ?
(c(Q515),P1376,c(Q13220204))
action count
action approx
action find_tuple_counts
relation P1376
type Q515
type Q13220204
value 1
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?w ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?j ) WHERE { ?x property:P1376 ?a . ?x rdf:type ontology:Q515 . ?a rdf:type ontology:Q13220204 } GROUP BY ?x } . FILTER ( ?j = 1 ) }
action count
action approx
action find_tuple_counts
relation capital of
type city
type second-level administrative country subdivision
value 1
[{'concept': 'city'}, 'capital of', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?w ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?j ) WHERE { ?x property:capital_of ?a . ?x rdf:type ontology:city . ?a rdf:type ontology:second-level_administrative_country_subdivision } GROUP BY ?x } . FILTER ( ?j = 1 ) }
[]
second-level administrative country subdivision city
SYSTEM
18
Q496667 Q23482 Q505208 Q117676 Q305640 Q6807568 Q714628 Q177149 Q271000 Q271917 Q83247 Q3768 Q693264 Q6582 Q502205 Q456 Q267894 Q7003
(c(Q515),P1376,c(Q13220204))
action count
action approx
action find_tuple_counts
relation P1376
type Q515
type Q13220204
value 1
[ANSWER]
[{'concept': 'Q515'}, 'P1376', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?w ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?j ) WHERE { ?x property:P1376 ?a . ?x rdf:type ontology:Q515 . ?a rdf:type ontology:Q13220204 } GROUP BY ?x } . FILTER ( ?j = 1 ) }
Muroran Marseille Ouarzazate Viseu Abashiri Emmen Rumoi Obihiro Bouaké Kushiro Braga Yamoussoukro Iwamizawa Carcassonne Nemuro Lyon Wakkanai Dijon
18
action count
action approx
action find_tuple_counts
relation capital of
type city
type second-level administrative country subdivision
value 1
[{'concept': 'city'}, 'capital of', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?x ) AS ?w ) WHERE { { SELECT DISTINCT ?x ( COUNT ( ?a ) AS ?j ) WHERE { ?x property:capital_of ?a . ?x rdf:type ontology:city . ?a rdf:type ontology:second-level_administrative_country_subdivision } GROUP BY ?x } . FILTER ( ?j = 1 ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q109140
P190
Q13220204 Q15617994 Q56061
USER
How many administrative country subdivisions are partner towns of approximately the same number of administrative territories and administrative territories as Elverum ?
(c(Q15617994)|c(Q56061),P190,c(Q13220204))
action count
action approx
action union
action find_reverse_tuple_counts
relation P190
type Q13220204
type Q15617994
action find_reverse_tuple_counts
relation P190
type Q13220204
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q109140
relation P190
type Q15617994
type Q56061
[[{'concept': 'Q15617994'}, {'concept': 'Q56061'}], 'P190', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?x ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) ?s WHERE { ?b rdf:type ?y . VALUES ( ?y ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) WHERE { ?f property:P190 resource:Q109140 . { { ?f rdf:type ontology:Q15617994 } UNION { ?f rdf:type ontology:Q56061 } } } } . FILTER ( ?q = ?j ) }
Elverum
action count
action approx
action union
action find_reverse_tuple_counts
relation sister city
type second-level administrative country subdivision
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation sister city
type second-level administrative country subdivision
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Elverum
relation sister city
type designation for an administrative territorial entity
type administrative territorial entity
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'administrative territorial entity'}], 'sister city', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?x ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) ?s WHERE { ?b rdf:type ?y . VALUES ( ?y ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) WHERE { ?f property:sister_city resource:Elverum . { { ?f rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?f rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?q = ?j ) }
[]
second-level administrative country subdivision designation for an administrative territorial entity administrative territorial entity
SYSTEM
591
Q622817 Q67040 Q331191 Q67286 Q64224 Q68129 Q67282 Q10082 Q69545 Q64027 Q57917 Q739449 Q57914 Q841299 Q64210 Q7123 Q69235 Q193965 Q255972 Q7124 Q70245 Q668869 Q840457 Q932155 Q69721 Q67348 Q381340 Q3827305 Q70369 Q69726 Q13209 Q10016 Q160584 Q183029 Q68889 Q146497 Q3621436 Q65316 Q866611 Q65620 Q69099 Q56915 Q68906 Q64567 Q70643 Q161144 Q55180 Q638592 Q130048 Q133280 Q64961 Q69203 Q615491 Q69590 Q498256 Q1021676 Q54925 Q69383 Q1023951 Q64668 Q65268 Q64665 Q917326 Q107392 Q9924 Q9926 Q65797 Q66831 Q9880 Q68261 Q66562 Q3947412 Q565290 Q70221 Q110268 Q631788 Q67249 Q68003 Q158904 Q18473 Q69274 Q492115 Q14566 Q69071 Q9819 Q9952 Q9810 Q69374 Q69783 Q683658 Q67382 Q161984 Q147739 Q67544 Q70734 Q249715 Q691992 Q43195 Q66381 Q68076 Q493308 Q1002565 Q208012 Q1003757 Q36077 Q69612 Q990365 Q67496 Q67499 Q65510 Q661799 Q14570 Q64077 Q9774 Q70603 Q69515 Q994125 Q65195 Q291780 Q27494 Q688324 Q69754 Q69757 Q67809 Q68986 Q65040 Q10024 Q1190659 Q488779 Q66125 Q68220 Q1010094 Q68224 Q72981 Q68959 Q156743 Q426945 Q39383 Q420333 Q70513 Q48668 Q108999 Q484111 Q584694 Q643576 Q69724 Q488975 Q70101 Q69979 Q685990 Q1011435 Q850031 Q740845 Q68256 Q156719 Q68250 Q9857 Q68315 Q5128 Q68311 Q113740 Q9910 Q984656 Q67724 Q625157 Q68244 Q104379 Q68031 Q1019053 Q500227 Q843899 Q66050 Q157440 Q68240 Q69570 Q69572 Q986107 Q952457 Q47062 Q484243 Q64156 Q200133 Q67611 Q565312 Q156760 Q46001 Q320015 Q2527479 Q317943 Q69714 Q51111 Q58931 Q3799 Q2047414 Q1532373 Q1770737 Q486696 Q5262 Q156125 Q64908 Q66473 Q281835 Q65497 Q57097 Q69668 Q68711 Q70655 Q68165 Q64873 Q68956 Q10071 Q10073 Q1006413 Q659665 Q136498 Q995091 Q507065 Q281137 Q1542478 Q65273 Q70424 Q1639488 Q9791 Q68762 Q157137 Q9796 Q67159 Q565287 Q70139 Q2201876 Q64727 Q238396 Q64058 Q64482 Q65978 Q65872 Q987491 Q985455 Q69417 Q591719 Q9942 Q67714 Q1893077 Q9949 Q63939 Q952939 Q1010463 Q48696 Q252098 Q70048 Q946398 Q67468 Q67530 Q980728 Q68665 Q69401 Q483902 Q33342 Q52193 Q760224 Q110311 Q7143 Q69819 Q14641 Q69747 Q69745 Q219193 Q69629 Q217802 Q938739 Q484057 Q845666 Q69621 Q484052 Q483877 Q7132 Q483871 Q461142 Q70202 Q721567 Q70295 Q70293 Q52261 Q70204 Q1000404 Q111039 Q10035 Q966825 Q65981 Q1574897 Q66132 Q133230 Q3853441 Q488747 Q63986 Q70467 Q9999 Q64541 Q214913 Q156809 Q405241 Q66433 Q15582 Q15583 Q66617 Q69967 Q335135 Q109005 Q54449 Q493851 Q64099 Q21194 Q554313 Q64093 Q501518 Q648489 Q1000865 Q1442335 Q68363 Q66814 Q68248 Q9093 Q951897 Q493988 Q68532 Q9905 Q411715 Q67100 Q70635 Q997796 Q538953 Q68026 Q66040 Q70167 Q66042 Q490462 Q57871 Q65802 Q1135341 Q64461 Q65808 Q101918 Q208764 Q69259 Q9835 Q9833 Q455464 Q67582 Q73065 Q9850 Q67367 Q52698 Q70308 Q48529 Q936904 Q110848 Q69706 Q1813743 Q69704 Q68097 Q68319 Q10052 Q9866 Q1525701 Q868198 Q236744 Q856293 Q64504 Q1003164 Q69675 Q64469 Q2326 Q988413 Q57081 Q318018 Q57083 Q48827 Q48732 Q69172 Q2590698 Q488229 Q15340 Q493315 Q70304 Q10043 Q10045 Q337497 Q66523 Q1003146 Q64219 Q211260 Q919617 Q66146 Q107396 Q68201 Q744259 Q52278 Q222755 Q691725 Q68471 Q9780 Q9781 Q372840 Q2680952 Q109036 Q107351 Q67140 Q1149128 Q485297 Q65512 Q69525 Q67055 Q156734 Q113595 Q109042 Q67705 Q69058 Q9872 Q109048 Q9978 Q9876 Q9875 Q110431 Q9856 Q67137 Q997421 Q161961 Q36354 Q54062 Q69551 Q1011303 Q486726 Q69558 Q69222 Q69227 Q7131 Q249906 Q7133 Q65421 Q140671 Q48701 Q323774 Q69732 Q1241374 Q62641 Q69734 Q69738 Q613989 Q10001 Q10002 Q10003 Q745038 Q43245 Q70671 Q52271 Q65107 Q986059 Q939948 Q66457 Q757856 Q68871 Q69085 Q65732 Q2152317 Q322986 Q6535 Q67798 Q579984 Q405252 Q623736 Q66604 Q54939 Q70232 Q65921 Q840632 Q793424 Q493481 Q66211 Q917330 Q9932 Q109494 Q723246 Q9938 Q43225 Q66511 Q68540 Q66518 Q411723 Q109140 Q66890 Q19491 Q66672 Q67278 Q68015 Q216430 Q64178 Q983483 Q564759 Q57868 Q69512 Q64070 Q57864 Q204905 Q14571 Q52303 Q57860 Q9803 Q9802 Q952183 Q9806 Q1442359 Q9808 Q90597 Q90595 Q2241 Q14592 Q2245 Q243766 Q538407 Q69507 Q67006 Q70260 Q69426 Q381337 Q69942 Q65158 Q43048 Q69429 Q67486 Q486677 Q109469 Q68933 Q88806 Q64920 Q33544 Q67305 Q68838 Q146524 Q484074 Q69160 Q26581 Q52678 Q68395 Q52773 Q71727 Q52671 Q617416 Q33682 Q208259 Q65073 Q10053 Q4686 Q2091726 Q473529 Q66256 Q972 Q70710 Q68946 Q66846 Q36160 Q36167 Q66487 Q485253 Q851399 Q69114 Q609028 Q68580 Q146453 Q68742 Q69690 Q69697 Q69495 Q934753 Q500284 Q69498 Q826511 Q65506 Q66633 Q532572 Q488962 Q69945 Q65508 Q849574 Q1126256 Q504580 Q68305 Q66017 Q1003551 Q64334 Q69180 Q1533546
(c(Q15617994)|c(Q56061),P190,c(Q13220204))
action count
action approx
action union
action find_reverse_tuple_counts
relation P190
type Q13220204
type Q15617994
action find_reverse_tuple_counts
relation P190
type Q13220204
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q109140
relation P190
type Q15617994
type Q56061
[ANSWER]
[[{'concept': 'Q15617994'}, {'concept': 'Q56061'}], 'P190', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?x ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) ?s WHERE { ?b rdf:type ?y . VALUES ( ?y ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) WHERE { ?f property:P190 resource:Q109140 . { { ?f rdf:type ontology:Q15617994 } UNION { ?f rdf:type ontology:Q56061 } } } } . FILTER ( ?q = ?j ) }
Tomar Naters Abrantes Municipality Braggio Opfikon Olten Urtenen-Schönbühl Tholen Saint-Maurice Nyon Ullensaker Krimpen aan den IJssel Sørum Matosinhos Spreitenbach Sursee Cham Kamianets-Podilskyi Eemsmond Ruswil Gimel Epesses Tynaarlo Heumen La Tour-de-Peilz Gansingen Mealhada Las Vueltas Fehraltorf Langenthal Nidau Oldenzaal Sievierodonetsk Sande Vouvry Berehove Arcatao Meisterschwanden Commune of Bisoro Tuggen Trimmis Aurskog-Høland Bagnes Buochs Mörel-Filet Alchevsk Zaragoza Province Krāslava Røst Środa Wielkopolska County Felsberg Erlenbach Heerde Leuk Bauska Trigono Guadalajara Province Hinwil Salcedo, Hermanas Mirabal Reigoldswil Brienz Birsfelden Vila Franca de Xira Tønsberg Haarlemmermeer Heemskerk Sirnach Bettlach Werkendam Meilen Tübach San José Las Flores, Chalatenango Vila Franca do Campo Le Mont-sur-Lausanne Nedre Eiker Paredes Reconvilier Claro Korosten Zuchwil Lichtensteig Randaberg Ebikon Münchenbuchsee Boxmeer Opmeer Asten Wallisellen Münsingen Franekeradeel Bellmund Fastiv Izmail Malleray Oron Olaine Grocka Aigle Kiesen Perroy Bjerkreim Madalena Hoogeveen Khartsyzk Hạ Long Sevelen Ponte de Sor Municipality Blatten Herzogenbuchsee Bonstetten Saint-Ursanne Horw Wil Weert Avegno Gordevio Vétroz Natitingou Suhr Ísafjarðarbær Zermatt Parakou Volketswil Prilly Landiswil St. Moritz Neftenbach Twenterand Vaasa sub-region Tynset Neuenegg Oftringen Ipiales Morcote Wijchen Thalwil Ternopil Cantanhede Municipality Bodø Aknīste Val Müstair Spydeberg Røros Averøy Stara Pazova Ypacaraí Oberwil Lærdal Sembrancher Villeret Guaduas Svitlovodsk Ouidah Olhão Municipality Porrentruy Kamianske Rorschach Oisterwijk Heiden Woerden Burgdorf Eidsberg Castricum Penafiel Vex Estremoz Wohlen Vadsø Heitenried Lajes do Pico Vennesla Rheden Menzingen Truskavets Onex Rolle Saxon Alcanena Municipality Nizhyn Fernando de la Mora Bjugn Arbon Chalkida Grosshöchstetten Ribeira Grande Nikopol Alushta San Juan de Pasto Kouandé Nowa Sól County Grand-Saconnex Pereira Harderwijk Porto-Novo Palanga Zaltbommel Albufeira Municipality Rygge Riehen Larvik Mutten Lengnau Sirdal Hausen bei Brugg Coppet Steffisburg Préverenges Mex Kloten Illnau-Effretikon Martigny Borsele Hulst Lousã Municipality Salacgrīva Fuerte Olimpo Aleksandrovac Smallingerland Bratsch Grand-Popo Plan-les-Ouates Saint-Blaise Sosúa Mook en Middelaar Mont-sur-Rolle Kryvyi Rih Kerkrade Kerns São João da Madeira Cressier Presidente Franco District Allschwil Epe Köniz Rothrist Dulliken Arconciel Nova Kakhovka Egaleo Zweisimmen Novovolynsk Landsmeer Cottens Bassila Naarden Baden Lingewaard Santa Cruz da Graciosa Fauske New Belgrade Vucherens Paços de Ferreira Nods Bettingen Domburg Muntelier Morges Karmøy Bila Tserkva Kolomyia Hola Prystan Øvre Eiker Schenkon Dürrenroth Emmen Reinach Renens Chop Lohn Stjørdal San Lorenzo Hol Kandi Binningen Bamble Eigersund Buttisholz Holmestrand Bedum Moudon Quillota Province Schöfflisdorf Merzligen Bex Le Landeron Pryluky Namsos De Bilt Pombal Municipality Krauchthal Ambalema Erlenbach im Simmental Piła County Meanguera, Morazán Kvinesdal Zofingen Vaumarcus Dinkelland Obersiggenthal Leticia Novyi Rozdil Oliveira do Bairro Municipality Eiken Brig Brig-Glis Frick Wangen bei Olten Popayán Sandefjord Vellerat Tysfjord Brugg Vũng Tàu Racibórz County Le Locle Gran Loznica Vlist Manzanares Laufen Schwerzenbach Grenchen Bülach Chiquinquirá Malvik La Sagne Beverwijk Aizkraukle Lachen Glarus Nord Pamplona La Vega Embd Thierachern Ayent Hilterfingen Farsund Skedsmo Hüttlingen Kętrzyn County Neuenhof Buchberg Apeldoorn Katwijk Pontresina Geldrop-Mierlo Etten-Leur Noordwijk Oberdiessbach Veendam Loon op Zand Niederried bei Kallnach Chardonne Cortaillod Trysil Felgueiras Municipality Ringerike Brissago Voždovac Münchwilen Davos Bergün Vianen Sint-Michielsgestel Tenjo Djougou Tunja Novi Kneževac Auenstein Vila do Porto Zollikofen Fislisbach Notodden Puerto Plata Enebakk Słubice County Frogn Sør-Varanger Meråker Hallau Pantelej Rendalen Hyderabad district Bardu Saas-Balen Utrechtse Heuvelrug IJsselstein Čajetina Füllinsdorf Vila Nova de Paiva Würenlingen Zaandam Brus Brenzikofen Leikanger Thônex Ludza Boussens Ibagué Renkum Binn Stein Sittard-Geleen Tavira Municipality Rotterdam Haugesund Hammerfest Radelfingen Krosno County Sauda Oberembrach Payerne Massagno Oleksandriia, Kirovohrad Oblast Oppdal Halden Schmitten Wittnau Uden Horten Zaanstad Vught Veldhoven Steinkjer Oirschot Elgg Vasylkiv Myrhorod Hải Dương Ås Evolène Obukhiv Sigdal Savièse Aarwangen Orpund Nottwil Águeda Municipality Grosswangen Lostorf Ostroh Svelvik Valka Worb Moca Nordkapp Bassersdorf Pully Duiven Deventer Enschede Haaksbergen Waalwijk Baulmes Romainmôtier-Envy Bottens Stierva Copargo Putten Rafz Valpaços Municipality Martigny-Combe Samedan Sigriswil Kastrychnitski District Delfzijl Alta Plaffeien Temerin Oliveira de Azeméis Câmara de Lobos Risch-Rotkreuz Valencia Province Les Bois Grossaffoltern Opsterland Berezhany Flekkefjord Konolfingen Santo Tirso Municipality Heiloo Odda Santa Tecla, El Salvador Hoorn Assens Olsberg Les Planchettes Oberflachs Aizpute Elverum Rüthi Nha Trang Breitenbach Mühleberg Roggwil Levanger Maienfeld Gondomar Lagoa Oppegård Lyss Dietikon Nesodden Eleusis Kriens Bussy-Chardonney Lørenskog Brunssum Echt-Susteren Rijnwoude Beek Palermo Aalburg Tvedestrand Risør Tokke Ettiswil Vinje Bucaramanga Montemor-o-Novo Municipality Boudry Lohn-Ammannsegg Féchy Gadmen Estarreja Municipality Boécourt Stetten Rhodes Lengnau Eggerberg Dovre Askim Mex Bykle Breil/Brigels Volodymyr-Volynskyi Charmey La Brévine Yaremche Nord-Aurdal Bolligen Thái Nguyên Chamblon Neerach Cheseaux-sur-Lausanne Irpin Carrouge Kovin Nam Định Ameland Brienz/Brinzauls Wijk bij Duurstede Slavonski Brod Pukhavichy District Fjell Hünenberg Alkmaar Saillon Saint-Oyens Lotzwil Hội An Huế Corminboeuf Stord Strenči Trubschachen Antratsyt Cheyres Kalush Échichens Ittigen Lutry Ligerz Buga Orkdal Giubiasco Montijo Municipality Flawil Kilchberg Mariquita, Tolima Hægebostad Müntschemier Balgach Loppersum Hajnówka County Chaves Municipality Wetzikon Lütschental Nejapa Berikon Stetten Norðurþing
591
action count
action approx
action union
action find_reverse_tuple_counts
relation sister city
type second-level administrative country subdivision
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation sister city
type second-level administrative country subdivision
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Elverum
relation sister city
type designation for an administrative territorial entity
type administrative territorial entity
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'administrative territorial entity'}], 'sister city', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?x ) WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?q ) ?s WHERE { ?b rdf:type ?y . VALUES ( ?y ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) WHERE { ?f property:sister_city resource:Elverum . { { ?f rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?f rdf:type ontology:administrative_territorial_entity } } } } . FILTER ( ?q = ?j ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q990448
P190
Q13220204 Q15617994 Q56061
USER
And how about Seixal Municipality?
(c(Q15617994)|c(Q56061),P190,c(Q13220204))
action count
action approx
action union
action find_reverse_tuple_counts
relation P190
type Q13220204
type Q15617994
action find_reverse_tuple_counts
relation P190
type Q13220204
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q990448
relation P190
type Q15617994
type Q56061
[[{'concept': 'Q15617994'}, {'concept': 'Q56061'}], 'P190', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?v ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?x ) ?z WHERE { VALUES ( ?j ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } . ?g rdf:type ?j } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?d ) WHERE { ?m property:P190 resource:Q990448 . { ?m rdf:type ?e . VALUES ( ?e ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } } } } . FILTER ( ?x = ?d ) }
Seixal Municipality
action count
action approx
action union
action find_reverse_tuple_counts
relation sister city
type second-level administrative country subdivision
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation sister city
type second-level administrative country subdivision
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Seixal Municipality
relation sister city
type designation for an administrative territorial entity
type administrative territorial entity
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'administrative territorial entity'}], 'sister city', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?v ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?x ) ?z WHERE { VALUES ( ?j ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } . ?g rdf:type ?j } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?d ) WHERE { ?m property:sister_city resource:Seixal_Municipality . { ?m rdf:type ?e . VALUES ( ?e ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } } } } . FILTER ( ?x = ?d ) }
[]
second-level administrative country subdivision designation for an administrative territorial entity administrative territorial entity
SYSTEM
39
Q101341 Q193677 Q57919 Q729447 Q3370 Q5707 Q192119 Q56869 Q63946 Q990448 Q450625 Q995055 Q252205 Q183394 Q917313 Q744247 Q64051 Q971700 Q43595 Q4191 Q179948 Q732986 Q917535 Q158923 Q157053 Q107135 Q62266 Q156739 Q9970 Q889530 Q33349 Q3348885 Q62823 Q189161 Q104095 Q3549 Q543542 Q157725 Q109021
(c(Q15617994)|c(Q56061),P190,c(Q13220204))
action count
action approx
action union
action find_reverse_tuple_counts
relation P190
type Q13220204
type Q15617994
action find_reverse_tuple_counts
relation P190
type Q13220204
type Q56061
action count
action filter_multi_types
action find_reverse
entity Q990448
relation P190
type Q15617994
type Q56061
[ANSWER]
[[{'concept': 'Q15617994'}, {'concept': 'Q56061'}], 'P190', {'concept': 'Q13220204'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?v ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?x ) ?z WHERE { VALUES ( ?j ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } . ?g rdf:type ?j } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?d ) WHERE { ?m property:P190 resource:Q990448 . { ?m rdf:type ?e . VALUES ( ?e ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } } } } . FILTER ( ?x = ?d ) }
Lillehammer Angra do Heroísmo Arendal Dobele Zadar Bjelovar Sisak Asker Yverdon-les-Bains Seixal Municipality Alytus Velika Plana Árborg Vagharshapat Vila do Conde Saldus Monthey Stari Grad, Belgrade Cotonou Lucerne Évora Salaspils Loures Stryi Chernihiv Fredrikstad Ålesund Rivne Velsen Chornomorsk Melitopol Sintra Municipality Barranquilla Trogir Molde Šibenik Portimão Chernivtsi Moss
39
action count
action approx
action union
action find_reverse_tuple_counts
relation sister city
type second-level administrative country subdivision
type designation for an administrative territorial entity
action find_reverse_tuple_counts
relation sister city
type second-level administrative country subdivision
type administrative territorial entity
action count
action filter_multi_types
action find_reverse
entity Seixal Municipality
relation sister city
type designation for an administrative territorial entity
type administrative territorial entity
[[{'concept': 'designation for an administrative territorial entity'}, {'concept': 'administrative territorial entity'}], 'sister city', {'concept': 'second-level administrative country subdivision'}]
SELECT DISTINCT ( COUNT ( ?z ) AS ?v ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?x ) ?z WHERE { VALUES ( ?j ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } . ?g rdf:type ?j } GROUP BY ?z } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?d ) WHERE { ?m property:sister_city resource:Seixal_Municipality . { ?m rdf:type ?e . VALUES ( ?e ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } } } } . FILTER ( ?x = ?d ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q972609 Q585
P840 P190
Q56061
USER
Which administrative territories are twin cities of Oslo and are Sweet Tooth set in ?
AND((Q585,P190,c(Q56061)), (Q972609,P840,c(Q56061)))
action filter_type
action intersection
action find
entity Q585
relation P190
action find
entity Q972609
relation P840
type Q56061
{'AND': [['Q585', 'P190', {'concept': 'Q56061'}], ['Q972609', 'P840', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?b WHERE { resource:Q585 property:P190 ?b . resource:Q972609 property:P840 ?b . ?b rdf:type ontology:Q56061 }
Sweet Tooth Oslo
action filter_type
action intersection
action find
entity Oslo
relation sister city
action find
entity Sweet Tooth
relation narrative location
type administrative territorial entity
{'AND': [['Oslo', 'sister city', {'concept': 'administrative territorial entity'}], ['Sweet Tooth', 'narrative location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?b WHERE { resource:Oslo property:sister_city ?b . resource:Sweet_Tooth property:narrative_location ?b . ?b rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q84
SYSTEM
London
Q84
AND((Q585,P190,c(Q56061)), (Q972609,P840,c(Q56061)))
action filter_type
action intersection
action find
entity Q585
relation P190
action find
entity Q972609
relation P840
type Q56061
[ANSWER] is twin cities of Oslo and is Sweet Tooth set in
{'AND': [['Q585', 'P190', {'concept': 'Q56061'}], ['Q972609', 'P840', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?b WHERE { resource:Q585 property:P190 ?b . resource:Q972609 property:P840 ?b . ?b rdf:type ontology:Q56061 }
London
London is twin cities of Oslo and is Sweet Tooth set in
London
action filter_type
action intersection
action find
entity Oslo
relation sister city
action find
entity Sweet Tooth
relation narrative location
type administrative territorial entity
{'AND': [['Oslo', 'sister city', {'concept': 'administrative territorial entity'}], ['Sweet Tooth', 'narrative location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?b WHERE { resource:Oslo property:sister_city ?b . resource:Sweet_Tooth property:narrative_location ?b . ?b rdf:type ontology:administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q84 Q337135
P937
Q502895
USER
Does James Erskine, 14th Earl of Mar work at that administrative territory ?
(Q337135,P937,Q84)
action is_in
entity Q84
action find
entity Q337135
relation P937
['Q337135', 'P937', 'Q84']
ASK WHERE { resource:Q337135 property:P937 resource:Q84 }
London James Erskine, 14th Earl of Mar
action is_in
entity London
action find
entity James Erskine, 14th Earl of Mar
relation work location
['James Erskine, 14th Earl of Mar', 'work location', 'London']
ASK WHERE { resource:James_Erskine,_14th_Earl_of_Mar property:work_location resource:London }
[]
common name
SYSTEM
YES
(Q337135,P937,Q84)
action is_in
entity Q84
action find
entity Q337135
relation P937
[ANSWER]
['Q337135', 'P937', 'Q84']
ASK WHERE { resource:Q337135 property:P937 resource:Q84 }
Yes
action is_in
entity London
action find
entity James Erskine, 14th Earl of Mar
relation work location
['James Erskine, 14th Earl of Mar', 'work location', 'London']
ASK WHERE { resource:James_Erskine,_14th_Earl_of_Mar property:work_location resource:London }
[]