Simple Question (Direct)
Simple Question
Q21067415
P21
Q290
USER
Which sex does Kyle Gurrieri belong to ?
(Q21067415,P21,c(Q290))
action filter_type
action find
entity Q21067415
relation P21
type Q290
['Q21067415', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?g WHERE { resource:Q21067415 property:P21 ?g . ?g rdf:type ontology:Q290 }
Kyle Gurrieri
action filter_type
action find
entity Kyle Gurrieri
relation gender
type sex
['Kyle Gurrieri', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?g WHERE { resource:Kyle_Gurrieri property:gender ?g . ?g rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q21067415,P21,c(Q290))
action filter_type
action find
entity Q21067415
relation P21
type Q290
Kyle Gurrieri belongs to [ANSWER]
['Q21067415', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?g WHERE { resource:Q21067415 property:P21 ?g . ?g rdf:type ontology:Q290 }
male
Kyle Gurrieri belongs to male
male
action filter_type
action find
entity Kyle Gurrieri
relation gender
type sex
['Kyle Gurrieri', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?g WHERE { resource:Kyle_Gurrieri property:gender ?g . ?g rdf:type ontology:sex }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q16948040 Q21067415
P27 P17
Q15617994
USER
Which administrative territories do Kyle Gurrieri belong to or do US GN belong to ?
OR((Q21067415,P27,c(Q15617994)), (Q16948040,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q21067415
relation P27
action find
entity Q16948040
relation P17
type Q15617994
{'OR': [['Q21067415', 'P27', {'concept': 'Q15617994'}], ['Q16948040', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q21067415 property:P27 ?s } UNION { resource:Q16948040 property:P17 ?s } } . ?s rdf:type ontology:Q15617994 }
US GN Kyle Gurrieri
action filter_type
action union
action find
entity Kyle Gurrieri
relation country of citizenship
action find
entity US GN
relation country
type designation for an administrative territorial entity
{'OR': [['Kyle Gurrieri', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['US GN', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Kyle_Gurrieri property:country_of_citizenship ?s } UNION { resource:US_GN property:country ?s } } . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q30 Q1032
SYSTEM
United States of America, Niger
Q30 Q1032
OR((Q21067415,P27,c(Q15617994)), (Q16948040,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q21067415
relation P27
action find
entity Q16948040
relation P17
type Q15617994
Kyle Gurrieri belong to [ANSWERS]
{'OR': [['Q21067415', 'P27', {'concept': 'Q15617994'}], ['Q16948040', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Q21067415 property:P27 ?s } UNION { resource:Q16948040 property:P17 ?s } } . ?s rdf:type ontology:Q15617994 }
United States of America Niger
Kyle Gurrieri belong to United States of America and Niger
United States of America Niger
action filter_type
action union
action find
entity Kyle Gurrieri
relation country of citizenship
action find
entity US GN
relation country
type designation for an administrative territorial entity
{'OR': [['Kyle Gurrieri', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['US GN', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?s WHERE { { { resource:Kyle_Gurrieri property:country_of_citizenship ?s } UNION { resource:US_GN property:country ?s } } . ?s rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q183
P530
Q1048835
USER
Do Germany have diplomatic associations with those administrative territories ?
(Q183,P530,Q30) (Q183,P530,Q1032)
action is_in
entity prev_answer
action find
entity Q183
relation P530
['Q183', 'P530', 'Q30'] ['Q183', 'P530', 'Q1032']
ASK WHERE { resource:Q183 property:P530 ?t . VALUES ( ?t ) { ( resource:Q30 ) ( resource:Q1032 ) } }
Germany
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'United States of America'] ['Germany', 'diplomatic relation', 'Niger']
ASK WHERE { resource:Germany property:diplomatic_relation ?t . VALUES ( ?t ) { ( resource:United_States_of_America ) ( resource:Niger ) } }
[]
political territorial entity
SYSTEM
YES
(Q183,P530,Q30) (Q183,P530,Q1032)
action is_in
entity prev_answer
action find
entity Q183
relation P530
[ANSWER]
['Q183', 'P530', 'Q30'] ['Q183', 'P530', 'Q1032']
ASK WHERE { resource:Q183 property:P530 ?t . VALUES ( ?t ) { ( resource:Q30 ) ( resource:Q1032 ) } }
Yes
action is_in
entity prev_answer
action find
entity Germany
relation diplomatic relation
['Germany', 'diplomatic relation', 'United States of America'] ['Germany', 'diplomatic relation', 'Niger']
ASK WHERE { resource:Germany property:diplomatic_relation ?t . VALUES ( ?t ) { ( resource:United_States_of_America ) ( resource:Niger ) } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q156337 Q16948040
P17
Q15617994
USER
Which administrative territories do US GN or Kyakhta belong to ?
OR((Q16948040,P17,c(Q15617994)), (Q156337,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q16948040
relation P17
action find
entity Q156337
relation P17
type Q15617994
{'OR': [['Q16948040', 'P17', {'concept': 'Q15617994'}], ['Q156337', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?w WHERE { { ?e property:P17 ?w . VALUES ( ?e ) { ( resource:Q16948040 ) ( resource:Q156337 ) } } . ?w rdf:type ontology:Q15617994 }
Kyakhta US GN
action filter_type
action union
action find
entity US GN
relation country
action find
entity Kyakhta
relation country
type designation for an administrative territorial entity
{'OR': [['US GN', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Kyakhta', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { ?e property:country ?w . VALUES ( ?e ) { ( resource:US_GN ) ( resource:Kyakhta ) } } . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q1032 Q159
SYSTEM
Niger, Russia
Q1032 Q159
OR((Q16948040,P17,c(Q15617994)), (Q156337,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q16948040
relation P17
action find
entity Q156337
relation P17
type Q15617994
US GN or Kyakhta belong to the [ANSWERS]
{'OR': [['Q16948040', 'P17', {'concept': 'Q15617994'}], ['Q156337', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?w WHERE { { ?e property:P17 ?w . VALUES ( ?e ) { ( resource:Q16948040 ) ( resource:Q156337 ) } } . ?w rdf:type ontology:Q15617994 }
Niger Russia
US GN or Kyakhta belong to the Niger and Russia
Niger Russia
action filter_type
action union
action find
entity US GN
relation country
action find
entity Kyakhta
relation country
type designation for an administrative territorial entity
{'OR': [['US GN', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Kyakhta', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?w WHERE { { ?e property:country ?w . VALUES ( ?e ) { ( resource:US_GN ) ( resource:Kyakhta ) } } . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q705
P1001
Q15617994 Q12737077 Q35798
USER
Which administrative territories apply to jurisdiction of less number of occupations or executive branches than Zeeland ?
(c(Q12737077)|c(Q35798),P1001,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q12737077
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q35798
action count
action filter_multi_types
action find_reverse
entity Q705
relation P1001
type Q12737077
type Q35798
[[{'concept': 'Q12737077'}, {'concept': 'Q35798'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?k ) ?w WHERE { { ?p property:P1001 ?w . ?w rdf:type ontology:Q15617994 . ?p rdf:type ontology:Q12737077 } UNION { ?p property:P1001 ?w . ?w rdf:type ontology:Q15617994 . ?p rdf:type ontology:Q35798 } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?h ) WHERE { ?e property:P1001 resource:Q705 . { VALUES ( ?a ) { ( ontology:Q12737077 ) ( ontology:Q35798 ) } . ?e rdf:type ?a } } } . FILTER ( ?k < ?h ) }
Zeeland
action less
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type occupation
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type executive branch
action count
action filter_multi_types
action find_reverse
entity Zeeland
relation applies to jurisdiction
type occupation
type executive branch
[[{'concept': 'occupation'}, {'concept': 'executive branch'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?k ) ?w WHERE { { ?p property:applies_to_jurisdiction ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?p rdf:type ontology:occupation } UNION { ?p property:applies_to_jurisdiction ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?p rdf:type ontology:executive_branch } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?h ) WHERE { ?e property:applies_to_jurisdiction resource:Zeeland . { VALUES ( ?a ) { ( ontology:occupation ) ( ontology:executive_branch ) } . ?e rdf:type ?a } } } . FILTER ( ?k < ?h ) }
[]
designation for an administrative territorial entity occupation executive branch
Q158095 Q2107 Q2871
SYSTEM
Charlottenburg-Wilmersdorf, Wuppertal, Hagen
Q707 Q706679 Q2765 Q163012 Q22273061 Q2871 Q24764 Q2742 Q443815 Q50198 Q187035 Q22274206 Q3097 Q158893 Q2942 Q11340 Q11343 Q1142326 Q2899 Q2758 Q4712 Q155019 Q3389 Q163966 Q769680 Q3068 Q11323 Q1093 Q119284 Q3403547 Q2667658 Q3462133 Q223 Q2838 Q752 Q22274534 Q11337 Q11331 Q12642 Q154547 Q1216 Q12753 Q2805 Q2107 Q1438 Q2380910 Q11301 Q2904 Q158095 Q770 Q772 Q158083 Q1243 Q72449 Q12549 Q22273285 Q129003 Q33788 Q1267638 Q329609 Q2938 Q1231
(c(Q12737077)|c(Q35798),P1001,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q12737077
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q35798
action count
action filter_multi_types
action find_reverse
entity Q705
relation P1001
type Q12737077
type Q35798
[ANSWERS] apply to jurisdiction of less number of occupations or executive branches than Zeeland
[[{'concept': 'Q12737077'}, {'concept': 'Q35798'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?k ) ?w WHERE { { ?p property:P1001 ?w . ?w rdf:type ontology:Q15617994 . ?p rdf:type ontology:Q12737077 } UNION { ?p property:P1001 ?w . ?w rdf:type ontology:Q15617994 . ?p rdf:type ontology:Q35798 } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?h ) WHERE { ?e property:P1001 resource:Q705 . { VALUES ( ?a ) { ( ontology:Q12737077 ) ( ontology:Q35798 ) } . ?e rdf:type ?a } } } . FILTER ( ?k < ?h ) }
Flevoland Duchy of Bar Gelsenkirchen Pankow Duchy of Nemours Hagen municipality of the Philippines Münster Altomünster province of Thailand Principality of Albania Duchy of Mercoeur Remscheid Friedrichshain-Kreuzberg Solingen Sprockhövel Wetter (Ruhr) Seine Mülheim an der Ruhr Mönchengladbach Duchy of Burgundy Duchy of Lorraine Finistère Mitte Bornholm Loire-Atlantique Breckerfeld Limburg Marzahn-Hellersdorf principality of Phalsbourg and Lixheim Shushary, Saint Petersburg Saxe-Coburg and Gotha Greenland Oberhausen Groningen Duchy of Elbeuf Herdecke Gevelsberg Morbihan duchy Piedmont Seine-et-Marne Krefeld Wuppertal Campania Duchy of Zaslawye Ennepetal Herne Charlottenburg-Wilmersdorf Friesland Drenthe Spandau Veneto Roccarainola Ille-et-Vilaine Duchy of Guise French Southern and Antarctic Lands New Caledonia Beloostrov Lichtenberg Leverkusen Kosovo Region
Charlottenburg-Wilmersdorf, Wuppertal and Hagen apply to jurisdiction of less number of occupations or executive branches than Zeeland
Charlottenburg-Wilmersdorf Wuppertal Hagen
action less
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type occupation
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type executive branch
action count
action filter_multi_types
action find_reverse
entity Zeeland
relation applies to jurisdiction
type occupation
type executive branch
[[{'concept': 'occupation'}, {'concept': 'executive branch'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?k ) ?w WHERE { { ?p property:applies_to_jurisdiction ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?p rdf:type ontology:occupation } UNION { ?p property:applies_to_jurisdiction ?w . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?p rdf:type ontology:executive_branch } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?e ) AS ?h ) WHERE { ?e property:applies_to_jurisdiction resource:Zeeland . { VALUES ( ?a ) { ( ontology:occupation ) ( ontology:executive_branch ) } . ?e rdf:type ?a } } } . FILTER ( ?k < ?h ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q800
P1001
Q15617994 Q12737077 Q35798
USER
And also tell me about Costa Rica?
(c(Q12737077)|c(Q35798),P1001,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q12737077
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q35798
action count
action filter_multi_types
action find_reverse
entity Q800
relation P1001
type Q12737077
type Q35798
[[{'concept': 'Q12737077'}, {'concept': 'Q35798'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?r ) ?x WHERE { ?l rdf:type ?h . VALUES ( ?h ) { ( ontology:Q12737077 ) ( ontology:Q35798 ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?v ) WHERE { ?c property:P1001 resource:Q800 . { { ?c rdf:type ontology:Q12737077 } UNION { ?c rdf:type ontology:Q35798 } } } } . FILTER ( ?r < ?v ) }
Costa Rica
action less
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type occupation
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type executive branch
action count
action filter_multi_types
action find_reverse
entity Costa Rica
relation applies to jurisdiction
type occupation
type executive branch
[[{'concept': 'occupation'}, {'concept': 'executive branch'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?r ) ?x WHERE { ?l rdf:type ?h . VALUES ( ?h ) { ( ontology:occupation ) ( ontology:executive_branch ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?v ) WHERE { ?c property:applies_to_jurisdiction resource:Costa_Rica . { { ?c rdf:type ontology:occupation } UNION { ?c rdf:type ontology:executive_branch } } } } . FILTER ( ?r < ?v ) }
[]
designation for an administrative territorial entity occupation executive branch
Q32 Q347 Q657
SYSTEM
Luxembourg, Liechtenstein, Chad
Q702 Q804 Q705 Q707 Q706679 Q2765 Q163012 Q22273061 Q2871 Q24764 Q2742 Q874 Q443815 Q50198 Q187035 Q22274206 Q1462 Q657 Q4628 Q7688 Q3097 Q158893 Q2942 Q817 Q11340 Q11343 Q1142326 Q2899 Q2758 Q813 Q4712 Q155019 Q3389 Q163966 Q769680 Q3068 Q11323 Q1093 Q119284 Q3403547 Q2667658 Q1101 Q32 Q3462133 Q223 Q347 Q2838 Q1032 Q965 Q962 Q752 Q22274534 Q11337 Q11331 Q12642 Q154547 Q683 Q1216 Q12753 Q912 Q2805 Q2107 Q1007 Q1008 Q970 Q1438 Q34020 Q2380910 Q11301 Q2904 Q158095 Q878 Q775 Q770 Q773 Q772 Q158083 Q1243 Q945 Q72449 Q12549 Q22273285 Q129003 Q33788 Q1267638 Q329609 Q2938 Q2023 Q1231 Q1237
(c(Q12737077)|c(Q35798),P1001,c(Q15617994))
action less
action union
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q12737077
action find_reverse_tuple_counts
relation P1001
type Q15617994
type Q35798
action count
action filter_multi_types
action find_reverse
entity Q800
relation P1001
type Q12737077
type Q35798
[ANSWERS]
[[{'concept': 'Q12737077'}, {'concept': 'Q35798'}], 'P1001', {'concept': 'Q15617994'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?r ) ?x WHERE { ?l rdf:type ?h . VALUES ( ?h ) { ( ontology:Q12737077 ) ( ontology:Q35798 ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?v ) WHERE { ?c property:P1001 resource:Q800 . { { ?c rdf:type ontology:Q12737077 } UNION { ?c rdf:type ontology:Q35798 } } } } . FILTER ( ?r < ?v ) }
Federated States of Micronesia Panama Zeeland Flevoland Duchy of Bar Gelsenkirchen Pankow Duchy of Nemours Hagen municipality of the Philippines Münster Turkmenistan Altomünster province of Thailand Principality of Albania Duchy of Mercoeur Sardinia Chad Faroe Islands raion Remscheid Friedrichshain-Kreuzberg Solingen Kuwait Sprockhövel Wetter (Ruhr) Seine Mülheim an der Ruhr Mönchengladbach Kyrgyzstan Duchy of Burgundy Duchy of Lorraine Finistère Mitte Bornholm Loire-Atlantique Breckerfeld Limburg Marzahn-Hellersdorf principality of Phalsbourg and Lixheim Shushary, Saint Petersburg North Brabant Luxembourg Saxe-Coburg and Gotha Greenland Liechtenstein Oberhausen Niger Burkina Faso Benin Groningen Duchy of Elbeuf Herdecke Gevelsberg Morbihan duchy Samoa Piedmont Seine-et-Marne Mali Krefeld Wuppertal Guinea-Bissau Côte d'Ivoire Comoros Campania Niue Duchy of Zaslawye Ennepetal Herne Charlottenburg-Wilmersdorf United Arab Emirates Gelderland Friesland Overijssel Drenthe Spandau Veneto Togo Roccarainola Ille-et-Vilaine Duchy of Guise French Southern and Antarctic Lands New Caledonia Beloostrov Lichtenberg Leverkusen Nunavut Kosovo Region Trentino-South Tyrol
Luxembourg Liechtenstein Chad
action less
action union
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type occupation
action find_reverse_tuple_counts
relation applies to jurisdiction
type designation for an administrative territorial entity
type executive branch
action count
action filter_multi_types
action find_reverse
entity Costa Rica
relation applies to jurisdiction
type occupation
type executive branch
[[{'concept': 'occupation'}, {'concept': 'executive branch'}], 'applies to jurisdiction', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?l ) AS ?r ) ?x WHERE { ?l rdf:type ?h . VALUES ( ?h ) { ( ontology:occupation ) ( ontology:executive_branch ) } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?v ) WHERE { ?c property:applies_to_jurisdiction resource:Costa_Rica . { { ?c rdf:type ontology:occupation } UNION { ?c rdf:type ontology:executive_branch } } } } . FILTER ( ?r < ?v ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q971
P530
Q15617994 Q15617994
USER
Which administrative territories have diplomatic relations with more number of administrative territories than Republic of the Congo ?
(c(Q15617994),P530,c(Q15617994))
action greater
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find_reverse
entity Q971
relation P530
type Q15617994
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ?m ( COUNT ( ?h ) AS ?z ) WHERE { ?m property:P530 ?h . ?m rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q15617994 } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?y ) WHERE { ?d property:P530 resource:Q971 . ?d rdf:type ontology:Q15617994 } } . FILTER ( ?z > ?y ) }
Republic of the Congo
action greater
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find_reverse
entity Republic of the Congo
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ?m ( COUNT ( ?h ) AS ?z ) WHERE { ?m property:diplomatic_relation ?h . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?y ) WHERE { ?d property:diplomatic_relation resource:Republic_of_the_Congo . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?z > ?y ) }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q801 Q805 Q668 Q414 Q142 Q145 Q262 Q148 Q37 Q711 Q252 Q399 Q403 Q258 Q45 Q159 Q43 Q41 Q155 Q796 Q794 Q954 Q889 Q884 Q881 Q822 Q241 Q32 Q31 Q30 Q36 Q34 Q928 Q39 Q38 Q739 Q423 Q851 Q27 Q1049 Q843 Q228 Q227 Q224 Q222 Q347 Q17 Q974 Q1033 Q298 Q115 Q114 Q212 Q213 Q211 Q215 Q916 Q79 Q810 Q1016 Q1011 Q29 Q953
(c(Q15617994),P530,c(Q15617994))
action greater
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find_reverse
entity Q971
relation P530
type Q15617994
[ANSWERS] have diplomatic relations with more number of administrative territories than Republic of the Congo
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ?m ( COUNT ( ?h ) AS ?z ) WHERE { ?m property:P530 ?h . ?m rdf:type ontology:Q15617994 . ?h rdf:type ontology:Q15617994 } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?y ) WHERE { ?d property:P530 resource:Q971 . ?d rdf:type ontology:Q15617994 } } . FILTER ( ?z > ?y ) }
Israel Yemen India Argentina France United Kingdom Algeria People's Republic of China Lithuania Mongolia Indonesia Armenia Serbia South Africa Portugal Russia Turkey Greece Brazil Iraq Iran Zimbabwe Afghanistan South Korea Vietnam Lebanon Cuba Luxembourg Belgium United States of America Poland Sweden Philippines Switzerland Italy Colombia North Korea Saudi Arabia Ireland Sudan Pakistan Andorra Azerbaijan Croatia Albania Liechtenstein Japan Democratic Republic of the Congo Nigeria Chile Ethiopia Kenya Ukraine Czech Republic Latvia Slovenia Angola Egypt Jordan Libya Cape Verde Spain Zambia
Italy, Brazil and United States of America have diplomatic relations with more number of administrative territories than Republic of the Congo
Italy Brazil United States of America
action greater
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find_reverse
entity Republic of the Congo
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ?m ( COUNT ( ?h ) AS ?z ) WHERE { ?m property:diplomatic_relation ?h . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity . ?h rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?m } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?y ) WHERE { ?d property:diplomatic_relation resource:Republic_of_the_Congo . ?d rdf:type ontology:designation_for_an_administrative_territorial_entity } } . FILTER ( ?z > ?y ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q242
P530
Q15617994 Q15617994
USER
And also tell me about Belize?
(c(Q15617994),P530,c(Q15617994))
action greater
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q242
relation P530
type Q15617994
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?n ) AS ?p ) WHERE { ?n property:P530 ?u . ?u rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q15617994 } GROUP BY ?u } . FILTER ( ?p > ?g ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?g ) WHERE { ?o rdf:type ontology:Q15617994 . resource:Q242 property:P530 ?o } } }
Belize
action greater
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Belize
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?n ) AS ?p ) WHERE { ?n property:diplomatic_relation ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?u } . FILTER ( ?p > ?g ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?g ) WHERE { ?o rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Belize property:diplomatic_relation ?o } } }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q801 Q800 Q805 Q419 Q668 Q414 Q142 Q55 Q145 Q262 Q148 Q783 Q784 Q37 Q711 Q710 Q717 Q252 Q399 Q398 Q403 Q657 Q258 Q45 Q159 Q43 Q41 Q155 Q792 Q790 Q796 Q794 Q954 Q889 Q884 Q958 Q881 Q986 Q822 Q241 Q244 Q33 Q32 Q31 Q30 Q924 Q36 Q34 Q928 Q39 Q38 Q739 Q423 Q983 Q851 Q733 Q734 Q819 Q424 Q1013 Q236 Q230 Q233 Q238 Q20 Q1045 Q1041 Q27 Q28 Q921 Q1049 Q1020 Q189 Q843 Q842 Q184 Q1029 Q1028 Q736 Q786 Q228 Q227 Q225 Q224 Q222 Q221 Q96 Q229 Q347 Q17 Q902 Q1036 Q1037 Q974 Q1033 Q1030 Q191 Q965 Q967 Q962 Q963 Q298 Q115 Q114 Q117 Q750 Q212 Q213 Q211 Q217 Q214 Q215 Q218 Q219 Q917 Q916 Q1007 Q1006 Q1005 Q833 Q977 Q1009 Q1008 Q971 Q970 Q34020 Q686 Q574 Q874 Q79 Q77 Q858 Q878 Q774 Q948 Q810 Q1016 Q1011 Q29 Q869 Q953
(c(Q15617994),P530,c(Q15617994))
action greater
action find_reverse_tuple_counts
relation P530
type Q15617994
type Q15617994
action count
action filter_type
action find
entity Q242
relation P530
type Q15617994
[ANSWERS]
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?n ) AS ?p ) WHERE { ?n property:P530 ?u . ?u rdf:type ontology:Q15617994 . ?n rdf:type ontology:Q15617994 } GROUP BY ?u } . FILTER ( ?p > ?g ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?g ) WHERE { ?o rdf:type ontology:Q15617994 . resource:Q242 property:P530 ?o } } }
Israel Costa Rica Yemen Peru India Argentina France Netherlands United Kingdom Algeria People's Republic of China Honduras Dominica Lithuania Mongolia Kiribati Venezuela Indonesia Armenia Bahrain Serbia Chad South Africa Portugal Russia Turkey Greece Brazil El Salvador Haiti Iraq Iran Zimbabwe Afghanistan South Korea South Sudan Vietnam Eritrea Lebanon Cuba Barbados Finland Luxembourg Belgium United States of America Tanzania Poland Sweden Philippines Switzerland Italy Colombia North Korea Equatorial Guinea Saudi Arabia Paraguay Guyana Laos Cambodia Lesotho Montenegro Georgia Malta San Marino Norway Somalia Senegal Ireland Hungary Brunei Sudan Malawi Iceland Pakistan Oman Belarus Mozambique Morocco Ecuador Dominican Republic Andorra Azerbaijan Bosnia and Herzegovina Croatia Albania Republic of Macedonia Mexico Cyprus Liechtenstein Japan Bangladesh Uganda Rwanda Democratic Republic of the Congo Nigeria Namibia Estonia Burkina Faso Burundi Benin Botswana Chile Ethiopia Kenya Ghana Bolivia Ukraine Czech Republic Latvia Republic of Moldova Slovakia Slovenia Romania Bulgaria Bhutan Angola Guinea-Bissau Guinea Gambia Malaysia Djibouti Cameroon Côte d'Ivoire Republic of the Congo Comoros Niue Vanuatu East Timor Turkmenistan Egypt Uruguay Syria United Arab Emirates Guatemala Tunisia Jordan Libya Cape Verde Spain Thailand Zambia
Italy Brazil United States of America
action greater
action find_reverse_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
action count
action filter_type
action find
entity Belize
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ?u ( COUNT ( ?n ) AS ?p ) WHERE { ?n property:diplomatic_relation ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?u } . FILTER ( ?p > ?g ) . { SELECT DISTINCT ( COUNT ( ?o ) AS ?g ) WHERE { ?o rdf:type ontology:designation_for_an_administrative_territorial_entity . resource:Belize property:diplomatic_relation ?o } } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q566084
P530
Q15617994
USER
Do Heilenbach have tactful political relations with those ones ?
(Q566084,P530,Q38) (Q566084,P530,Q155) (Q566084,P530,Q30)
action is_in
entity prev_answer
action find
entity Q566084
relation P530
['Q566084', 'P530', 'Q38'] ['Q566084', 'P530', 'Q155'] ['Q566084', 'P530', 'Q30']
ASK WHERE { resource:Q566084 property:P530 ?j . VALUES ( ?j ) { ( resource:Q801 ) ( resource:Q800 ) ( resource:Q805 ) } }
Heilenbach
action is_in
entity prev_answer
action find
entity Heilenbach
relation diplomatic relation
['Heilenbach', 'diplomatic relation', 'Italy'] ['Heilenbach', 'diplomatic relation', 'Brazil'] ['Heilenbach', 'diplomatic relation', 'United States of America']
ASK WHERE { resource:Heilenbach property:diplomatic_relation ?j . VALUES ( ?j ) { ( resource:Israel ) ( resource:Costa_Rica ) ( resource:Yemen ) } }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q566084,P530,Q38) (Q566084,P530,Q155) (Q566084,P530,Q30)
action is_in
entity prev_answer
action find
entity Q566084
relation P530
[ANSWER]
['Q566084', 'P530', 'Q38'] ['Q566084', 'P530', 'Q155'] ['Q566084', 'P530', 'Q30']
ASK WHERE { resource:Q566084 property:P530 ?j . VALUES ( ?j ) { ( resource:Q801 ) ( resource:Q800 ) ( resource:Q805 ) } }
No
action is_in
entity prev_answer
action find
entity Heilenbach
relation diplomatic relation
['Heilenbach', 'diplomatic relation', 'Italy'] ['Heilenbach', 'diplomatic relation', 'Brazil'] ['Heilenbach', 'diplomatic relation', 'United States of America']
ASK WHERE { resource:Heilenbach property:diplomatic_relation ?j . VALUES ( ?j ) { ( resource:Israel ) ( resource:Costa_Rica ) ( resource:Yemen ) } }
[]