Simple Question (Direct)
Simple Question
Q61134
P19
Q15617994
USER
Which administrative territory was Hilde Gerg born in ?
(Q61134,P19,c(Q15617994))
action filter_type
action find
entity Q61134
relation P19
type Q15617994
['Q61134', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q61134 property:P19 ?f . ?f rdf:type ontology:Q15617994 }
Hilde Gerg
action filter_type
action find
entity Hilde Gerg
relation place of birth
type designation for an administrative territorial entity
['Hilde Gerg', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Hilde_Gerg property:place_of_birth ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q532151
SYSTEM
Lenggries
Q532151
(Q61134,P19,c(Q15617994))
action filter_type
action find
entity Q61134
relation P19
type Q15617994
Hilde Gerg was born in [ANSWER]
['Q61134', 'P19', {'concept': 'Q15617994'}]
SELECT DISTINCT ?f WHERE { resource:Q61134 property:P19 ?f . ?f rdf:type ontology:Q15617994 }
Lenggries
Hilde Gerg was born in Lenggries
Lenggries
action filter_type
action find
entity Hilde Gerg
relation place of birth
type designation for an administrative territorial entity
['Hilde Gerg', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?f WHERE { resource:Hilde_Gerg property:place_of_birth ?f . ?f rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q61134
P27
Q1048835
USER
Which political territory is Hilde Gerg a civilian of ?
(Q61134,P27,c(Q1048835))
action filter_type
action find
entity Q61134
relation P27
type Q1048835
['Q61134', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?y WHERE { resource:Q61134 property:P27 ?y . ?y rdf:type ontology:Q1048835 }
Hilde Gerg
action filter_type
action find
entity Hilde Gerg
relation country of citizenship
type political territorial entity
['Hilde Gerg', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?y WHERE { resource:Hilde_Gerg property:country_of_citizenship ?y . ?y rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q61134,P27,c(Q1048835))
action filter_type
action find
entity Q61134
relation P27
type Q1048835
Which political territory is Hilde Gerg a civilian of
['Q61134', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?y WHERE { resource:Q61134 property:P27 ?y . ?y rdf:type ontology:Q1048835 }
Germany
Which political territory is Hilde Gerg a civilian of
Germany
action filter_type
action find
entity Hilde Gerg
relation country of citizenship
type political territorial entity
['Hilde Gerg', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?y WHERE { resource:Hilde_Gerg property:country_of_citizenship ?y . ?y rdf:type ontology:political_territorial_entity }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q4766010
Q1048835
USER
And what about Anke Scholz?
(Q4766010,P27,c(Q1048835))
action filter_type
action find
entity Q4766010
relation P27
type Q1048835
['Q4766010', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?s WHERE { resource:Q4766010 property:P27 ?s . ?s rdf:type ontology:Q1048835 }
Anke Scholz
action filter_type
action find
entity Anke Scholz
relation country of citizenship
type political territorial entity
['Anke Scholz', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Anke_Scholz property:country_of_citizenship ?s . ?s rdf:type ontology:political_territorial_entity }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
(Q4766010,P27,c(Q1048835))
action filter_type
action find
entity Q4766010
relation P27
type Q1048835
[ANSWER]
['Q4766010', 'P27', {'concept': 'Q1048835'}]
SELECT DISTINCT ?s WHERE { resource:Q4766010 property:P27 ?s . ?s rdf:type ontology:Q1048835 }
Germany
Germany
action filter_type
action find
entity Anke Scholz
relation country of citizenship
type political territorial entity
['Anke Scholz', 'country of citizenship', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?s WHERE { resource:Anke_Scholz property:country_of_citizenship ?s . ?s rdf:type ontology:political_territorial_entity }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q17106717 Q183
P530 P27
Q15617994
USER
Which administrative territories have diplomatic relations with Germany and are not the countries of citizenship of Maria Saltirova Rausandaksel ?
AND((Q183,P530,c(Q15617994)), NOT((Q17106717,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q183
relation P530
action find
entity Q17106717
relation P27
type Q15617994
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q17106717', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?c WHERE { resource:Q183 property:P530 ?c . MINUS { resource:Q17106717 property:P27 ?c } . ?c rdf:type ontology:Q15617994 }
Maria Saltirova Rausandaksel Germany
action filter_type
action difference
action find
entity Germany
relation diplomatic relation
action find
entity Maria Saltirova Rausandaksel
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Maria Saltirova Rausandaksel', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?c WHERE { resource:Germany property:diplomatic_relation ?c . MINUS { resource:Maria_Saltirova_Rausandaksel property:country_of_citizenship ?c } . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q884 Q224 Q1036 Q1030 Q218 Q1009 Q414 Q1011 Q924 Q43
SYSTEM
Some of them are South Korea, Croatia, Uganda, Namibia, Romania, Cameroon, Argentina, Cape Verde, Tanzania, Turkey
Q804 Q801 Q800 Q419 Q668 Q414 Q142 Q55 Q145 Q262 Q148 Q783 Q265 Q833 Q711 Q717 Q252 Q403 Q657 Q258 Q45 Q159 Q43 Q41 Q155 Q796 Q794 Q954 Q889 Q884 Q958 Q881 Q739 Q241 Q242 Q811 Q33 Q32 Q31 Q30 Q924 Q36 Q34 Q929 Q39 Q38 Q986 Q423 Q983 Q851 Q733 Q734 Q736 Q730 Q230 Q232 Q233 Q238 Q1045 Q1041 Q27 Q28 Q29 Q1049 Q189 Q843 Q184 Q1029 Q1028 Q786 Q347 Q227 Q225 Q224 Q222 Q96 Q229 Q228 Q17 Q902 Q1036 Q1037 Q1008 Q1032 Q1033 Q1030 Q965 Q967 Q962 Q963 Q298 Q115 Q114 Q117 Q750 Q212 Q213 Q217 Q214 Q215 Q218 Q219 Q912 Q917 Q916 Q1007 Q1006 Q1005 Q1009 Q974 Q971 Q79 Q77 Q878 Q774 Q948 Q810 Q1019 Q1016 Q1011 Q945 Q869 Q953
AND((Q183,P530,c(Q15617994)), NOT((Q17106717,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q183
relation P530
action find
entity Q17106717
relation P27
type Q15617994
[ANSWERS] have diplomatic relations with Germany and are not the countries of citizenship of Maria Saltirova Rausandaksel
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q17106717', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?c WHERE { resource:Q183 property:P530 ?c . MINUS { resource:Q17106717 property:P27 ?c } . ?c rdf:type ontology:Q15617994 }
Panama Israel Costa Rica Peru India Argentina France Netherlands United Kingdom Algeria People's Republic of China Honduras Uzbekistan Malaysia Mongolia Venezuela Indonesia Serbia Chad South Africa Portugal Russia Turkey Greece Brazil Iraq Iran Zimbabwe Afghanistan South Korea South Sudan Vietnam Colombia Cuba Belize Nicaragua Finland Luxembourg Belgium United States of America Tanzania Poland Sweden Central African Republic Switzerland Italy Eritrea North Korea Equatorial Guinea Saudi Arabia Paraguay Guyana Ecuador Suriname Georgia Kazakhstan Malta San Marino Somalia Senegal Ireland Hungary Spain Sudan Iceland Pakistan Belarus Mozambique Morocco Dominican Republic Liechtenstein Azerbaijan Bosnia and Herzegovina Croatia Albania Mexico Cyprus Andorra Japan Bangladesh Uganda Rwanda Côte d'Ivoire Niger Nigeria Namibia Burkina Faso Burundi Benin Botswana Chile Ethiopia Kenya Ghana Bolivia Ukraine Czech Republic Republic of Moldova Slovakia Slovenia Romania Bulgaria Mali Bhutan Angola Guinea-Bissau Guinea Gambia Cameroon Democratic Republic of the Congo Republic of the Congo Egypt Uruguay United Arab Emirates Guatemala Tunisia Jordan Madagascar Libya Cape Verde Togo Thailand Zambia
South Korea, Croatia, Uganda, Namibia, Romania, Cameroon, Argentina, Cape Verde, Tanzania and Turkey have diplomatic relations with Germany and are not the countries of citizenship of Maria Saltirova Rausandaksel
South Korea Croatia Uganda Namibia Romania Cameroon Argentina Cape Verde Tanzania Turkey
action filter_type
action difference
action find
entity Germany
relation diplomatic relation
action find
entity Maria Saltirova Rausandaksel
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Maria Saltirova Rausandaksel', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?c WHERE { resource:Germany property:diplomatic_relation ?c . MINUS { resource:Maria_Saltirova_Rausandaksel property:country_of_citizenship ?c } . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1765062
P530
Q1048835
USER
Do Brunópolis have tactful political relations with those administrative territories ?
(Q1765062,P530,Q884) (Q1765062,P530,Q224) (Q1765062,P530,Q1036) (Q1765062,P530,Q1030) (Q1765062,P530,Q218) (Q1765062,P530,Q1009) (Q1765062,P530,Q414) (Q1765062,P530,Q1011) (Q1765062,P530,Q924) (Q1765062,P530,Q43)
action is_in
entity prev_answer
action find
entity Q1765062
relation P530
['Q1765062', 'P530', 'Q884'] ['Q1765062', 'P530', 'Q224'] ['Q1765062', 'P530', 'Q1036'] ['Q1765062', 'P530', 'Q1030'] ['Q1765062', 'P530', 'Q218'] ['Q1765062', 'P530', 'Q1009'] ['Q1765062', 'P530', 'Q414'] ['Q1765062', 'P530', 'Q1011'] ['Q1765062', 'P530', 'Q924'] ['Q1765062', 'P530', 'Q43']
ASK WHERE { VALUES ( ?e ) { ( resource:Q804 ) ( resource:Q801 ) ( resource:Q800 ) } . resource:Q1765062 property:P530 ?e }
Brunópolis
action is_in
entity prev_answer
action find
entity Brunópolis
relation diplomatic relation
['Brunópolis', 'diplomatic relation', 'South Korea'] ['Brunópolis', 'diplomatic relation', 'Croatia'] ['Brunópolis', 'diplomatic relation', 'Uganda'] ['Brunópolis', 'diplomatic relation', 'Namibia'] ['Brunópolis', 'diplomatic relation', 'Romania'] ['Brunópolis', 'diplomatic relation', 'Cameroon'] ['Brunópolis', 'diplomatic relation', 'Argentina'] ['Brunópolis', 'diplomatic relation', 'Cape Verde'] ['Brunópolis', 'diplomatic relation', 'Tanzania'] ['Brunópolis', 'diplomatic relation', 'Turkey']
ASK WHERE { VALUES ( ?e ) { ( resource:Panama ) ( resource:Israel ) ( resource:Costa_Rica ) } . resource:Brunópolis property:diplomatic_relation ?e }
[]
political territorial entity
SYSTEM
NO
(Q1765062,P530,Q884) (Q1765062,P530,Q224) (Q1765062,P530,Q1036) (Q1765062,P530,Q1030) (Q1765062,P530,Q218) (Q1765062,P530,Q1009) (Q1765062,P530,Q414) (Q1765062,P530,Q1011) (Q1765062,P530,Q924) (Q1765062,P530,Q43)
action is_in
entity prev_answer
action find
entity Q1765062
relation P530
[ANSWER]
['Q1765062', 'P530', 'Q884'] ['Q1765062', 'P530', 'Q224'] ['Q1765062', 'P530', 'Q1036'] ['Q1765062', 'P530', 'Q1030'] ['Q1765062', 'P530', 'Q218'] ['Q1765062', 'P530', 'Q1009'] ['Q1765062', 'P530', 'Q414'] ['Q1765062', 'P530', 'Q1011'] ['Q1765062', 'P530', 'Q924'] ['Q1765062', 'P530', 'Q43']
ASK WHERE { VALUES ( ?e ) { ( resource:Q804 ) ( resource:Q801 ) ( resource:Q800 ) } . resource:Q1765062 property:P530 ?e }
No
action is_in
entity prev_answer
action find
entity Brunópolis
relation diplomatic relation
['Brunópolis', 'diplomatic relation', 'South Korea'] ['Brunópolis', 'diplomatic relation', 'Croatia'] ['Brunópolis', 'diplomatic relation', 'Uganda'] ['Brunópolis', 'diplomatic relation', 'Namibia'] ['Brunópolis', 'diplomatic relation', 'Romania'] ['Brunópolis', 'diplomatic relation', 'Cameroon'] ['Brunópolis', 'diplomatic relation', 'Argentina'] ['Brunópolis', 'diplomatic relation', 'Cape Verde'] ['Brunópolis', 'diplomatic relation', 'Tanzania'] ['Brunópolis', 'diplomatic relation', 'Turkey']
ASK WHERE { VALUES ( ?e ) { ( resource:Panama ) ( resource:Israel ) ( resource:Costa_Rica ) } . resource:Brunópolis property:diplomatic_relation ?e }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q503609
P361
Q49447 Q82794 Q15617994
USER
Which administrative territories are a component of greater number of world views and geographic regions than Hohenaltheim ?
(c(Q15617994),P361,c(Q49447)|c(Q82794))
action greater
action union
action find_tuple_counts
relation P361
type Q15617994
type Q49447
action find_tuple_counts
relation P361
type Q15617994
type Q82794
action count
action filter_multi_types
action find
entity Q503609
relation P361
type Q49447
type Q82794
[{'concept': 'Q15617994'}, 'P361', [{'concept': 'Q49447'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) ?x WHERE { { ?x rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q49447 . ?x property:P361 ?a } UNION { ?x rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q82794 . ?x property:P361 ?a } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?e ) WHERE { { { ?n rdf:type ontology:Q82794 } UNION { ?n rdf:type ontology:Q49447 } } . resource:Q503609 property:P361 ?n } } . FILTER ( ?i > ?e ) }
Hohenaltheim
action greater
action union
action find_tuple_counts
relation part of
type designation for an administrative territorial entity
type world view
action find_tuple_counts
relation part of
type designation for an administrative territorial entity
type geographic region
action count
action filter_multi_types
action find
entity Hohenaltheim
relation part of
type world view
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'part of', [{'concept': 'world view'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) ?x WHERE { { ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:world_view . ?x property:part_of ?a } UNION { ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:geographic_region . ?x property:part_of ?a } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?e ) WHERE { { { ?n rdf:type ontology:geographic_region } UNION { ?n rdf:type ontology:world_view } } . resource:Hohenaltheim property:part_of ?n } } . FILTER ( ?i > ?e ) }
[]
world view geographic region designation for an administrative territorial entity
Q242 Q184864 Q686312
SYSTEM
Belize, Megara, Duchy of Amalfi
Q184864 Q242 Q686312 Q3773354
(c(Q15617994),P361,c(Q49447)|c(Q82794))
action greater
action union
action find_tuple_counts
relation P361
type Q15617994
type Q49447
action find_tuple_counts
relation P361
type Q15617994
type Q82794
action count
action filter_multi_types
action find
entity Q503609
relation P361
type Q49447
type Q82794
[ANSWERS] are a component of greater number of world views and geographic regions than Hohenaltheim
[{'concept': 'Q15617994'}, 'P361', [{'concept': 'Q49447'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) ?x WHERE { { ?x rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q49447 . ?x property:P361 ?a } UNION { ?x rdf:type ontology:Q15617994 . ?a rdf:type ontology:Q82794 . ?x property:P361 ?a } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?e ) WHERE { { { ?n rdf:type ontology:Q82794 } UNION { ?n rdf:type ontology:Q49447 } } . resource:Q503609 property:P361 ?n } } . FILTER ( ?i > ?e ) }
Megara Belize Duchy of Amalfi Alagonia
Belize, Megara and Duchy of Amalfi are a component of greater number of world views and geographic regions than Hohenaltheim
Belize Megara Duchy of Amalfi
action greater
action union
action find_tuple_counts
relation part of
type designation for an administrative territorial entity
type world view
action find_tuple_counts
relation part of
type designation for an administrative territorial entity
type geographic region
action count
action filter_multi_types
action find
entity Hohenaltheim
relation part of
type world view
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'part of', [{'concept': 'world view'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?x WHERE { { SELECT DISTINCT ( COUNT ( ?a ) AS ?i ) ?x WHERE { { ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:world_view . ?x property:part_of ?a } UNION { ?x rdf:type ontology:designation_for_an_administrative_territorial_entity . ?a rdf:type ontology:geographic_region . ?x property:part_of ?a } } GROUP BY ?x } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?e ) WHERE { { { ?n rdf:type ontology:geographic_region } UNION { ?n rdf:type ontology:world_view } } . resource:Hohenaltheim property:part_of ?n } } . FILTER ( ?i > ?e ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q528284
P361
Q49447 Q82794 Q15617994
USER
And how about Walpertskirchen?
(c(Q15617994),P361,c(Q49447)|c(Q82794))
action greater
action union
action find_tuple_counts
relation P361
type Q15617994
type Q49447
action find_tuple_counts
relation P361
type Q15617994
type Q82794
action count
action filter_multi_types
action find
entity Q528284
relation P361
type Q49447
type Q82794
[{'concept': 'Q15617994'}, 'P361', [{'concept': 'Q49447'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?y ) AS ?t ) WHERE { { ?e property:P361 ?y . ?e rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q49447 } UNION { ?e property:P361 ?y . ?e rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q82794 } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?x ) WHERE { resource:Q528284 property:P361 ?m . { { ?m rdf:type ontology:Q49447 } UNION { ?m rdf:type ontology:Q82794 } } } } . FILTER ( ?t > ?x ) }
Walpertskirchen
action greater
action union
action find_tuple_counts
relation part of
type designation for an administrative territorial entity
type world view
action find_tuple_counts
relation part of
type designation for an administrative territorial entity
type geographic region
action count
action filter_multi_types
action find
entity Walpertskirchen
relation part of
type world view
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'part of', [{'concept': 'world view'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?y ) AS ?t ) WHERE { { ?e property:part_of ?y . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:world_view } UNION { ?e property:part_of ?y . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:geographic_region } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?x ) WHERE { resource:Walpertskirchen property:part_of ?m . { { ?m rdf:type ontology:world_view } UNION { ?m rdf:type ontology:geographic_region } } } } . FILTER ( ?t > ?x ) }
[]
world view geographic region designation for an administrative territorial entity
Q242 Q184864 Q686312
SYSTEM
Belize, Megara, Duchy of Amalfi
Q184864 Q242 Q686312 Q3773354
(c(Q15617994),P361,c(Q49447)|c(Q82794))
action greater
action union
action find_tuple_counts
relation P361
type Q15617994
type Q49447
action find_tuple_counts
relation P361
type Q15617994
type Q82794
action count
action filter_multi_types
action find
entity Q528284
relation P361
type Q49447
type Q82794
[ANSWERS]
[{'concept': 'Q15617994'}, 'P361', [{'concept': 'Q49447'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?y ) AS ?t ) WHERE { { ?e property:P361 ?y . ?e rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q49447 } UNION { ?e property:P361 ?y . ?e rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q82794 } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?x ) WHERE { resource:Q528284 property:P361 ?m . { { ?m rdf:type ontology:Q49447 } UNION { ?m rdf:type ontology:Q82794 } } } } . FILTER ( ?t > ?x ) }
Megara Belize Duchy of Amalfi Alagonia
Belize Megara Duchy of Amalfi
action greater
action union
action find_tuple_counts
relation part of
type designation for an administrative territorial entity
type world view
action find_tuple_counts
relation part of
type designation for an administrative territorial entity
type geographic region
action count
action filter_multi_types
action find
entity Walpertskirchen
relation part of
type world view
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'part of', [{'concept': 'world view'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ?e ( COUNT ( ?y ) AS ?t ) WHERE { { ?e property:part_of ?y . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:world_view } UNION { ?e property:part_of ?y . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:geographic_region } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?x ) WHERE { resource:Walpertskirchen property:part_of ?m . { { ?m rdf:type ontology:world_view } UNION { ?m rdf:type ontology:geographic_region } } } } . FILTER ( ?t > ?x ) }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P706
Q271669 Q82794 Q15617994
USER
Which administrative territories have their location as max number of landforms or geographic regions ?
(c(Q15617994),P706,c(Q271669)|c(Q82794))
action argmax
action union
action find_tuple_counts
relation P706
type Q15617994
type Q271669
action find_tuple_counts
relation P706
type Q15617994
type Q82794
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q271669'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?w ) ?b WHERE { ?u rdf:type ?j . VALUES ( ?j ) { ( ontology:Q82794 ) ( ontology:Q271669 ) } } GROUP BY ?b } . FILTER ( ?w = ?c ) . { SELECT DISTINCT ( MAX ( ?z ) AS ?c ) { SELECT DISTINCT ( COUNT ( ?g ) AS ?z ) ?e WHERE { { ?e property:P706 ?g . ?e rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q271669 } UNION { ?e property:P706 ?g . ?g rdf:type ontology:Q82794 . ?e rdf:type ontology:Q15617994 } } GROUP BY ?e } } }
action argmax
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type landform
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'landform'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?w ) ?b WHERE { ?u rdf:type ?j . VALUES ( ?j ) { ( ontology:geographic_region ) ( ontology:landform ) } } GROUP BY ?b } . FILTER ( ?w = ?c ) . { SELECT DISTINCT ( MAX ( ?z ) AS ?c ) { SELECT DISTINCT ( COUNT ( ?g ) AS ?z ) ?e WHERE { { ?e property:located_on_terrain_feature ?g . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:landform } UNION { ?e property:located_on_terrain_feature ?g . ?g rdf:type ontology:geographic_region . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?e } } }
[]
landform geographic region designation for an administrative territorial entity
Q145
SYSTEM
United Kingdom
Q145
(c(Q15617994),P706,c(Q271669)|c(Q82794))
action argmax
action union
action find_tuple_counts
relation P706
type Q15617994
type Q271669
action find_tuple_counts
relation P706
type Q15617994
type Q82794
[ANSWER] have their location as max number of landforms or geographic regions
[{'concept': 'Q15617994'}, 'P706', [{'concept': 'Q271669'}, {'concept': 'Q82794'}]]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?w ) ?b WHERE { ?u rdf:type ?j . VALUES ( ?j ) { ( ontology:Q82794 ) ( ontology:Q271669 ) } } GROUP BY ?b } . FILTER ( ?w = ?c ) . { SELECT DISTINCT ( MAX ( ?z ) AS ?c ) { SELECT DISTINCT ( COUNT ( ?g ) AS ?z ) ?e WHERE { { ?e property:P706 ?g . ?e rdf:type ontology:Q15617994 . ?g rdf:type ontology:Q271669 } UNION { ?e property:P706 ?g . ?g rdf:type ontology:Q82794 . ?e rdf:type ontology:Q15617994 } } GROUP BY ?e } } }
United Kingdom
United Kingdom have their location as max number of landforms or geographic regions
United Kingdom
action argmax
action union
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type landform
action find_tuple_counts
relation located on terrain feature
type designation for an administrative territorial entity
type geographic region
[{'concept': 'designation for an administrative territorial entity'}, 'located on terrain feature', [{'concept': 'landform'}, {'concept': 'geographic region'}]]
SELECT DISTINCT ?b WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?w ) ?b WHERE { ?u rdf:type ?j . VALUES ( ?j ) { ( ontology:geographic_region ) ( ontology:landform ) } } GROUP BY ?b } . FILTER ( ?w = ?c ) . { SELECT DISTINCT ( MAX ( ?z ) AS ?c ) { SELECT DISTINCT ( COUNT ( ?g ) AS ?z ) ?e WHERE { { ?e property:located_on_terrain_feature ?g . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?g rdf:type ontology:landform } UNION { ?e property:located_on_terrain_feature ?g . ?g rdf:type ontology:geographic_region . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity } } GROUP BY ?e } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q792
P85
Q7725634 Q484692 Q15617994
USER
Which administrative territories have greater number of literary works or hymns as their national anthem than El Salvador ?
(c(Q15617994),P85,c(Q7725634)|c(Q484692))
action greater
action union
action find_tuple_counts
relation P85
type Q15617994
type Q7725634
action find_tuple_counts
relation P85
type Q15617994
type Q484692
action count
action filter_multi_types
action find
entity Q792
relation P85
type Q7725634
type Q484692
[{'concept': 'Q15617994'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?g ) ?w WHERE { ?r rdf:type ?c . VALUES ( ?c ) { ( ontology:Q484692 ) ( ontology:Q7725634 ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?p ) WHERE { resource:Q792 property:P85 ?m . { VALUES ( ?j ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } . ?m rdf:type ?j } } } . FILTER ( ?g > ?p ) }
El Salvador
action greater
action union
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type literary work
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type hymn
action count
action filter_multi_types
action find
entity El Salvador
relation anthem
type literary work
type hymn
[{'concept': 'designation for an administrative territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?g ) ?w WHERE { ?r rdf:type ?c . VALUES ( ?c ) { ( ontology:hymn ) ( ontology:literary_work ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?p ) WHERE { resource:El_Salvador property:anthem ?m . { VALUES ( ?j ) { ( ontology:literary_work ) ( ontology:hymn ) } . ?m rdf:type ?j } } } . FILTER ( ?g > ?p ) }
[]
literary work hymn designation for an administrative territorial entity
Q159 Q242 Q1045
SYSTEM
Russia, Belize, Somalia
Q159 Q242 Q1045
(c(Q15617994),P85,c(Q7725634)|c(Q484692))
action greater
action union
action find_tuple_counts
relation P85
type Q15617994
type Q7725634
action find_tuple_counts
relation P85
type Q15617994
type Q484692
action count
action filter_multi_types
action find
entity Q792
relation P85
type Q7725634
type Q484692
[ANSWERS] have greater number of literary works or hymns as their national anthem than El Salvador
[{'concept': 'Q15617994'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?g ) ?w WHERE { ?r rdf:type ?c . VALUES ( ?c ) { ( ontology:Q484692 ) ( ontology:Q7725634 ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?p ) WHERE { resource:Q792 property:P85 ?m . { VALUES ( ?j ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } . ?m rdf:type ?j } } } . FILTER ( ?g > ?p ) }
Russia Belize Somalia
Russia, Belize and Somalia have greater number of literary works or hymns as their national anthem than El Salvador
Russia Belize Somalia
action greater
action union
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type literary work
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type hymn
action count
action filter_multi_types
action find
entity El Salvador
relation anthem
type literary work
type hymn
[{'concept': 'designation for an administrative territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?r ) AS ?g ) ?w WHERE { ?r rdf:type ?c . VALUES ( ?c ) { ( ontology:hymn ) ( ontology:literary_work ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?m ) AS ?p ) WHERE { resource:El_Salvador property:anthem ?m . { VALUES ( ?j ) { ( ontology:literary_work ) ( ontology:hymn ) } . ?m rdf:type ?j } } } . FILTER ( ?g > ?p ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q77
P85
Q7725634 Q484692 Q15617994
USER
And what about Uruguay?
(c(Q15617994),P85,c(Q7725634)|c(Q484692))
action greater
action union
action find_tuple_counts
relation P85
type Q15617994
type Q7725634
action find_tuple_counts
relation P85
type Q15617994
type Q484692
action count
action filter_multi_types
action find
entity Q77
relation P85
type Q7725634
type Q484692
[{'concept': 'Q15617994'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?l ) WHERE { resource:Q77 property:P85 ?b . { VALUES ( ?p ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } . ?b rdf:type ?p } } } . FILTER ( ?k > ?l ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?k ) ?u WHERE { VALUES ( ?n ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } . ?e rdf:type ?n } GROUP BY ?u } }
Uruguay
action greater
action union
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type literary work
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type hymn
action count
action filter_multi_types
action find
entity Uruguay
relation anthem
type literary work
type hymn
[{'concept': 'designation for an administrative territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?l ) WHERE { resource:Uruguay property:anthem ?b . { VALUES ( ?p ) { ( ontology:literary_work ) ( ontology:hymn ) } . ?b rdf:type ?p } } } . FILTER ( ?k > ?l ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?k ) ?u WHERE { VALUES ( ?n ) { ( ontology:literary_work ) ( ontology:hymn ) } . ?e rdf:type ?n } GROUP BY ?u } }
[]
literary work hymn designation for an administrative territorial entity
Q159 Q242 Q1045
SYSTEM
Russia, Belize, Somalia
Q159 Q242 Q1045
(c(Q15617994),P85,c(Q7725634)|c(Q484692))
action greater
action union
action find_tuple_counts
relation P85
type Q15617994
type Q7725634
action find_tuple_counts
relation P85
type Q15617994
type Q484692
action count
action filter_multi_types
action find
entity Q77
relation P85
type Q7725634
type Q484692
[ANSWERS]
[{'concept': 'Q15617994'}, 'P85', [{'concept': 'Q7725634'}, {'concept': 'Q484692'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?l ) WHERE { resource:Q77 property:P85 ?b . { VALUES ( ?p ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } . ?b rdf:type ?p } } } . FILTER ( ?k > ?l ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?k ) ?u WHERE { VALUES ( ?n ) { ( ontology:Q7725634 ) ( ontology:Q484692 ) } . ?e rdf:type ?n } GROUP BY ?u } }
Russia Belize Somalia
Russia Belize Somalia
action greater
action union
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type literary work
action find_tuple_counts
relation anthem
type designation for an administrative territorial entity
type hymn
action count
action filter_multi_types
action find
entity Uruguay
relation anthem
type literary work
type hymn
[{'concept': 'designation for an administrative territorial entity'}, 'anthem', [{'concept': 'literary work'}, {'concept': 'hymn'}]]
SELECT DISTINCT ?u WHERE { { SELECT DISTINCT ( COUNT ( ?b ) AS ?l ) WHERE { resource:Uruguay property:anthem ?b . { VALUES ( ?p ) { ( ontology:literary_work ) ( ontology:hymn ) } . ?b rdf:type ?p } } } . FILTER ( ?k > ?l ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?k ) ?u WHERE { VALUES ( ?n ) { ( ontology:literary_work ) ( ontology:hymn ) } . ?e rdf:type ?n } GROUP BY ?u } }
[]