Simple Question (Direct)
Simple Question
Q440225
P641
Q31629
USER
What did Ana Cláudia Lemos participate in ?
(Q440225,P641,c(Q31629))
action filter_type
action find
entity Q440225
relation P641
type Q31629
['Q440225', 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ?u WHERE { resource:Q440225 property:P641 ?u . ?u rdf:type ontology:Q31629 }
Ana Cláudia Lemos
action filter_type
action find
entity Ana Cláudia Lemos
relation sport
type type of sport
['Ana Cláudia Lemos', 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ?u WHERE { resource:Ana_Cláudia_Lemos property:sport ?u . ?u rdf:type ontology:type_of_sport }
[]
type of sport
Q542
SYSTEM
athletics
Q542
(Q440225,P641,c(Q31629))
action filter_type
action find
entity Q440225
relation P641
type Q31629
Ana Cláudia Lemos participated in [ANSWER]
['Q440225', 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ?u WHERE { resource:Q440225 property:P641 ?u . ?u rdf:type ontology:Q31629 }
athletics
Ana Cláudia Lemos participated in athletics
athletics
action filter_type
action find
entity Ana Cláudia Lemos
relation sport
type type of sport
['Ana Cláudia Lemos', 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ?u WHERE { resource:Ana_Cláudia_Lemos property:sport ?u . ?u rdf:type ontology:type_of_sport }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q440225
P106
Q12737077
USER
Which occupation is the profession of Ana Cláudia Lemos ?
(Q440225,P106,c(Q12737077))
action filter_type
action find
entity Q440225
relation P106
type Q12737077
['Q440225', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q12737077 . resource:Q440225 property:P106 ?p }
Ana Cláudia Lemos
action filter_type
action find
entity Ana Cláudia Lemos
relation occupation
type occupation
['Ana Cláudia Lemos', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:occupation . resource:Ana_Cláudia_Lemos property:occupation ?p }
[]
occupation
Q4009406
SYSTEM
sprinter
Q4009406
(Q440225,P106,c(Q12737077))
action filter_type
action find
entity Q440225
relation P106
type Q12737077
The [ANSWER] is the profession of Ana Cláudia Lemos
['Q440225', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:Q12737077 . resource:Q440225 property:P106 ?p }
sprinter
The sprinter is the profession of Ana Cláudia Lemos
sprinter
action filter_type
action find
entity Ana Cláudia Lemos
relation occupation
type occupation
['Ana Cláudia Lemos', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?p WHERE { ?p rdf:type ontology:occupation . resource:Ana_Cláudia_Lemos property:occupation ?p }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q440225
P27
Q15617994
USER
Which administrative territory is Ana Cláudia Lemos an inhabitant of ?
(Q440225,P27,c(Q15617994))
action filter_type
action find
entity Q440225
relation P27
type Q15617994
['Q440225', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q440225 property:P27 ?p . ?p rdf:type ontology:Q15617994 }
Ana Cláudia Lemos
action filter_type
action find
entity Ana Cláudia Lemos
relation country of citizenship
type designation for an administrative territorial entity
['Ana Cláudia Lemos', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:Ana_Cláudia_Lemos property:country_of_citizenship ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q155
SYSTEM
Brazil
Q155
(Q440225,P27,c(Q15617994))
action filter_type
action find
entity Q440225
relation P27
type Q15617994
[ANSWER] is Ana Cláudia Lemos an inhabitant of
['Q440225', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?p WHERE { resource:Q440225 property:P27 ?p . ?p rdf:type ontology:Q15617994 }
Brazil
Brazil is Ana Cláudia Lemos an inhabitant of
Brazil
action filter_type
action find
entity Ana Cláudia Lemos
relation country of citizenship
type designation for an administrative territorial entity
['Ana Cláudia Lemos', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?p WHERE { resource:Ana_Cláudia_Lemos property:country_of_citizenship ?p . ?p rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q440225
P19
Q1048835
USER
Which political territory was that person born in ?
(Q155,P19,c(Q1048835))
action filter_type
action find
entity Q440225
relation P19
type Q1048835
['Q155', 'P19', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q1048835 . resource:Q440225 property:P19 ?h }
Ana Cláudia Lemos
action filter_type
action find
entity Ana Cláudia Lemos
relation place of birth
type political territorial entity
['Brazil', 'place of birth', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:political_territorial_entity . resource:Ana_Cláudia_Lemos property:place_of_birth ?h }
[]
political territorial entity
Q2027316
SYSTEM
Jaguaretama
Q2027316
(Q155,P19,c(Q1048835))
action filter_type
action find
entity Q440225
relation P19
type Q1048835
That person was born in [ANSWER]
['Q155', 'P19', {'concept': 'Q1048835'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q1048835 . resource:Q440225 property:P19 ?h }
Jaguaretama
That person was born in Jaguaretama
Jaguaretama
action filter_type
action find
entity Ana Cláudia Lemos
relation place of birth
type political territorial entity
['Brazil', 'place of birth', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:political_territorial_entity . resource:Ana_Cláudia_Lemos property:place_of_birth ?h }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q1048835 Q1048835
USER
How many political territories are known to have diplomatic connections with atleast 3 political territories ?
(c(Q1048835),P530,c(Q1048835))
action count
action atleast
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
value 3
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?d ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?l ) WHERE { ?t property:P530 ?k . ?t rdf:type ontology:Q1048835 . ?k rdf:type ontology:Q1048835 } GROUP BY ?t } . FILTER ( ?l >= 3 ) }
action count
action atleast
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
value 3
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?d ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?l ) WHERE { ?t property:diplomatic_relation ?k . ?t rdf:type ontology:political_territorial_entity . ?k rdf:type ontology:political_territorial_entity } GROUP BY ?t } . FILTER ( ?l >= 3 ) }
[]
political territorial entity political territorial entity
SYSTEM
5
Q183 Q408 Q35 Q16 Q664
(c(Q1048835),P530,c(Q1048835))
action count
action atleast
action find_tuple_counts
relation P530
type Q1048835
type Q1048835
value 3
[ANSWER]
[{'concept': 'Q1048835'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?d ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?l ) WHERE { ?t property:P530 ?k . ?t rdf:type ontology:Q1048835 . ?k rdf:type ontology:Q1048835 } GROUP BY ?t } . FILTER ( ?l >= 3 ) }
Germany Australia Denmark Canada New Zealand
5
action count
action atleast
action find_tuple_counts
relation diplomatic relation
type political territorial entity
type political territorial entity
value 3
[{'concept': 'political territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?d ) WHERE { { SELECT DISTINCT ?t ( COUNT ( ?k ) AS ?l ) WHERE { ?t property:diplomatic_relation ?k . ?t rdf:type ontology:political_territorial_entity . ?k rdf:type ontology:political_territorial_entity } GROUP BY ?t } . FILTER ( ?l >= 3 ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P530
Q1048835 Q15617994
USER
Which administrative territories have diplomatic associations with min number of political territories ?
(c(Q15617994),P530,c(Q1048835))
action argmin
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( MIN ( ?t ) AS ?u ) { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?t ) WHERE { ?s property:P530 ?y . ?y rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q15617994 } GROUP BY ?s } } . { SELECT DISTINCT ?m ( COUNT ( ?d ) AS ?b ) WHERE { ?m property:P530 ?d . ?m rdf:type ontology:Q15617994 . ?d rdf:type ontology:Q1048835 } GROUP BY ?m } . FILTER ( ?b = ?u ) }
action argmin
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( MIN ( ?t ) AS ?u ) { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?t ) WHERE { ?s property:diplomatic_relation ?y . ?y rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?s } } . { SELECT DISTINCT ?m ( COUNT ( ?d ) AS ?b ) WHERE { ?m property:diplomatic_relation ?d . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d rdf:type ontology:political_territorial_entity } GROUP BY ?m } . FILTER ( ?b = ?u ) }
[]
political territorial entity designation for an administrative territorial entity
Q805 Q858 Q842
SYSTEM
Yemen, Syria, Oman
Q805 Q399 Q398 Q790 Q236 Q842 Q858
(c(Q15617994),P530,c(Q1048835))
action argmin
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
[ANSWERS] have diplomatic associations with min number of political territories
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( MIN ( ?t ) AS ?u ) { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?t ) WHERE { ?s property:P530 ?y . ?y rdf:type ontology:Q1048835 . ?s rdf:type ontology:Q15617994 } GROUP BY ?s } } . { SELECT DISTINCT ?m ( COUNT ( ?d ) AS ?b ) WHERE { ?m property:P530 ?d . ?m rdf:type ontology:Q15617994 . ?d rdf:type ontology:Q1048835 } GROUP BY ?m } . FILTER ( ?b = ?u ) }
Yemen Armenia Bahrain Haiti Montenegro Oman Syria
Yemen, Syria and Oman have diplomatic associations with min number of political territories
Yemen Syria Oman
action argmin
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( MIN ( ?t ) AS ?u ) { SELECT DISTINCT ?s ( COUNT ( ?y ) AS ?t ) WHERE { ?s property:diplomatic_relation ?y . ?y rdf:type ontology:political_territorial_entity . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?s } } . { SELECT DISTINCT ?m ( COUNT ( ?d ) AS ?b ) WHERE { ?m property:diplomatic_relation ?d . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity . ?d rdf:type ontology:political_territorial_entity } GROUP BY ?m } . FILTER ( ?b = ?u ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q794
P1376
Q15617994 Q20667921 Q515
USER
Which administrative territories have around the same number of french administrative divisions or cities have their center of administration as Iran ?
(c(Q20667921)|c(Q515),P1376,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q794
relation P1376
type Q20667921
type Q515
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?n ) AS ?q ) WHERE { { ?n property:P1376 ?c . ?c rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q515 } UNION { ?n property:P1376 ?c . ?c rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q20667921 } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?m ) WHERE { { ?o rdf:type ?p . VALUES ( ?p ) { ( ontology:Q20667921 ) ( ontology:Q515 ) } } . ?o property:P1376 resource:Q794 } } . FILTER ( ?q = ?m ) }
Iran
action approx
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Iran
relation capital of
type type of french administrative division
type city
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?n ) AS ?q ) WHERE { { ?n property:capital_of ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:city } UNION { ?n property:capital_of ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:type_of_french_administrative_division } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?m ) WHERE { { ?o rdf:type ?p . VALUES ( ?p ) { ( ontology:type_of_french_administrative_division ) ( ontology:city ) } } . ?o property:capital_of resource:Iran } } . FILTER ( ?q = ?m ) }
[]
designation for an administrative territorial entity type of french administrative division city
Q155 Q17 Q347
SYSTEM
Brazil, Japan, Liechtenstein
Q12631 Q414 Q3368 Q3044731 Q399 Q258 Q155 Q12689 Q3377 Q3372 Q3093 Q2528268 Q12594 Q736 Q12574 Q12792 Q843 Q2007 Q12700 Q12709 Q1050 Q298 Q115 Q114 Q12642 Q3216 Q3194 Q12804 Q12808 Q3326 Q696651 Q3286 Q948 Q3266 Q3105 Q639100 Q33788 Q702 Q12740 Q12745 Q12779 Q833 Q12607 Q790 Q796 Q794 Q889 Q884 Q881 Q2281221 Q12694 Q12515 Q12517 Q3364 Q541095 Q3148 Q12675 Q12589 Q12584 Q12580 Q3131 Q12788 Q12784 Q12782 Q1037 Q1033 Q1030 Q750 Q12736 Q12657 Q12652 Q30831 Q12556 Q878 Q46130 Q3044714 Q12816 Q1951 Q3353 Q3357 Q3184 Q711 Q717 Q2900529 Q1999970 Q155019 Q107426 Q1948 Q12661 Q27 Q225 Q222 Q47261 Q1270623 Q228 Q963 Q3125 Q3120 Q1008 Q3110307 Q12722 Q12553 Q12620 Q12626 Q12543 Q72670 Q12563 Q426025 Q568751 Q2150573 Q12536 Q3342 Q842 Q3349 Q3083 Q3249 Q12761 Q12765 Q4712 Q924 Q928 Q851 Q12717 Q3334 Q12572 Q12576 Q12578 Q347 Q3462133 Q12679 Q17 Q3207 Q212 Q211 Q218 Q974 Q3113 Q1019 Q1011 Q12758 Q12753 Q12751 Q12564
(c(Q20667921)|c(Q515),P1376,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q794
relation P1376
type Q20667921
type Q515
[ANSWERS] have around the same number of french administrative divisions or cities have their center of administration as Iran
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?n ) AS ?q ) WHERE { { ?n property:P1376 ?c . ?c rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q515 } UNION { ?n property:P1376 ?c . ?c rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q20667921 } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?m ) WHERE { { ?o rdf:type ?p . VALUES ( ?p ) { ( ontology:Q20667921 ) ( ontology:Q515 ) } } . ?o property:P1376 resource:Q794 } } . FILTER ( ?q = ?m ) }
Meuse Argentina Essonne Guyane Armenia South Africa Brazil Pas-de-Calais Eure-et-Loir Eure Aisne Mont-Blanc Marne Ecuador Loiret Vaucluse Pakistan Northwest Territories Hautes-Pyrénées Pyrénées-Orientales Swaziland Chile Ethiopia Kenya Morbihan Aveyron Aube Vienne Haute-Vienne Corrèze Saxe-Eisenach Cher Tunisia Charente Vosges Principality of Reuss-Gera New Caledonia Federated States of Micronesia Sarthe Savoie Tarn-et-Garonne Malaysia Haute-Marne Haiti Iraq Iran Afghanistan South Korea Vietnam Principality of Orange Puy-de-Dôme Gard Gers Drôme Rhin-et-Moselle Ardèche Oise Manche Maine-et-Loire Lozère Alpes-de-Haute-Provence Val-de-Marne Val-d'Oise Territoire de Belfort Rwanda Nigeria Namibia Bolivia Saône-et-Loire Nièvre Moselle Red Sea Governorate Indre-et-Loire United Arab Emirates Rhône Ouest Yonne Alberta Creuse Dordogne Ariège Mongolia Venezuela Bezirk Lothringen Upper Alsace Duchy of Lorraine Anjou Manitoba Nord Ireland Bosnia and Herzegovina Albania Duchy of Bavaria Meurthe Andorra Botswana Hautes-Alpes Jura Côte d'Ivoire Golo Haut-Rhin Indre Mayenne Meurthe-et-Moselle Hauts-de-Seine Batumi Oblast Landes Duchy of Savoy Mont-Tonnerre Unterelsaß Abbasid caliphate Côte-d'Or Oman Côtes-d'Armor Ain Calvados Seine-Saint-Denis Deux-Sèvres Duchy of Burgundy Tanzania Philippines Saudi Arabia Bas-Rhin Haute-Corse Haute-Loire Lot Lot-et-Garonne Liechtenstein Saxe-Coburg and Gotha Orne Japan Aude Ukraine Latvia Romania Democratic Republic of the Congo Allier Madagascar Cape Verde Seine-Maritime Seine-et-Marne Haute-Savoie Loir-et-Cher
Brazil, Japan and Liechtenstein have around the same number of french administrative divisions or cities have their center of administration as Iran
Brazil Japan Liechtenstein
action approx
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Iran
relation capital of
type type of french administrative division
type city
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?n ) AS ?q ) WHERE { { ?n property:capital_of ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:city } UNION { ?n property:capital_of ?c . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:type_of_french_administrative_division } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?o ) AS ?m ) WHERE { { ?o rdf:type ?p . VALUES ( ?p ) { ( ontology:type_of_french_administrative_division ) ( ontology:city ) } } . ?o property:capital_of resource:Iran } } . FILTER ( ?q = ?m ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q971
P1376
Q15617994 Q20667921 Q515
USER
And what about Republic of the Congo?
(c(Q20667921)|c(Q515),P1376,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q971
relation P1376
type Q20667921
type Q515
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?a ) AS ?i ) WHERE { VALUES ( ?t ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } . ?a rdf:type ?t } GROUP BY ?n } . FILTER ( ?i = ?r ) . { SELECT DISTINCT ( COUNT ( ?h ) AS ?r ) WHERE { ?h property:P1376 resource:Q971 . { ?h rdf:type ?c . VALUES ( ?c ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } } } } }
Republic of the Congo
action approx
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Republic of the Congo
relation capital of
type type of french administrative division
type city
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?a ) AS ?i ) WHERE { VALUES ( ?t ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } . ?a rdf:type ?t } GROUP BY ?n } . FILTER ( ?i = ?r ) . { SELECT DISTINCT ( COUNT ( ?h ) AS ?r ) WHERE { ?h property:capital_of resource:Republic_of_the_Congo . { ?h rdf:type ?c . VALUES ( ?c ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } } } } }
[]
designation for an administrative territorial entity type of french administrative division city
Q38 Q30 Q230
SYSTEM
Italy, United States of America, Georgia
Q805 Q804 Q801 Q800 Q1098820 Q419 Q1111401 Q55 Q783 Q784 Q786 Q568833 Q1452650 Q398 Q1465069 Q1324549 Q1979 Q159 Q1664120 Q12526 Q1974 Q2527360 Q699731 Q611074 Q2007299 Q1254171 Q220249 Q979470 Q1270648 Q1899307 Q30675 Q739 Q983 Q730 Q733 Q734 Q1280 Q1282 Q1284 Q1338277 Q384731 Q1816477 Q1273 Q1279 Q1025 Q1049 Q1027 Q1020 Q189 Q184 Q1029 Q1028 Q541811 Q1390630 Q1458 Q1452 Q815731 Q31074 Q31075 Q96 Q311803 Q29937 Q117 Q30786 Q1270638 Q1788988 Q1544445 Q466061 Q1515346 Q683 Q1483510 Q3924533 Q12559 Q1270636 Q34020 Q541589 Q760 Q14762300 Q3528124 Q2719360 Q1243 Q945 Q731547 Q855327 Q328134 Q1237 Q701 Q968630 Q705 Q707 Q709 Q4450475 Q668 Q1093 Q1090684 Q1263830 Q3509886 Q836 Q837 Q2305610 Q565812 Q1460 Q2068764 Q1462 Q403 Q691890 Q290739 Q45 Q43 Q41 Q792 Q1232680 Q1452646 Q231168 Q241 Q1965 Q1508919 Q242 Q1437719 Q1244497 Q29965 Q33 Q32 Q31 Q30 Q37 Q36 Q34 Q3361 Q39 Q38 Q302479 Q2567535 Q280312 Q3068 Q3389 Q30644 Q236 Q492437 Q230 Q232 Q233 Q1777256 Q238 Q12549 Q129003 Q1101 Q1206596 Q3139 Q686312 Q902 Q1036 Q1032 Q1024985 Q1039 Q697 Q694 Q695 Q754 Q752 Q2562901 Q31068 Q31067 Q31065 Q1270568 Q1773268 Q30835 Q574 Q1558632 Q694594 Q191 Q874 Q79 Q77 Q199688 Q3044651 Q3044715 Q176 Q30682 Q30683 Q2091235 Q2006764 Q1952 Q669802 Q753795 Q1256 Q1250 Q452565 Q389004 Q3305157 Q492430 Q684030 Q2567507 Q3044623 Q651394 Q30946 Q3044781 Q239502 Q712 Q710 Q3044777 Q12770 Q657 Q1789890 Q1090678 Q12538 Q954 Q1393469 Q953 Q2001966 Q1886098 Q958 Q986 Q219 Q957825 Q826 Q822 Q689837 Q1142326 Q153136 Q2621010 Q1974486 Q153091 Q693658 Q1508927 Q511365 Q654849 Q2038939 Q311794 Q20 Q28 Q1366860 Q148 Q598193 Q227 Q30650 Q223 Q221 Q311668 Q229 Q1410315 Q1989 Q60011 Q10957559 Q965 Q967 Q962 Q2921370 Q2921378 Q2310748 Q252157 Q1210 Q1216 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q1786286 Q1009 Q2380910 Q1438 Q686 Q30832 Q891165 Q817 Q810 Q811 Q813 Q18046648 Q819 Q29 Q617646 Q12545 Q2309262 Q863 Q2023 Q869 Q334714 Q15116736 Q142 Q685048 Q29943 Q145 Q262 Q474421 Q2009 Q12820 Q265 Q378004 Q1150452 Q691368 Q1263 Q475035 Q2003 Q2662372 Q686924 Q34762 Q517333 Q30669 Q30662 Q4628 Q455705 Q770 Q1856181 Q1077283 Q921 Q929 Q858 Q423 Q424 Q29999 Q854 Q2226837 Q165763 Q1443 Q224 Q1447 Q2360428 Q30656 Q1045 Q1044 Q1042 Q1041 Q691265 Q313175 Q31070 Q3336 Q30797 Q1904 Q30815 Q153402 Q894973 Q894972 Q894971 Q894970 Q1053888 Q3044677 Q213 Q217 Q214 Q215 Q160307 Q244 Q3514973 Q1090691 Q977 Q2218506 Q692290 Q971 Q970 Q4464271 Q2502354 Q30630 Q1234961 Q1222 Q775 Q774 Q776 Q773 Q772 Q1014 Q1016 Q1013 Q678 Q8575586 Q672 Q1579364 Q31079 Q2629692 Q549746 Q695660
(c(Q20667921)|c(Q515),P1376,c(Q15617994))
action approx
action union
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q20667921
action find_reverse_tuple_counts
relation P1376
type Q15617994
type Q515
action count
action filter_multi_types
action find_reverse
entity Q971
relation P1376
type Q20667921
type Q515
[ANSWERS]
[[{'concept': 'Q20667921'}, {'concept': 'Q515'}], 'P1376', {'concept': 'Q15617994'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?a ) AS ?i ) WHERE { VALUES ( ?t ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } . ?a rdf:type ?t } GROUP BY ?n } . FILTER ( ?i = ?r ) . { SELECT DISTINCT ( COUNT ( ?h ) AS ?r ) WHERE { ?h property:P1376 resource:Q971 . { ?h rdf:type ?c . VALUES ( ?c ) { ( ontology:Q515 ) ( ontology:Q20667921 ) } } } } }
Yemen Panama Israel Costa Rica Gênes Peru Kispest District Netherlands Honduras Dominica Dominican Republic Meuse-Inférieure Ombrone Bahrain Frise Uthukela District Municipality Prince Edward Island Russia Alfred Nzo District Municipality Gironde British Columbia Stura Wied Mopani District Municipality OR Tambo District Municipality Dr Ruth Segomotsi Mompati District Municipality Eden District Municipality Seine-et-Oise Sieg Overberg District Municipality Minya Governorate Colombia Equatorial Guinea Suriname Paraguay Guyana Umbria Lazio Abruzzo Sambre-et-Meuse John Taolo Gaetsewe District Municipality Lejweleputswa District Municipality Tuscany Marche Mauritania Sudan Mauritius Malawi Iceland Belarus Mozambique Morocco Ems-Oriental Ourthe Calabria Basilicata Principality of Bulgaria Al Sharqia Governorate Qalyubia Governorate Mexico Umgungundlovu District Municipality Aswan Governorate Ghana Monufia Governorate Rhine Trasimène Sekhukhune District Municipality Petén Department Gert Sibande District Municipality Samoa Principality of Wales Province of Brescia Isère Ruhr Niue Ems-Supérieur Saint Lucia single-tier municipality Tibre Duchy of Luxembourg Veneto Togo Lippe Kouilou Department 6th of October Governorate Trentino-South Tyrol North Holland Taro Zeeland Flevoland Marshall Islands Talitsky District India Limburg Montserrat Frances Baard District Municipality Sègre-Ter Myanmar Nepal Vhembe District Municipality Principality of Calenberg Sicily Archa Darugha Sardinia Serbia Corcyre Sesia Portugal Turkey Greece El Salvador Ithaque Montenotte Zuyderzée Cuba New Brunswick Marengo Belize Thabo Mofutsanyana District Municipality Ehlanzeni District Municipality Asyut Governorate Finland Luxembourg Belgium United States of America Lithuania Poland Sweden Doubs Switzerland Italy Ems-Occidental Pô Principality of Lüneburg Loire-Atlantique Finistère Damietta Governorate Montenegro Bouches-du-Weser Georgia Kazakhstan Malta Dzerzhinsky District, Kaluga Oblast San Marino Ille-et-Vilaine French Southern and Antarctic Lands North Brabant Deux-Nèthes Alpes-Maritimes Duchy of Amalfi Bangladesh Uganda Niger Cacadu District Municipality Sao Tomé and Príncipe Nauru South Holland Palau Trinidad and Tobago Groningen West Coast District Municipality Dakahlia Governorate Ismailia Governorate Qena Governorate Ems ZF Mgcawu District Municipality Gharbia Governorate East Timor Rome Bremen-Verden Estonia Turkmenistan Egypt Uruguay Almohad Louverture Ozama Quebec Matrouh Governorate Beni Suef Governorate Ugu District Municipality Xhariep District Municipality Nova Scotia Quiché Department Briceni District Liguria Friuli–Venezia Giulia Amajuba District Municipality Wallachia Mella Bouches-de-l'Elbe Principality of Serbia Arno Cibao Ramensky District Kafr el-Sheikh Governorate Sud Kingdom of Galicia–Volhynia Fiji Kiribati Nord Somme Chad West Rand District Municipality Sègre Haute-Garonne Zimbabwe Jemmapes Zambia Company rule in India Pixley ka Seme District Municipality South Sudan Eritrea Bulgaria Yssel-Supérieur Maldives Lebanon Spanish Sahara Seine Habsburg Empire Principality of Vitebsk Cape Winelands District Municipality Duchy of Prussia Izabal Department Méditerranée Arvika Municipality Joe Gqabi District Municipality Sedibeng District Municipality iLembe District Municipality Norway Hungary Escaut People's Republic of China Apennins Azerbaijan New Valley Governorate Greenland Republic of Macedonia UThungulu District Municipality Cyprus Fezile Dabi District Municipality Saskatchewan Kars Oblast Moldavia Burkina Faso Burundi Benin Bouches-de-l'Èbre-Montserrat Bouches-de-l'Èbre Liamone Sarre Lombardy Piedmont Mali Bhutan Angola Guinea-Bissau Guinea Gambia Kuban Oblast Cameroon Duchy of Zaslawye Campania Vanuatu Giza Governorate Bojanala Platinum District Municipality Kuwait Jordan Nicaragua Kyrgyzstan department Stad en Landen of Groningen Laos Spain Namakwa District Municipality Hérault Zululand District Municipality Tajikistan Nunavut Thailand Duchy of Athens Jaén District France Simplon Alexandria Governorate United Kingdom Algeria Principality of Fürstenberg Yukon Yvelines Uzbekistan Forêts Dr Kenneth Kaunda District Municipality Léman Emilia-Romagna Helwan Governorate Newfoundland and Labrador Principality of Minsk Mer-Égée Principality of Bayreuth Principality of Polotsk Sohag Governorate North Sinai Governorate Faroe Islands Amathole District Municipality Friesland Nkangala District Municipality Chris Hani District Municipality Brunei Central African Republic Syria North Korea Cambodia Kingdom of the Netherlands Sri Lanka Umzinyathi District Municipality Waldeck Molise Croatia Apulia Tijuana Municipality Faiyum Governorate Somalia Sierra Leone Seychelles Senegal Mont-Terrible Saxe-Lauenburg Suez Governorate Corse-du-Sud Luxor Governorate Ontario South Sinai Governorate Roer Bouches-du-Rhin Bouches-de-l'Yssel Bouches-de-l'Escaut Bouches-de-la-Meuse Central Karoo District Municipality Samaná Czech Republic Republic of Moldova Slovakia Slovenia Fatimid caliphate Barbados Tanaro Ter Djibouti Kineshemsky District Capricorn District Municipality Republic of the Congo Comoros Principality of Trubetsk Principality of Goroden Beheira Governorate Doire Aosta Valley Gelderland Guatemala Utrecht Overijssel Drenthe Liberia Libya Lesotho Tonga Umayyad Caliphate Tuvalu Lys Port Said Governorate Simferopol municipality Sisonke District Municipality Guatemala Department
Italy United States of America Georgia
action approx
action union
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type type of french administrative division
action find_reverse_tuple_counts
relation capital of
type designation for an administrative territorial entity
type city
action count
action filter_multi_types
action find_reverse
entity Republic of the Congo
relation capital of
type type of french administrative division
type city
[[{'concept': 'type of french administrative division'}, {'concept': 'city'}], 'capital of', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?n WHERE { { SELECT DISTINCT ?n ( COUNT ( ?a ) AS ?i ) WHERE { VALUES ( ?t ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } . ?a rdf:type ?t } GROUP BY ?n } . FILTER ( ?i = ?r ) . { SELECT DISTINCT ( COUNT ( ?h ) AS ?r ) WHERE { ?h property:capital_of resource:Republic_of_the_Congo . { ?h rdf:type ?c . VALUES ( ?c ) { ( ontology:city ) ( ontology:type_of_french_administrative_division ) } } } } }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q347
P27 P21
Q502895
USER
Which people are a native of Liechtenstein and are a male ?
AND((c(Q502895),P27,Q347), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q347
relation P27
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P27', 'Q347'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?h WHERE { ?h property:P27 resource:Q347 . ?h property:P21 resource:Q6581097 . ?h rdf:type ontology:Q502895 }
male Liechtenstein
action filter_type
action intersection
action find_reverse
entity Liechtenstein
relation country of citizenship
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'country of citizenship', 'Liechtenstein'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?h WHERE { ?h property:country_of_citizenship resource:Liechtenstein . ?h property:gender resource:male . ?h rdf:type ontology:common_name }
[]
common name
Q7342565 Q19859422 Q16557776 Q18086242 Q1359488 Q2038394 Q1733821 Q1536817 Q2558960 Q1390502
SYSTEM
Some of them are Robert Büchel, Patrick Pomberger, Frédéric Gigon, Samuel Zimmermann, Wolfgang Marxer, Otto Büchel, Karlheinz Ospelt, Heinz Vogt, Wendelin Beck, Fabio Corba
Q16658059 Q7781623 Q1603787 Q16556164 Q16582937 Q7330104 Q2650159 Q922748 Q14564554 Q1705723 Q2591381 Q1694323 Q1904117 Q1638842 Q7146169 Q3876888 Q1279308 Q16582940 Q614600 Q2162799 Q2643222 Q1389701 Q15810125 Q682345 Q1705265 Q3876429 Q16214442 Q16576558 Q57778 Q6527055 Q340497 Q8030059 Q1148742 Q26164493 Q19946375 Q1502089 Q16193500 Q1078901 Q16541116 Q16541112 Q19337765 Q16579120 Q1738953 Q19287666 Q16554227 Q16554224 Q18542891 Q1280919 Q708779 Q1602072 Q19859422 Q5740772 Q5492964 Q5492965 Q18698320 Q1322425 Q16615656 Q1596851 Q1596850 Q15824668 Q368364 Q1162322 Q16525300 Q1704281 Q5606649 Q950392 Q19296172 Q18648721 Q5492692 Q2033901 Q16530637 Q3544918 Q1493049 Q3543806 Q11731907 Q16622971 Q16563250 Q1645392 Q1689432 Q16589917 Q1586701 Q676450 Q11989272 Q18086242 Q4495468 Q1359488 Q19337627 Q361773 Q1352455 Q1586776 Q1405718 Q1496930 Q1741284 Q1248651 Q5649682 Q1674663 Q722851 Q2597760 Q543453 Q41708 Q6833862 Q1600237 Q15053473 Q1889205 Q950186 Q15807792 Q1734501 Q6795430 Q2033529 Q345148 Q1874344 Q1889921 Q14544516 Q450624 Q1287972 Q1357723 Q3737553 Q4710245 Q26261174 Q1269611 Q6321803 Q16575902 Q2150191 Q16589767 Q2075112 Q16977552 Q3961127 Q171562 Q2650498 Q810045 Q4497031 Q689754 Q1468050 Q15794374 Q1530552 Q18681674 Q2074229 Q19284518 Q3881494 Q1340705 Q19285478 Q15730880 Q1372860 Q373092 Q7002408 Q2561800 Q19310928 Q16577167 Q696665 Q519286 Q26261182 Q1893884 Q14636427 Q1893926 Q1298775 Q1461347 Q701601 Q1506287 Q16597835 Q1520036 Q7286996 Q1705408 Q21855655 Q3978462 Q16576608 Q16525306 Q3434227 Q2590184 Q19946361 Q2427893 Q1731872 Q3945175 Q16610246 Q1485915 Q16546484 Q1563942 Q5549446 Q311308 Q19946402 Q1335821 Q2036356 Q1662786 Q10543896 Q5218985 Q19285254 Q5111690 Q1732970 Q16658142 Q1301159 Q19502296 Q14912213 Q1387450 Q1361024 Q8030110 Q16562709 Q5735041 Q971662 Q16546474 Q2020882 Q1446022 Q16525281 Q1418548 Q1421954 Q268968 Q2020233 Q1536817 Q1629709 Q1341878 Q1496890 Q1040559 Q2173390 Q3679937 Q19277900 Q2173396 Q1692784 Q1405375 Q16606314 Q19288160 Q15815202 Q16576722 Q1342667 Q1307445 Q3905917 Q7174643 Q1353289 Q18746889 Q5216676 Q1603525 Q1733434 Q1292536 Q15850771 Q352822 Q16597421 Q18016349 Q16556080 Q1112244 Q16719869 Q1415300 Q2173284 Q4755395 Q1912435 Q1692507 Q1084324 Q1997214 Q1412079 Q2720501 Q16575359 Q16211632 Q1452395 Q16595636 Q477349 Q6794789 Q21294646 Q16557543 Q3702569 Q1466910 Q16534011 Q1673425 Q16562907 Q19277335 Q1477867 Q2173667 Q1606239 Q16562756 Q1361886 Q687813 Q591669 Q1298862 Q1246407 Q26262900 Q1357339 Q5418868 Q5418864 Q1368902 Q7147117 Q4734237 Q1733821 Q1429756 Q16575779 Q15808766 Q1173682 Q7606044 Q1693851 Q1693850 Q5927504 Q16088791 Q16600150 Q26261088 Q2422250 Q1739417 Q1876514 Q2571868 Q26164549 Q16576379 Q6764746 Q376043 Q1389881 Q18694737 Q16550485 Q548381 Q345161 Q16558875 Q165674 Q15865924 Q26261155 Q1874763 Q6279799 Q345112 Q3849141 Q1579668 Q1504531 Q113007 Q6111186 Q19958897 Q19287100 Q16657991 Q1161054 Q365555 Q1332757 Q1405649 Q4887377 Q5927334 Q364154 Q3901488 Q4795051 Q2078426 Q15794325 Q5627067 Q7517156 Q16557776 Q1773400 Q455911 Q1692647 Q7342565 Q15812796 Q2558960 Q3851802 Q19299085 Q1390502 Q16587545 Q7029045 Q3804756 Q500754 Q16214358 Q1446598 Q1447517 Q1688246 Q807100 Q877624 Q1704549 Q2038394 Q16597952 Q15450196 Q20797615 Q16937394 Q1720695 Q16658167 Q92168 Q431915 Q1561598 Q18019380 Q17912629 Q16572794 Q710303 Q2643507 Q7360488 Q1582866 Q2338061 Q1098179 Q6217074 Q16575365 Q16575362 Q1784643 Q1162781 Q2546637 Q238670 Q19311545 Q3992397 Q7790394 Q1455341 Q1675777 Q9106974 Q717704 Q3622940 Q1483063 Q16562768 Q5877746 Q16623417 Q2069720 Q19279367 Q4794957 Q960324 Q1267834 Q1608022 Q4684085 Q1901454 Q6776890 Q19518554 Q18415292 Q7515667 Q1901510 Q16597995 Q1925637 Q1561899 Q1672221 Q949143 Q764826 Q715517 Q1871555 Q1697816 Q1372424 Q7789131 Q16575821 Q16541081 Q368452 Q1375648 Q168498 Q5395182 Q6792833 Q1705229 Q315787 Q16658136 Q1717859 Q18698318 Q11835406 Q11835405 Q1225909 Q688036 Q2079107 Q16568236 Q16568233 Q15840569 Q16576628 Q1704250 Q19285806 Q1664424 Q3948320 Q3675814 Q3701574 Q1577590 Q1260211 Q1991387 Q1445856 Q1251822 Q57454 Q16657989 Q362033 Q19296170 Q1584845 Q1382596 Q4397715 Q738232 Q19337911
AND((c(Q502895),P27,Q347), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q347
relation P27
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS] are a native of Liechtenstein and are a male
{'AND': [[{'concept': 'Q502895'}, 'P27', 'Q347'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?h WHERE { ?h property:P27 resource:Q347 . ?h property:P21 resource:Q6581097 . ?h rdf:type ontology:Q502895 }
Daniel Meier Theodor Sele Helmut Konrad Gustav Kaufmann Norman Hoop Richard Wunder Alois Beck Markus Hasler Robin Gubser Josef Schädler Wolfgang Seeger Johann Hasler Martin Höchstädter Tobias Jehle Patrick Burgmeier Niklas Kieber Toni Hilti Norman Nigsch Markus Foser Roland Hilti Al Walser Jakob Büchel Frank Konrad Lucas Eberle Josef Meier Nicolas Hemmerle Jürgen Hasler Mario Wolfinger Klaus Tschütscher Leopold Schädler Achim Vogt Wolfgang Ender Cyrill Büchel Johann Biedermann Marco Cristoforetti Paul Vogt Magnus Büchel Christian Batliner Christoph Frick Christoph Frick Franz Josef Hoop Modestus Haas Kenny Banzer Karl Marxer Erich Bürzle Erich Büchel Sigmund Hermann Patrick Hefti Arthur Brunhart Albert Wolfinger Patrick Pomberger Hermann Kindle Franz Schädler Franz Schädler Josef Brunhart Heinrich Kieber Thomas Nigg Heinrich Brunhart Heinrich Brunhart Kurt Herrmann Cengiz Biçer Daniel Rinner Alexander Quaderer Josef Beck Gregor Hoop Mathias Christen Meinrad Schädler Michael Koller Franz Beck Oskar Ospelt Augustin Hilti Nicolas Hasler Albert Schädler Daniel Kaufmann Jürgen Ospelt Walter Büchel Herbert Bicker Rainer Gopp Wilhelm Näscher Philipp Beck Harry Quaderer Prince Nikolaus of Liechtenstein Michael Klingler Samuel Zimmermann Rony Hanselmann Wolfgang Marxer Franz Xaver Hoop Adolf Frommelt Willi Frommelt Harry Schädler Ferdinand Risch Gebhard Negele Kilian Pfister Hans Hilti Hans-Walter Schädler Sepp Ritter Rainer Hasler Xaver Frick Mario Frick Andreas Wenzel Michael Riegler Heinz Frommelt Jules Hoch Manfred Batliner Eduard von Falz-Fein Elfried Hasler Roger Beck Max von Hohenlohe Oskar Adolf von Rosenberg Josef Ospelt Ludwig Elkuch Manfred Schurti Mauro Pedrazzini Benjamin Fischer Eduard Batliner Ernst Büchel Fabian Eberle Albert Frick Eugen Hilti Alexander Marxer Jürgen Berginz Marco Nigg Richard Meier Peter Klaunzer Peter Geiger Simon Kühne Simon Pirker Rikky von Opel Alois Wille Basil Vogt Martin Heeb Alexander Frick Fritz Rotter Christoph Wenaweser Johann Wachter Meinrad Ospelt Peter Büchel Gustav Jehle Olcay Gür Alfons Brunhart Hermann Meier Philipp Haelg Eugen Schafhauser Adrian Hasler Ralf Ackermann Werner Kranz Vinzenz Batliner Matthias Beck Hans Brunhart Martin Meyer Josef Hilti Marco Pérez Claudio Alabor Marco Schädler Egon Matt Hugo Quaderer Constantin von Liechtenstein Georg Vogt Roger Zech Wolfgang Matt Ralf Oehri Josef Oehri Markus Büchel Sven-John Beck Mark Walser Alexander Schädler Stefan Kunz Wolfgang Kieber Branko Kosic Thomas Vogt Karl Kaiser Sakir Kaplan Stefan Wolfinger Alfred Rotter Daniel Telser Johann Baptist Büchel der Ältere Gerald Näscher Alois, Hereditary Prince of Liechtenstein Michael Biedermann Emil Batliner Oswald Bühler Josef Ignaz Marxer Vinzenz Flatz Daniel Vogt Heinz Hassler Christoph Biedermann Karl Schädler Heini Stocker Jürgen Beck Franz Josef Ritter Thomas Zwiefelhofer Roland Matt Fabio D'Elia Wolfgang Ospelt Hanno Hasler Herbert Marxer Michael Stocklasa Daniel Frick Olivier Nägele Franz Amann Alex Burgmeier Gerold Büchel Martin Rechsteiner Gerard Batliner Oliver Geissmann Heinz Vogt Horst Marxer Engelbert Bucher Gebhard Brunhart Carl Schädler Rudolf Marxer Claudio Beck David Strub Rudolf Matt Johann Büchel Ferdinand Heidegger Silvio Vogt Konrad Wohlwend Herbert Elkuch Martin Oehry Martin Stocklasa Emil Risch Pius Sprenger Peter Hermann Erich Sprenger Josef Anton Amann Daniel Brunhart Martin Büchel Karl Wilhelm Schlegel Rudolf Schädler Thomas Lageder Marcel Tschopp Robin Verling Walter Oehry Guido Wolf Rainer Nägele Wolfgang Schädler Hansjörg Marxer Rudolf Lampert Andreas Christen Max Egon Hohenlohe-Langenburg Johannes Baptist Büchel Christof Ritter Norbert Seeger Franz Josef Heeb Prince Joseph Wenzel of Liechtenstein Manfred Büchel Egon Oehri Fred Kindle Remo Sele Peter Kaiser Max Gassner Andreas Domjanic Franco Rotunno Dario Caluori Fritz Kaiser Bruno Vogt Markus Büchel Haymo Haas Christian Brunhart Albert Frick Rudolf Ruscheweyh Henrik Caduff Hansjörg Lingg Philippe Erne Sandro Wieser Yves Oehri Egon Rheinberger Josef Steger Eugen Nipp Ernst Andreas Büchel Ewald Hasler Ewald Eberle Alfred Hilbe Patrick Matt Alois Lampert Karlheinz Ospelt Florian Kindle Marco Büchel Eugen Nägele David Beck Stefan Büchel Johann Georg Hasler Johann Georg Hasler Hubert Negele Gebhard Büchel Sandro Maierhofer Ludwig Marxer Thomas Batliner René Uhlmann Luis Reichl Wilhelm Beck Magnus Biedermann Mario Gassner Mario Konzett Andreas Gerster Peter Marxer Hilmar Ospelt Donath Marxer Marco Büchel Gustav Schädler Gerry Oehry Franz Joseph II, Prince of Liechtenstein Marco Pfiffner Johann Georg Näscher Ludwig Marxer Josef Gassner Josef Hoop Mario Tichy Hans Gassner Georg Gstöhl Prince Hubertus of Hohenlohe-Langenburg Roland Moser Alessandro Banzer Josef Tschetter Armin Heidegger Daniel Hasler Josef Rheinberger Elmar Kindle Ferdinand Nigg Benedikt Lampert Hubert Hilti Klaus Wanger Philipp Ospelt Arnold Frick Peter Sprenger Christoph Beck Günther Marxer Silvio Wille Frédéric Gigon Peter Lampert Peter Jehle Johann Beck Robert Büchel Gregor Fischer Wendelin Beck Mathias Sele Reto Brunhart Fabio Corba Patrick Marxer Nicola Kindle Ivan Quintans Andreas Sprenger Hans Burkhard Franz Eberle Franz Josef Marxer Wendelin Lampert Baptist Quaderer Prince Maximilian of Liechtenstein Josef Erni Otto Büchel Roland Roli Moser Erich Hasler Franz Josef Ritter Guillaume Khous Roman Hermann Albert Wohlwend Heinrich Georg Stahmer Martin Telser Günther Kranz Jens Dittmar Dennis Salanović Louis Frommelt Ronny Alexander von und zu Liechtenstein Roland Wille Hans Verling Prince Stefan of Liechtenstein Claudio Sprecher Johannes Wohlwend Manfred Moser Manfred Frick Peter Hilti Daniel Steuble Walter Vogt Otmar Hasler Werner Marxer Tolgahan Ünlü Thomas Hanselmann Wilhelm Büchel Ivo Klein Josef Biedermann Walter Kieber Armando Heeb Günther Hasler Harald Benz Georg Malin Wolfgang Matt Pepo Frick Eugen Schädler Arnold Beck Paul Frommelt Alois Reichl Herbert Batliner Adolf Fehr Markus Büchel Martin Wille Paul Kind Adolf Schreiber Silvan Kindle Markus Ganahl Rolf Sele Metin Kayar Günther Vogt Philipp Elkuch Franz Burgmeier August Wolfinger Michele Polverino Louis Brunhart Johannes Kaiser Eugen Büchel Thomas Dürr Marco Ender Christian Matt Wolfgang Haas Thomas Beck Benjamin Büchel Ernst Walch Maurice Arnold de Forest Josef Marxer Mario Frick Gerhard Schädler Jürgen Zech Josef Brunhart Rudolf Senti Rudolf Jehle Dimitri Jiriakov Armin Meier Peter Wolff Jürgen Zech Jürgen Ritter Pio Schurti Markus Haas Josef Bargetze Hubert Büchel Alexander Batliner Sandro Wolfinger Christoph Duelli Daniel Brändle Hans-Jörg Rheinberger Martin Hilti Nikolaus Büchel Franz-Josef Vogt Gottfried Hilti Hans-Adam II, Prince of Liechtenstein Stefan Hassler Adolf Heeb Meinrad Ospelt Harry Zech Marco Ritzberger Raphael Rohrer David Hasler Franz Josef Hoop
Robert Büchel, Patrick Pomberger, Frédéric Gigon, Samuel Zimmermann, Wolfgang Marxer, Otto Büchel, Karlheinz Ospelt, Heinz Vogt, Wendelin Beck and Fabio Corba are a native of Liechtenstein and are a male
Robert Büchel Patrick Pomberger Frédéric Gigon Samuel Zimmermann Wolfgang Marxer Otto Büchel Karlheinz Ospelt Heinz Vogt Wendelin Beck Fabio Corba
action filter_type
action intersection
action find_reverse
entity Liechtenstein
relation country of citizenship
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'country of citizenship', 'Liechtenstein'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?h WHERE { ?h property:country_of_citizenship resource:Liechtenstein . ?h property:gender resource:male . ?h rdf:type ontology:common_name }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q30
P463
Q43229 Q1129645
USER
How many organizations and trade blocs were United States of America a member of ?
(Q30,P463,c(Q43229)) (Q30,P463,c(Q1129645))
action count
action union
action filter_type
action find
entity Q30
relation P463
type Q43229
action filter_type
action find
entity Q30
relation P463
type Q1129645
['Q30', 'P463', {'concept': 'Q43229'}] ['Q30', 'P463', {'concept': 'Q1129645'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?c ) WHERE { VALUES ( ?q ) { ( ontology:Q43229 ) ( ontology:Q1129645 ) } . ?t rdf:type ?q }
United States of America
action count
action union
action filter_type
action find
entity United States of America
relation member of
type organization
action filter_type
action find
entity United States of America
relation member of
type trade bloc
['United States of America', 'member of', {'concept': 'organization'}] ['United States of America', 'member of', {'concept': 'trade bloc'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?c ) WHERE { VALUES ( ?q ) { ( ontology:organization ) ( ontology:trade_bloc ) } . ?t rdf:type ?q }
[]
organization trade bloc
SYSTEM
8 organizations and 1 trade blocs
Q340195 Q191384 Q899770 Q41550 Q181574 Q656801 Q7825 Q170481 Q827525
(Q30,P463,c(Q43229)) (Q30,P463,c(Q1129645))
action count
action union
action filter_type
action find
entity Q30
relation P463
type Q43229
action filter_type
action find
entity Q30
relation P463
type Q1129645
[ANSWER]
['Q30', 'P463', {'concept': 'Q43229'}] ['Q30', 'P463', {'concept': 'Q1129645'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?c ) WHERE { VALUES ( ?q ) { ( ontology:Q43229 ) ( ontology:Q1129645 ) } . ?t rdf:type ?q }
African Development Bank International Bank for Reconstruction and Development International Centre for Settlement of Investment Disputes Organisation for Economic Co-operation and Development North American Free Trade Agreement International Finance Corporation World Trade Organization Asia-Pacific Economic Cooperation International Development Association
8 organizations and 1 trade blocs
action count
action union
action filter_type
action find
entity United States of America
relation member of
type organization
action filter_type
action find
entity United States of America
relation member of
type trade bloc
['United States of America', 'member of', {'concept': 'organization'}] ['United States of America', 'member of', {'concept': 'trade bloc'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?c ) WHERE { VALUES ( ?q ) { ( ontology:organization ) ( ontology:trade_bloc ) } . ?t rdf:type ?q }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q13101523 Q1359488
P27
Q15617994
USER
Which administrative territories are the countries of citizenship of Wolfgang Marxer or André Haagen ?
OR((Q1359488,P27,c(Q15617994)), (Q13101523,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q1359488
relation P27
action find
entity Q13101523
relation P27
type Q15617994
{'OR': [['Q1359488', 'P27', {'concept': 'Q15617994'}], ['Q13101523', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?l WHERE { { VALUES ( ?e ) { ( resource:Q1359488 ) ( resource:Q13101523 ) } . ?e property:P27 ?l } . ?l rdf:type ontology:Q15617994 }
André Haagen Wolfgang Marxer
action filter_type
action union
action find
entity Wolfgang Marxer
relation country of citizenship
action find
entity André Haagen
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Wolfgang Marxer', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['André Haagen', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { VALUES ( ?e ) { ( resource:Wolfgang_Marxer ) ( resource:André_Haagen ) } . ?e property:country_of_citizenship ?l } . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q32 Q347
SYSTEM
Luxembourg, Liechtenstein
Q32 Q347
OR((Q1359488,P27,c(Q15617994)), (Q13101523,P27,c(Q15617994)))
action filter_type
action union
action find
entity Q1359488
relation P27
action find
entity Q13101523
relation P27
type Q15617994
[ANSWERS] are the countries of citizenship of Wolfgang Marxer or André Haagen
{'OR': [['Q1359488', 'P27', {'concept': 'Q15617994'}], ['Q13101523', 'P27', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?l WHERE { { VALUES ( ?e ) { ( resource:Q1359488 ) ( resource:Q13101523 ) } . ?e property:P27 ?l } . ?l rdf:type ontology:Q15617994 }
Luxembourg Liechtenstein
Luxembourg and Liechtenstein are the countries of citizenship of Wolfgang Marxer or André Haagen
Luxembourg Liechtenstein
action filter_type
action union
action find
entity Wolfgang Marxer
relation country of citizenship
action find
entity André Haagen
relation country of citizenship
type designation for an administrative territorial entity
{'OR': [['Wolfgang Marxer', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['André Haagen', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { VALUES ( ?e ) { ( resource:Wolfgang_Marxer ) ( resource:André_Haagen ) } . ?e property:country_of_citizenship ?l } . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q31
P530
Q15617994
USER
Are Belgium known to have diplomatic connections with those ones ?
(Q31,P530,Q32) (Q31,P530,Q347)
action is_in
entity prev_answer
action find
entity Q31
relation P530
['Q31', 'P530', 'Q32'] ['Q31', 'P530', 'Q347']
ASK WHERE { resource:Q31 property:P530 ?p . VALUES ( ?p ) { ( resource:Q32 ) ( resource:Q347 ) } }
Belgium
action is_in
entity prev_answer
action find
entity Belgium
relation diplomatic relation
['Belgium', 'diplomatic relation', 'Luxembourg'] ['Belgium', 'diplomatic relation', 'Liechtenstein']
ASK WHERE { resource:Belgium property:diplomatic_relation ?p . VALUES ( ?p ) { ( resource:Luxembourg ) ( resource:Liechtenstein ) } }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q31,P530,Q32) (Q31,P530,Q347)
action is_in
entity prev_answer
action find
entity Q31
relation P530
[ANSWER]
['Q31', 'P530', 'Q32'] ['Q31', 'P530', 'Q347']
ASK WHERE { resource:Q31 property:P530 ?p . VALUES ( ?p ) { ( resource:Q32 ) ( resource:Q347 ) } }
Yes
action is_in
entity prev_answer
action find
entity Belgium
relation diplomatic relation
['Belgium', 'diplomatic relation', 'Luxembourg'] ['Belgium', 'diplomatic relation', 'Liechtenstein']
ASK WHERE { resource:Belgium property:diplomatic_relation ?p . VALUES ( ?p ) { ( resource:Luxembourg ) ( resource:Liechtenstein ) } }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q1536817 Q4129187 Q347
P27
Q15617994
USER
Is Heinz Vogt a citizen of Virubovo and Liechtenstein ?
(Q1536817,P27,Q4129187) (Q1536817,P27,Q347)
action is_in
entity Q1536817
action intersection
action find_reverse
entity Q4129187
relation P27
action find_reverse
entity Q347
relation P27
['Q1536817', 'P27', 'Q4129187'] ['Q1536817', 'P27', 'Q347']
ASK WHERE { resource:Q1536817 property:P27 resource:Q4129187 . resource:Q1536817 property:P27 resource:Q347 }
Heinz Vogt Virubovo Liechtenstein
action is_in
entity Heinz Vogt
action intersection
action find_reverse
entity Virubovo
relation country of citizenship
action find_reverse
entity Liechtenstein
relation country of citizenship
['Heinz Vogt', 'country of citizenship', 'Virubovo'] ['Heinz Vogt', 'country of citizenship', 'Liechtenstein']
ASK WHERE { resource:Heinz_Vogt property:country_of_citizenship resource:Virubovo . resource:Heinz_Vogt property:country_of_citizenship resource:Liechtenstein }
[]
designation for an administrative territorial entity
SYSTEM
NO and YES respectively
(Q1536817,P27,Q4129187) (Q1536817,P27,Q347)
action is_in
entity Q1536817
action intersection
action find_reverse
entity Q4129187
relation P27
action find_reverse
entity Q347
relation P27
[ANSWER]
['Q1536817', 'P27', 'Q4129187'] ['Q1536817', 'P27', 'Q347']
ASK WHERE { resource:Q1536817 property:P27 resource:Q4129187 . resource:Q1536817 property:P27 resource:Q347 }
NO and YES respectively
action is_in
entity Heinz Vogt
action intersection
action find_reverse
entity Virubovo
relation country of citizenship
action find_reverse
entity Liechtenstein
relation country of citizenship
['Heinz Vogt', 'country of citizenship', 'Virubovo'] ['Heinz Vogt', 'country of citizenship', 'Liechtenstein']
ASK WHERE { resource:Heinz_Vogt property:country_of_citizenship resource:Virubovo . resource:Heinz_Vogt property:country_of_citizenship resource:Liechtenstein }
[]