Simple Question (Direct)
Simple Question
Q95189
P69
Q3918
USER
Where was Jürgen Mittelstraß educated ?
(Q95189,P69,c(Q3918))
action filter_type
action find
entity Q95189
relation P69
type Q3918
['Q95189', 'P69', {'concept': 'Q3918'}]
SELECT DISTINCT ?i WHERE { resource:Q95189 property:P69 ?i . ?i rdf:type ontology:Q3918 }
Jürgen Mittelstraß
action filter_type
action find
entity Jürgen Mittelstraß
relation educated at
type university
['Jürgen Mittelstraß', 'educated at', {'concept': 'university'}]
SELECT DISTINCT ?i WHERE { resource:Jürgen_Mittelstraß property:educated_at ?i . ?i rdf:type ontology:university }
[]
university
Q34433
SYSTEM
University of Oxford
Q34433
(Q95189,P69,c(Q3918))
action filter_type
action find
entity Q95189
relation P69
type Q3918
Jürgen Mittelstraß was educated by [ANSWER]
['Q95189', 'P69', {'concept': 'Q3918'}]
SELECT DISTINCT ?i WHERE { resource:Q95189 property:P69 ?i . ?i rdf:type ontology:Q3918 }
University of Oxford
Jürgen Mittelstraß was educated by University of Oxford
University of Oxford
action filter_type
action find
entity Jürgen Mittelstraß
relation educated at
type university
['Jürgen Mittelstraß', 'educated at', {'concept': 'university'}]
SELECT DISTINCT ?i WHERE { resource:Jürgen_Mittelstraß property:educated_at ?i . ?i rdf:type ontology:university }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q95189
P512
Q3412758
USER
Which qualification does that person hold ?
(Q34433,P512,c(Q3412758))
action filter_type
action find
entity Q95189
relation P512
type Q3412758
['Q34433', 'P512', {'concept': 'Q3412758'}]
SELECT DISTINCT ?t WHERE { resource:Q95189 property:P512 ?t . ?t rdf:type ontology:Q3412758 }
Jürgen Mittelstraß
action filter_type
action find
entity Jürgen Mittelstraß
relation academic degree
type qualification
['University of Oxford', 'academic degree', {'concept': 'qualification'}]
SELECT DISTINCT ?t WHERE { resource:Jürgen_Mittelstraß property:academic_degree ?t . ?t rdf:type ontology:qualification }
[]
qualification
Q849697
SYSTEM
doctoral degree
Q849697
(Q34433,P512,c(Q3412758))
action filter_type
action find
entity Q95189
relation P512
type Q3412758
That person holds a [ANSWER]
['Q34433', 'P512', {'concept': 'Q3412758'}]
SELECT DISTINCT ?t WHERE { resource:Q95189 property:P512 ?t . ?t rdf:type ontology:Q3412758 }
doctoral degree
That person holds a doctoral degree
doctoral degree
action filter_type
action find
entity Jürgen Mittelstraß
relation academic degree
type qualification
['University of Oxford', 'academic degree', {'concept': 'qualification'}]
SELECT DISTINCT ?t WHERE { resource:Jürgen_Mittelstraß property:academic_degree ?t . ?t rdf:type ontology:qualification }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q95189
P463
Q19335303
USER
Which German business organization was that person a member of ?
(Q849697,P463,c(Q19335303))
action filter_type
action find
entity Q95189
relation P463
type Q19335303
['Q849697', 'P463', {'concept': 'Q19335303'}]
SELECT DISTINCT ?x WHERE { resource:Q95189 property:P463 ?x . ?x rdf:type ontology:Q19335303 }
Jürgen Mittelstraß
action filter_type
action find
entity Jürgen Mittelstraß
relation member of
type type of business entity in Germany
['doctoral degree', 'member of', {'concept': 'type of business entity in Germany'}]
SELECT DISTINCT ?x WHERE { resource:Jürgen_Mittelstraß property:member_of ?x . ?x rdf:type ontology:type_of_business_entity_in_Germany }
[]
type of business entity in Germany
Q543804
SYSTEM
German Academy of Sciences Leopoldina
Q543804
(Q849697,P463,c(Q19335303))
action filter_type
action find
entity Q95189
relation P463
type Q19335303
The [ANSWER] was that person a member of
['Q849697', 'P463', {'concept': 'Q19335303'}]
SELECT DISTINCT ?x WHERE { resource:Q95189 property:P463 ?x . ?x rdf:type ontology:Q19335303 }
German Academy of Sciences Leopoldina
The German Academy of Sciences Leopoldina was that person a member of
German Academy of Sciences Leopoldina
action filter_type
action find
entity Jürgen Mittelstraß
relation member of
type type of business entity in Germany
['doctoral degree', 'member of', {'concept': 'type of business entity in Germany'}]
SELECT DISTINCT ?x WHERE { resource:Jürgen_Mittelstraß property:member_of ?x . ?x rdf:type ontology:type_of_business_entity_in_Germany }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q543804 Q1630597
P17
Q1048835
USER
Is that German business organization a part of Mamolar ?
(Q543804,P17,Q1630597)
action is_in
entity Q1630597
action find
entity Q543804
relation P17
['Q543804', 'P17', 'Q1630597']
ASK WHERE { resource:Q543804 property:P17 resource:Q1630597 }
German Academy of Sciences Leopoldina Mamolar
action is_in
entity Mamolar
action find
entity German Academy of Sciences Leopoldina
relation country
['German Academy of Sciences Leopoldina', 'country', 'Mamolar']
ASK WHERE { resource:German_Academy_of_Sciences_Leopoldina property:country resource:Mamolar }
[]
political territorial entity
SYSTEM
NO
(Q543804,P17,Q1630597)
action is_in
entity Q1630597
action find
entity Q543804
relation P17
[ANSWER]
['Q543804', 'P17', 'Q1630597']
ASK WHERE { resource:Q543804 property:P17 resource:Q1630597 }
No
action is_in
entity Mamolar
action find
entity German Academy of Sciences Leopoldina
relation country
['German Academy of Sciences Leopoldina', 'country', 'Mamolar']
ASK WHERE { resource:German_Academy_of_Sciences_Leopoldina property:country resource:Mamolar }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q95189 Q183
P27
Q1048835
USER
Is that person an inhabitant of Germany ?
(Q95189,P27,Q183)
action is_in
entity Q183
action find
entity Q95189
relation P27
['Q95189', 'P27', 'Q183']
ASK WHERE { resource:Q95189 property:P27 resource:Q183 }
Jürgen Mittelstraß Germany
action is_in
entity Germany
action find
entity Jürgen Mittelstraß
relation country of citizenship
['Jürgen Mittelstraß', 'country of citizenship', 'Germany']
ASK WHERE { resource:Jürgen_Mittelstraß property:country_of_citizenship resource:Germany }
[]
political territorial entity
SYSTEM
YES
(Q95189,P27,Q183)
action is_in
entity Q183
action find
entity Q95189
relation P27
[ANSWER]
['Q95189', 'P27', 'Q183']
ASK WHERE { resource:Q95189 property:P27 resource:Q183 }
Yes
action is_in
entity Germany
action find
entity Jürgen Mittelstraß
relation country of citizenship
['Jürgen Mittelstraß', 'country of citizenship', 'Germany']
ASK WHERE { resource:Jürgen_Mittelstraß property:country_of_citizenship resource:Germany }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q34433 Q532058
P17
Q15617994
USER
Is University of Oxford present in Remlingen ?
(Q34433,P17,Q532058)
action is_in
entity Q532058
action find
entity Q34433
relation P17
['Q34433', 'P17', 'Q532058']
ASK WHERE { resource:Q34433 property:P17 resource:Q532058 }
University of Oxford Remlingen
action is_in
entity Remlingen
action find
entity University of Oxford
relation country
['University of Oxford', 'country', 'Remlingen']
ASK WHERE { resource:University_of_Oxford property:country resource:Remlingen }
[]
designation for an administrative territorial entity
SYSTEM
NO
(Q34433,P17,Q532058)
action is_in
entity Q532058
action find
entity Q34433
relation P17
[ANSWER]
['Q34433', 'P17', 'Q532058']
ASK WHERE { resource:Q34433 property:P17 resource:Q532058 }
No
action is_in
entity Remlingen
action find
entity University of Oxford
relation country
['University of Oxford', 'country', 'Remlingen']
ASK WHERE { resource:University_of_Oxford property:country resource:Remlingen }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q34433
P20
Q502895
USER
Who died in that university ?
action filter_type
action find_reverse
entity Q34433
relation P20
type Q502895
SELECT DISTINCT ?x WHERE { ?x property:P20 resource:Q34433 . ?x rdf:type ontology:Q502895 }
University of Oxford
action filter_type
action find_reverse
entity University of Oxford
relation place of death
type common name
SELECT DISTINCT ?x WHERE { ?x property:place_of_death resource:University_of_Oxford . ?x rdf:type ontology:common_name }
[]
common name
Q2428137
SYSTEM
Thomas White
Q2428137
action filter_type
action find_reverse
entity Q34433
relation P20
type Q502895
[ANSWER] died in that university
SELECT DISTINCT ?x WHERE { ?x property:P20 resource:Q34433 . ?x rdf:type ontology:Q502895 }
Thomas White
Thomas White died in that university
Thomas White
action filter_type
action find_reverse
entity University of Oxford
relation place of death
type common name
SELECT DISTINCT ?x WHERE { ?x property:place_of_death resource:University_of_Oxford . ?x rdf:type ontology:common_name }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q2018765 Q543804
P17
Q1048835
USER
Which political territories are German Academy of Sciences Leopoldina or Oldentrup present in ?
OR((Q543804,P17,c(Q1048835)), (Q2018765,P17,c(Q1048835)))
action filter_type
action union
action find
entity Q543804
relation P17
action find
entity Q2018765
relation P17
type Q1048835
{'OR': [['Q543804', 'P17', {'concept': 'Q1048835'}], ['Q2018765', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q1048835 . { ?s property:P17 ?v . VALUES ( ?s ) { ( resource:Q543804 ) ( resource:Q2018765 ) } } }
Oldentrup German Academy of Sciences Leopoldina
action filter_type
action union
action find
entity German Academy of Sciences Leopoldina
relation country
action find
entity Oldentrup
relation country
type political territorial entity
{'OR': [['German Academy of Sciences Leopoldina', 'country', {'concept': 'political territorial entity'}], ['Oldentrup', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:political_territorial_entity . { ?s property:country ?v . VALUES ( ?s ) { ( resource:German_Academy_of_Sciences_Leopoldina ) ( resource:Oldentrup ) } } }
[]
political territorial entity
Q183
SYSTEM
Germany
Q183
OR((Q543804,P17,c(Q1048835)), (Q2018765,P17,c(Q1048835)))
action filter_type
action union
action find
entity Q543804
relation P17
action find
entity Q2018765
relation P17
type Q1048835
Which political territories is German Academy of Sciences Leopoldina or Oldentrup present in
{'OR': [['Q543804', 'P17', {'concept': 'Q1048835'}], ['Q2018765', 'P17', {'concept': 'Q1048835'}]]}
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:Q1048835 . { ?s property:P17 ?v . VALUES ( ?s ) { ( resource:Q543804 ) ( resource:Q2018765 ) } } }
Germany
Which political territories is German Academy of Sciences Leopoldina or Oldentrup present in
Germany
action filter_type
action union
action find
entity German Academy of Sciences Leopoldina
relation country
action find
entity Oldentrup
relation country
type political territorial entity
{'OR': [['German Academy of Sciences Leopoldina', 'country', {'concept': 'political territorial entity'}], ['Oldentrup', 'country', {'concept': 'political territorial entity'}]]}
SELECT DISTINCT ?v WHERE { ?v rdf:type ontology:political_territorial_entity . { ?s property:country ?v . VALUES ( ?s ) { ( resource:German_Academy_of_Sciences_Leopoldina ) ( resource:Oldentrup ) } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q265
P530
Q1048835 Q15617994
USER
Which administrative territories have tactful political relations with more number of political territories than Uzbekistan ?
(c(Q15617994),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
action count
action filter_type
action find
entity Q265
relation P530
type Q15617994
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?i ) AS ?a ) WHERE { ?w property:P530 ?i . ?w rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q1048835 } GROUP BY ?w } . FILTER ( ?a > ?c ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?c ) WHERE { resource:Q265 property:P530 ?n . ?n rdf:type ontology:Q15617994 } } }
Uzbekistan
action greater
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
action count
action filter_type
action find
entity Uzbekistan
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?i ) AS ?a ) WHERE { ?w property:diplomatic_relation ?i . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:political_territorial_entity } GROUP BY ?w } . FILTER ( ?a > ?c ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?c ) WHERE { resource:Uzbekistan property:diplomatic_relation ?n . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity } } }
[]
political territorial entity designation for an administrative territorial entity
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q804 Q801 Q800 Q419 Q668 Q414 Q142 Q55 Q145 Q148 Q783 Q711 Q252 Q403 Q258 Q45 Q159 Q43 Q41 Q155 Q796 Q794 Q954 Q889 Q884 Q881 Q811 Q33 Q31 Q30 Q924 Q36 Q34 Q928 Q39 Q38 Q739 Q423 Q851 Q733 Q734 Q736 Q230 Q233 Q20 Q1041 Q27 Q843 Q184 Q1029 Q1028 Q786 Q225 Q224 Q96 Q229 Q347 Q17 Q902 Q1036 Q1033 Q1030 Q963 Q298 Q115 Q114 Q117 Q750 Q212 Q213 Q215 Q218 Q219 Q916 Q833 Q1009 Q79 Q77 Q878 Q774 Q810 Q29 Q869 Q953
(c(Q15617994),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
action count
action filter_type
action find
entity Q265
relation P530
type Q15617994
[ANSWERS] have tactful political relations with more number of political territories than Uzbekistan
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?i ) AS ?a ) WHERE { ?w property:P530 ?i . ?w rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q1048835 } GROUP BY ?w } . FILTER ( ?a > ?c ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?c ) WHERE { resource:Q265 property:P530 ?n . ?n rdf:type ontology:Q15617994 } } }
Panama Israel Costa Rica Peru India Argentina France Netherlands United Kingdom People's Republic of China Honduras Mongolia Indonesia Serbia South Africa Portugal Russia Turkey Greece Brazil Iraq Iran Zimbabwe Afghanistan South Korea Vietnam Nicaragua Finland Belgium United States of America Tanzania Poland Sweden Philippines Switzerland Italy Colombia North Korea Saudi Arabia Paraguay Guyana Ecuador Georgia Malta Norway Senegal Ireland Pakistan Belarus Mozambique Morocco Dominican Republic Bosnia and Herzegovina Croatia Mexico Cyprus Liechtenstein Japan Bangladesh Uganda Nigeria Namibia Botswana Chile Ethiopia Kenya Ghana Bolivia Ukraine Czech Republic Slovenia Romania Bulgaria Angola Malaysia Cameroon Egypt Uruguay United Arab Emirates Guatemala Jordan Spain Thailand Zambia
Italy, Brazil and United States of America have tactful political relations with more number of political territories than Uzbekistan
Italy Brazil United States of America
action greater
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
action count
action filter_type
action find
entity Uzbekistan
relation diplomatic relation
type designation for an administrative territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ?w ( COUNT ( ?i ) AS ?a ) WHERE { ?w property:diplomatic_relation ?i . ?w rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:political_territorial_entity } GROUP BY ?w } . FILTER ( ?a > ?c ) . { SELECT DISTINCT ( COUNT ( ?n ) AS ?c ) WHERE { resource:Uzbekistan property:diplomatic_relation ?n . ?n rdf:type ontology:designation_for_an_administrative_territorial_entity } } }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q668
P530
Q1048835 Q15617994
USER
And how about India?
(c(Q15617994),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
action count
action filter_type
action find
entity Q668
relation P530
type Q1048835
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?z ) AS ?m ) WHERE { ?c property:P530 ?z . ?z rdf:type ontology:Q1048835 . ?c rdf:type ontology:Q15617994 } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?g ) WHERE { resource:Q668 property:P530 ?i . ?i rdf:type ontology:Q1048835 } } . FILTER ( ?m > ?g ) }
India
action greater
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
action count
action filter_type
action find
entity India
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?z ) AS ?m ) WHERE { ?c property:diplomatic_relation ?z . ?z rdf:type ontology:political_territorial_entity . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?g ) WHERE { resource:India property:diplomatic_relation ?i . ?i rdf:type ontology:political_territorial_entity } } . FILTER ( ?m > ?g ) }
[]
political territorial entity designation for an administrative territorial entity
Q38 Q155 Q30
SYSTEM
Italy, Brazil, United States of America
Q801 Q142 Q145 Q711 Q252 Q403 Q258 Q159 Q43 Q155 Q889 Q884 Q33 Q30 Q36 Q34 Q39 Q38 Q739 Q423 Q851 Q230 Q20 Q27 Q843 Q1029 Q229 Q1030 Q115 Q114 Q212 Q218 Q833 Q79 Q77 Q878 Q953
(c(Q15617994),P530,c(Q1048835))
action greater
action find_tuple_counts
relation P530
type Q15617994
type Q1048835
action count
action filter_type
action find
entity Q668
relation P530
type Q1048835
[ANSWERS]
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q1048835'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?z ) AS ?m ) WHERE { ?c property:P530 ?z . ?z rdf:type ontology:Q1048835 . ?c rdf:type ontology:Q15617994 } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?g ) WHERE { resource:Q668 property:P530 ?i . ?i rdf:type ontology:Q1048835 } } . FILTER ( ?m > ?g ) }
Israel France United Kingdom Mongolia Indonesia Serbia South Africa Russia Turkey Brazil Afghanistan South Korea Finland United States of America Poland Sweden Switzerland Italy Colombia North Korea Saudi Arabia Georgia Norway Ireland Pakistan Mozambique Cyprus Namibia Ethiopia Kenya Ukraine Romania Malaysia Egypt Uruguay United Arab Emirates Zambia
Italy Brazil United States of America
action greater
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type political territorial entity
action count
action filter_type
action find
entity India
relation diplomatic relation
type political territorial entity
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'political territorial entity'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ?c ( COUNT ( ?z ) AS ?m ) WHERE { ?c property:diplomatic_relation ?z . ?z rdf:type ontology:political_territorial_entity . ?c rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?i ) AS ?g ) WHERE { resource:India property:diplomatic_relation ?i . ?i rdf:type ontology:political_territorial_entity } } . FILTER ( ?m > ?g ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q183 Q46772
P610
Q14524493
USER
How many terrains are the highest point of Germany or Kerguelen Islands ?
(Q183,P610,c(Q14524493)) (Q46772,P610,c(Q14524493))
action count
action union
action filter_type
action find
entity Q183
relation P610
type Q14524493
action filter_type
action find
entity Q46772
relation P610
type Q14524493
['Q183', 'P610', {'concept': 'Q14524493'}] ['Q46772', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?c ) WHERE { VALUES ( ?z ) { ( resource:Q183 ) ( resource:Q46772 ) } . ?z property:P610 ?r }
Germany Kerguelen Islands
action count
action union
action filter_type
action find
entity Germany
relation highest point
type terrain
action filter_type
action find
entity Kerguelen Islands
relation highest point
type terrain
['Germany', 'highest point', {'concept': 'terrain'}] ['Kerguelen Islands', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?c ) WHERE { VALUES ( ?z ) { ( resource:Germany ) ( resource:Kerguelen_Islands ) } . ?z property:highest_point ?r }
[]
terrain
SYSTEM
2
Q3375 Q1945447
(Q183,P610,c(Q14524493)) (Q46772,P610,c(Q14524493))
action count
action union
action filter_type
action find
entity Q183
relation P610
type Q14524493
action filter_type
action find
entity Q46772
relation P610
type Q14524493
[ANSWER]
['Q183', 'P610', {'concept': 'Q14524493'}] ['Q46772', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?c ) WHERE { VALUES ( ?z ) { ( resource:Q183 ) ( resource:Q46772 ) } . ?z property:P610 ?r }
Zugspitze Mont Ross
2
action count
action union
action filter_type
action find
entity Germany
relation highest point
type terrain
action filter_type
action find
entity Kerguelen Islands
relation highest point
type terrain
['Germany', 'highest point', {'concept': 'terrain'}] ['Kerguelen Islands', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?c ) WHERE { VALUES ( ?z ) { ( resource:Germany ) ( resource:Kerguelen_Islands ) } . ?z property:highest_point ?r }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P530
Q15617994 Q15617994
USER
Which administrative territories have diplomatic relationships with around 33 administrative territories ?
(c(Q15617994),P530,c(Q15617994))
action approx
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
value 33
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { FILTER ( ?t = 33 ) . { SELECT DISTINCT ?z ( COUNT ( ?i ) AS ?t ) WHERE { ?z property:P530 ?i . ?z rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q15617994 } GROUP BY ?z } }
action approx
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
value 33
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { FILTER ( ?t = 33 ) . { SELECT DISTINCT ?z ( COUNT ( ?i ) AS ?t ) WHERE { ?z property:diplomatic_relation ?i . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?z } }
[]
designation for an administrative territorial entity designation for an administrative territorial entity
Q159 Q30
SYSTEM
Russia, United States of America
Q159 Q30
(c(Q15617994),P530,c(Q15617994))
action approx
action find_tuple_counts
relation P530
type Q15617994
type Q15617994
value 33
[ANSWERS] have diplomatic relationships with around 33 administrative territories
[{'concept': 'Q15617994'}, 'P530', {'concept': 'Q15617994'}]
SELECT DISTINCT ?z WHERE { FILTER ( ?t = 33 ) . { SELECT DISTINCT ?z ( COUNT ( ?i ) AS ?t ) WHERE { ?z property:P530 ?i . ?z rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q15617994 } GROUP BY ?z } }
Russia United States of America
Russia and United States of America have diplomatic relationships with around 33 administrative territories
Russia United States of America
action approx
action find_tuple_counts
relation diplomatic relation
type designation for an administrative territorial entity
type designation for an administrative territorial entity
value 33
[{'concept': 'designation for an administrative territorial entity'}, 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?z WHERE { FILTER ( ?t = 33 ) . { SELECT DISTINCT ?z ( COUNT ( ?i ) AS ?t ) WHERE { ?z property:diplomatic_relation ?i . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:designation_for_an_administrative_territorial_entity } GROUP BY ?z } }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q1797612
P27
Q502895
USER
Are Oleg Stefan civilians of those administrative territories ?
(Q1797612,P27,Q159) (Q1797612,P27,Q30)
action is_in
entity prev_answer
action find
entity Q1797612
relation P27
['Q1797612', 'P27', 'Q159'] ['Q1797612', 'P27', 'Q30']
ASK WHERE { VALUES ( ?q ) { ( resource:Q159 ) ( resource:Q30 ) } . resource:Q1797612 property:P27 ?q }
Oleg Stefan
action is_in
entity prev_answer
action find
entity Oleg Stefan
relation country of citizenship
['Oleg Stefan', 'country of citizenship', 'Russia'] ['Oleg Stefan', 'country of citizenship', 'United States of America']
ASK WHERE { VALUES ( ?q ) { ( resource:Russia ) ( resource:United_States_of_America ) } . resource:Oleg_Stefan property:country_of_citizenship ?q }
[]
common name
SYSTEM
YES
(Q1797612,P27,Q159) (Q1797612,P27,Q30)
action is_in
entity prev_answer
action find
entity Q1797612
relation P27
[ANSWER]
['Q1797612', 'P27', 'Q159'] ['Q1797612', 'P27', 'Q30']
ASK WHERE { VALUES ( ?q ) { ( resource:Q159 ) ( resource:Q30 ) } . resource:Q1797612 property:P27 ?q }
Yes
action is_in
entity prev_answer
action find
entity Oleg Stefan
relation country of citizenship
['Oleg Stefan', 'country of citizenship', 'Russia'] ['Oleg Stefan', 'country of citizenship', 'United States of America']
ASK WHERE { VALUES ( ?q ) { ( resource:Russia ) ( resource:United_States_of_America ) } . resource:Oleg_Stefan property:country_of_citizenship ?q }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q4581721 Q183
P530 P17
Q15617994
USER
Which administrative territories holds diplomatic relationship with Germany and are not Fredskapellet present in ?
AND((Q183,P530,c(Q15617994)), NOT((Q4581721,P17,c(Q15617994))))
action filter_type
action difference
action find
entity Q183
relation P530
action find
entity Q4581721
relation P17
type Q15617994
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q4581721', 'P17', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?u WHERE { resource:Q183 property:P530 ?u . MINUS { resource:Q4581721 property:P17 ?u } . ?u rdf:type ontology:Q15617994 }
Fredskapellet Germany
action filter_type
action difference
action find
entity Germany
relation diplomatic relation
action find
entity Fredskapellet
relation country
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Fredskapellet', 'country', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?u WHERE { resource:Germany property:diplomatic_relation ?u . MINUS { resource:Fredskapellet property:country ?u } . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q347 Q232 Q252 Q917 Q215 Q739 Q948 Q298 Q241 Q217
SYSTEM
Some of them are Liechtenstein, Kazakhstan, Indonesia, Bhutan, Slovenia, Colombia, Tunisia, Chile, Cuba, Republic of Moldova
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((Q4581721,P17,c(Q15617994))))
action filter_type
action difference
action find
entity Q183
relation P530
action find
entity Q4581721
relation P17
type Q15617994
[ANSWERS] hold diplomatic relationship with Germany and are not Fredskapellet present in
{'AND': [['Q183', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q4581721', 'P17', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?u WHERE { resource:Q183 property:P530 ?u . MINUS { resource:Q4581721 property:P17 ?u } . ?u 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
Liechtenstein, Kazakhstan, Indonesia, Bhutan, Slovenia, Colombia, Tunisia, Chile, Cuba and Republic of Moldova hold diplomatic relationship with Germany and are not Fredskapellet present in
Liechtenstein Kazakhstan Indonesia Bhutan Slovenia Colombia Tunisia Chile Cuba Republic of Moldova
action filter_type
action difference
action find
entity Germany
relation diplomatic relation
action find
entity Fredskapellet
relation country
type designation for an administrative territorial entity
{'AND': [['Germany', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Fredskapellet', 'country', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?u WHERE { resource:Germany property:diplomatic_relation ?u . MINUS { resource:Fredskapellet property:country ?u } . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]