Simple Question (Direct)
Simple Question
Q4579511
P27
Q15617994
USER
Which administrative territory does Dagny Tande Lid belong to ?
(Q4579511,P27,c(Q15617994))
action filter_type
action find
entity Q4579511
relation P27
type Q15617994
['Q4579511', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { resource:Q4579511 property:P27 ?a . ?a rdf:type ontology:Q15617994 }
Dagny Tande Lid
action filter_type
action find
entity Dagny Tande Lid
relation country of citizenship
type designation for an administrative territorial entity
['Dagny Tande Lid', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { resource:Dagny_Tande_Lid property:country_of_citizenship ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q20
SYSTEM
Norway
Q20
(Q4579511,P27,c(Q15617994))
action filter_type
action find
entity Q4579511
relation P27
type Q15617994
Dagny does in [ANSWER]
['Q4579511', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?a WHERE { resource:Q4579511 property:P27 ?a . ?a rdf:type ontology:Q15617994 }
Norway
Dagny does in Norway
Norway
action filter_type
action find
entity Dagny Tande Lid
relation country of citizenship
type designation for an administrative territorial entity
['Dagny Tande Lid', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { resource:Dagny_Tande_Lid property:country_of_citizenship ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q4579511
P21
Q290
USER
Which sex does that person possess ?
(Q20,P21,c(Q290))
action filter_type
action find
entity Q4579511
relation P21
type Q290
['Q20', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q290 . resource:Q4579511 property:P21 ?c }
Dagny Tande Lid
action filter_type
action find
entity Dagny Tande Lid
relation gender
type sex
['Norway', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:sex . resource:Dagny_Tande_Lid property:gender ?c }
[]
sex
Q6581072
SYSTEM
female
Q6581072
(Q20,P21,c(Q290))
action filter_type
action find
entity Q4579511
relation P21
type Q290
That person possesses the [ANSWER]
['Q20', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:Q290 . resource:Q4579511 property:P21 ?c }
female
That person possesses the female
female
action filter_type
action find
entity Dagny Tande Lid
relation gender
type sex
['Norway', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?c WHERE { ?c rdf:type ontology:sex . resource:Dagny_Tande_Lid property:gender ?c }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q20
P30
Q2221906
USER
Which geographic location is Norway situated in ?
(Q20,P30,c(Q2221906))
action filter_type
action find
entity Q20
relation P30
type Q2221906
['Q20', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?z WHERE { resource:Q20 property:P30 ?z . ?z rdf:type ontology:Q2221906 }
Norway
action filter_type
action find
entity Norway
relation continent
type geographic location
['Norway', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?z WHERE { resource:Norway property:continent ?z . ?z rdf:type ontology:geographic_location }
[]
geographic location
Q46
SYSTEM
Europe
Q46
(Q20,P30,c(Q2221906))
action filter_type
action find
entity Q20
relation P30
type Q2221906
Norway is situated in [ANSWER]
['Q20', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?z WHERE { resource:Q20 property:P30 ?z . ?z rdf:type ontology:Q2221906 }
Europe
Norway is situated in Europe
Europe
action filter_type
action find
entity Norway
relation continent
type geographic location
['Norway', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?z WHERE { resource:Norway property:continent ?z . ?z rdf:type ontology:geographic_location }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P361
Q811979 Q1914636 Q2221906
USER
How many geographic locations are a component of exactly 1 architectural structures or activities ?
(c(Q2221906),P361,c(Q811979)|c(Q1914636))
action count
action equal
action union
action find_tuple_counts
relation P361
type Q2221906
type Q811979
action find_tuple_counts
relation P361
type Q2221906
type Q1914636
value 1
[{'concept': 'Q2221906'}, 'P361', [{'concept': 'Q811979'}, {'concept': 'Q1914636'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?r ) AS ?f ) WHERE { { ?v property:P361 ?r . ?v rdf:type ontology:Q2221906 . ?r rdf:type ontology:Q811979 } UNION { ?v property:P361 ?r . ?v rdf:type ontology:Q2221906 . ?r rdf:type ontology:Q1914636 } } GROUP BY ?v } . FILTER ( ?f = 1 ) }
action count
action equal
action union
action find_tuple_counts
relation part of
type geographic location
type architectural structure
action find_tuple_counts
relation part of
type geographic location
type activity
value 1
[{'concept': 'geographic location'}, 'part of', [{'concept': 'architectural structure'}, {'concept': 'activity'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?r ) AS ?f ) WHERE { { ?v property:part_of ?r . ?v rdf:type ontology:geographic_location . ?r rdf:type ontology:architectural_structure } UNION { ?v property:part_of ?r . ?v rdf:type ontology:geographic_location . ?r rdf:type ontology:activity } } GROUP BY ?v } . FILTER ( ?f = 1 ) }
[]
architectural structure activity geographic location
SYSTEM
5
Q1156728 Q811979 Q473935 Q390516 Q8502
(c(Q2221906),P361,c(Q811979)|c(Q1914636))
action count
action equal
action union
action find_tuple_counts
relation P361
type Q2221906
type Q811979
action find_tuple_counts
relation P361
type Q2221906
type Q1914636
value 1
[ANSWER]
[{'concept': 'Q2221906'}, 'P361', [{'concept': 'Q811979'}, {'concept': 'Q1914636'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?r ) AS ?f ) WHERE { { ?v property:P361 ?r . ?v rdf:type ontology:Q2221906 . ?r rdf:type ontology:Q811979 } UNION { ?v property:P361 ?r . ?v rdf:type ontology:Q2221906 . ?r rdf:type ontology:Q1914636 } } GROUP BY ?v } . FILTER ( ?f = 1 ) }
domestic roof construction architectural structure rift control room mountain
5
action count
action equal
action union
action find_tuple_counts
relation part of
type geographic location
type architectural structure
action find_tuple_counts
relation part of
type geographic location
type activity
value 1
[{'concept': 'geographic location'}, 'part of', [{'concept': 'architectural structure'}, {'concept': 'activity'}]]
SELECT DISTINCT ( COUNT ( ?v ) AS ?x ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?r ) AS ?f ) WHERE { { ?v property:part_of ?r . ?v rdf:type ontology:geographic_location . ?r rdf:type ontology:architectural_structure } UNION { ?v property:part_of ?r . ?v rdf:type ontology:geographic_location . ?r rdf:type ontology:activity } } GROUP BY ?v } . FILTER ( ?f = 1 ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q46
P610
Q14524493
USER
Which is the highest point of Europe ?
(Q46,P610,c(Q14524493))
action filter_type
action find
entity Q46
relation P610
type Q14524493
['Q46', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?t WHERE { resource:Q46 property:P610 ?t . ?t rdf:type ontology:Q14524493 }
Europe
action filter_type
action find
entity Europe
relation highest point
type terrain
['Europe', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?t WHERE { resource:Europe property:highest_point ?t . ?t rdf:type ontology:terrain }
[]
terrain
Q43105
SYSTEM
Mount Elbrus
Q43105
(Q46,P610,c(Q14524493))
action filter_type
action find
entity Q46
relation P610
type Q14524493
The highest point of Europe is the [ANSWER]
['Q46', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?t WHERE { resource:Q46 property:P610 ?t . ?t rdf:type ontology:Q14524493 }
Mount Elbrus
The highest point of Europe is the Mount Elbrus
Mount Elbrus
action filter_type
action find
entity Europe
relation highest point
type terrain
['Europe', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?t WHERE { resource:Europe property:highest_point ?t . ?t rdf:type ontology:terrain }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q1022
Q14524493
USER
And how about Stuttgart?
(Q1022,P610,c(Q14524493))
action filter_type
action find
entity Q1022
relation P610
type Q14524493
['Q1022', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q14524493 . resource:Q1022 property:P610 ?m }
Stuttgart
action filter_type
action find
entity Stuttgart
relation highest point
type terrain
['Stuttgart', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:terrain . resource:Stuttgart property:highest_point ?m }
[]
terrain
Q826470
SYSTEM
Bernhartshöhe
Q826470
(Q1022,P610,c(Q14524493))
action filter_type
action find
entity Q1022
relation P610
type Q14524493
[ANSWER]
['Q1022', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:Q14524493 . resource:Q1022 property:P610 ?m }
Bernhartshöhe
Bernhartshöhe
action filter_type
action find
entity Stuttgart
relation highest point
type terrain
['Stuttgart', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?m WHERE { ?m rdf:type ontology:terrain . resource:Stuttgart property:highest_point ?m }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q826470 Q2709635
P610
Q56061
USER
Is that terrain the highest peak of Izki ?
(Q2709635,P610,Q826470)
action is_in
entity Q2709635
action find
entity Q826470
relation P610
['Q2709635', 'P610', 'Q826470']
ASK WHERE { resource:Q826470 property:P610 resource:Q2709635 }
Bernhartshöhe Izki
action is_in
entity Izki
action find
entity Bernhartshöhe
relation highest point
['Izki', 'highest point', 'Bernhartshöhe']
ASK WHERE { resource:Bernhartshöhe property:highest_point resource:Izki }
[]
administrative territorial entity
SYSTEM
NO
(Q2709635,P610,Q826470)
action is_in
entity Q2709635
action find
entity Q826470
relation P610
[ANSWER]
['Q2709635', 'P610', 'Q826470']
ASK WHERE { resource:Q826470 property:P610 resource:Q2709635 }
No
action is_in
entity Izki
action find
entity Bernhartshöhe
relation highest point
['Izki', 'highest point', 'Bernhartshöhe']
ASK WHERE { resource:Bernhartshöhe property:highest_point resource:Izki }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type
Q4198
P706
Q553036 Q14524493
USER
How many natural region of Germanys are around the same number of terrains located on as Ore Mountains ?
(c(Q14524493),P706,c(Q553036))
action count
action approx
action find_reverse_tuple_counts
relation P706
type Q553036
type Q14524493
action count
action filter_type
action find
entity Q4198
relation P706
type Q553036
[{'concept': 'Q14524493'}, 'P706', {'concept': 'Q553036'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?k ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?g ) AS ?u ) WHERE { ?c rdf:type ontology:Q553036 . ?g rdf:type ontology:Q14524493 . ?g property:P706 ?c } GROUP BY ?c } . FILTER ( ?u = ?o ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?o ) WHERE { resource:Q4198 property:P706 ?e . ?e rdf:type ontology:Q553036 } } }
Ore Mountains
action count
action approx
action find_reverse_tuple_counts
relation located on terrain feature
type natural region of Germany
type terrain
action count
action filter_type
action find
entity Ore Mountains
relation located on terrain feature
type natural region of Germany
[{'concept': 'terrain'}, 'located on terrain feature', {'concept': 'natural region of Germany'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?k ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?g ) AS ?u ) WHERE { ?c rdf:type ontology:natural_region_of_Germany . ?g rdf:type ontology:terrain . ?g property:located_on_terrain_feature ?c } GROUP BY ?c } . FILTER ( ?u = ?o ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?o ) WHERE { resource:Ore_Mountains property:located_on_terrain_feature ?e . ?e rdf:type ontology:natural_region_of_Germany } } }
[]
natural region of Germany terrain
SYSTEM
7
Q707004 Q4198 Q4210 Q148988 Q182470 Q157728 Q4204
(c(Q14524493),P706,c(Q553036))
action count
action approx
action find_reverse_tuple_counts
relation P706
type Q553036
type Q14524493
action count
action filter_type
action find
entity Q4198
relation P706
type Q553036
[ANSWER]
[{'concept': 'Q14524493'}, 'P706', {'concept': 'Q553036'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?k ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?g ) AS ?u ) WHERE { ?c rdf:type ontology:Q553036 . ?g rdf:type ontology:Q14524493 . ?g property:P706 ?c } GROUP BY ?c } . FILTER ( ?u = ?o ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?o ) WHERE { resource:Q4198 property:P706 ?e . ?e rdf:type ontology:Q553036 } } }
Palatinate Forest Ore Mountains Thuringian Forest Rhön Mountains Spessart Fichtelgebirge Black Forest
7
action count
action approx
action find_reverse_tuple_counts
relation located on terrain feature
type natural region of Germany
type terrain
action count
action filter_type
action find
entity Ore Mountains
relation located on terrain feature
type natural region of Germany
[{'concept': 'terrain'}, 'located on terrain feature', {'concept': 'natural region of Germany'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?k ) WHERE { { SELECT DISTINCT ?c ( COUNT ( ?g ) AS ?u ) WHERE { ?c rdf:type ontology:natural_region_of_Germany . ?g rdf:type ontology:terrain . ?g property:located_on_terrain_feature ?c } GROUP BY ?c } . FILTER ( ?u = ?o ) . { SELECT DISTINCT ( COUNT ( ?e ) AS ?o ) WHERE { resource:Ore_Mountains property:located_on_terrain_feature ?e . ?e rdf:type ontology:natural_region_of_Germany } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type|Incomplete
Q152356
P706
Q553036 Q14524493
USER
And what about Eifel?
(c(Q14524493),P706,c(Q553036))
action count
action approx
action find_reverse_tuple_counts
relation P706
type Q553036
type Q14524493
action count
action filter_type
action find
entity Q152356
relation P706
type Q553036
[{'concept': 'Q14524493'}, 'P706', {'concept': 'Q553036'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?s ) AS ?q ) WHERE { ?s property:P706 ?v . ?v rdf:type ontology:Q553036 . ?s rdf:type ontology:Q14524493 } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?o ) WHERE { ?p rdf:type ontology:Q553036 . resource:Q152356 property:P706 ?p } } . FILTER ( ?q = ?o ) }
Eifel
action count
action approx
action find_reverse_tuple_counts
relation located on terrain feature
type natural region of Germany
type terrain
action count
action filter_type
action find
entity Eifel
relation located on terrain feature
type natural region of Germany
[{'concept': 'terrain'}, 'located on terrain feature', {'concept': 'natural region of Germany'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?s ) AS ?q ) WHERE { ?s property:located_on_terrain_feature ?v . ?v rdf:type ontology:natural_region_of_Germany . ?s rdf:type ontology:terrain } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?o ) WHERE { ?p rdf:type ontology:natural_region_of_Germany . resource:Eifel property:located_on_terrain_feature ?p } } . FILTER ( ?q = ?o ) }
[]
natural region of Germany terrain
SYSTEM
19
Q157290 Q152356 Q152131 Q707004 Q159589 Q8359 Q640966 Q109773 Q4207 Q525051 Q158884 Q896061 Q179378 Q4210 Q685984 Q148988 Q182470 Q157728 Q15079119
(c(Q14524493),P706,c(Q553036))
action count
action approx
action find_reverse_tuple_counts
relation P706
type Q553036
type Q14524493
action count
action filter_type
action find
entity Q152356
relation P706
type Q553036
[ANSWER]
[{'concept': 'Q14524493'}, 'P706', {'concept': 'Q553036'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?s ) AS ?q ) WHERE { ?s property:P706 ?v . ?v rdf:type ontology:Q553036 . ?s rdf:type ontology:Q14524493 } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?o ) WHERE { ?p rdf:type ontology:Q553036 . resource:Q152356 property:P706 ?p } } . FILTER ( ?q = ?o ) }
Bohemian Forest Eifel Sudetes Palatinate Forest Swabian Jura Odenwald Westerwald Teutoburg Forest Bavarian Forest Kellerwald Taunus Kaufungen Forest Reinhardswald Thuringian Forest Upper Palatine Forest Rhön Mountains Spessart Fichtelgebirge Steigerwald
19
action count
action approx
action find_reverse_tuple_counts
relation located on terrain feature
type natural region of Germany
type terrain
action count
action filter_type
action find
entity Eifel
relation located on terrain feature
type natural region of Germany
[{'concept': 'terrain'}, 'located on terrain feature', {'concept': 'natural region of Germany'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?w ) WHERE { { SELECT DISTINCT ?v ( COUNT ( ?s ) AS ?q ) WHERE { ?s property:located_on_terrain_feature ?v . ?v rdf:type ontology:natural_region_of_Germany . ?s rdf:type ontology:terrain } GROUP BY ?v } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?o ) WHERE { ?p rdf:type ontology:natural_region_of_Germany . resource:Eifel property:located_on_terrain_feature ?p } } . FILTER ( ?q = ?o ) }
[]