Simple Question (Direct)
Simple Question
Q100326
P106
Q151885
USER
Which concept is the profession of Johann Friedrich Fischer ?
(Q100326,P106,c(Q151885))
action filter_type
action find
entity Q100326
relation P106
type Q151885
['Q100326', 'P106', {'concept': 'Q151885'}]
SELECT DISTINCT ?j WHERE { resource:Q100326 property:P106 ?j . ?j rdf:type ontology:Q151885 }
Johann Friedrich Fischer
action filter_type
action find
entity Johann Friedrich Fischer
relation occupation
type concept
['Johann Friedrich Fischer', 'occupation', {'concept': 'concept'}]
SELECT DISTINCT ?j WHERE { resource:Johann_Friedrich_Fischer property:occupation ?j . ?j rdf:type ontology:concept }
[]
concept
Q4964182
SYSTEM
philosopher
Q4964182
(Q100326,P106,c(Q151885))
action filter_type
action find
entity Q100326
relation P106
type Q151885
The [ANSWER] is the profession of Johann Friedrich Fischer
['Q100326', 'P106', {'concept': 'Q151885'}]
SELECT DISTINCT ?j WHERE { resource:Q100326 property:P106 ?j . ?j rdf:type ontology:Q151885 }
philosopher
The philosopher is the profession of Johann Friedrich Fischer
philosopher
action filter_type
action find
entity Johann Friedrich Fischer
relation occupation
type concept
['Johann Friedrich Fischer', 'occupation', {'concept': 'concept'}]
SELECT DISTINCT ?j WHERE { resource:Johann_Friedrich_Fischer property:occupation ?j . ?j rdf:type ontology:concept }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q100326
P937
Q515
USER
Which city is the work location of that person ?
(Q4964182,P937,c(Q515))
action filter_type
action find
entity Q100326
relation P937
type Q515
['Q4964182', 'P937', {'concept': 'Q515'}]
SELECT DISTINCT ?x WHERE { resource:Q100326 property:P937 ?x . ?x rdf:type ontology:Q515 }
Johann Friedrich Fischer
action filter_type
action find
entity Johann Friedrich Fischer
relation work location
type city
['philosopher', 'work location', {'concept': 'city'}]
SELECT DISTINCT ?x WHERE { resource:Johann_Friedrich_Fischer property:work_location ?x . ?x rdf:type ontology:city }
[]
city
Q2079
SYSTEM
Leipzig
Q2079
(Q4964182,P937,c(Q515))
action filter_type
action find
entity Q100326
relation P937
type Q515
[ANSWER] is the work location of that person
['Q4964182', 'P937', {'concept': 'Q515'}]
SELECT DISTINCT ?x WHERE { resource:Q100326 property:P937 ?x . ?x rdf:type ontology:Q515 }
Leipzig
Leipzig is the work location of that person
Leipzig
action filter_type
action find
entity Johann Friedrich Fischer
relation work location
type city
['philosopher', 'work location', {'concept': 'city'}]
SELECT DISTINCT ?x WHERE { resource:Johann_Friedrich_Fischer property:work_location ?x . ?x rdf:type ontology:city }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q2079 Q5584323 Q3703
P190
Q56061
USER
Is Leipzig partner town of Goppili and Bamako ?
(Q2079,P190,Q5584323) (Q2079,P190,Q3703)
action is_in
entity Q2079
action intersection
action find_reverse
entity Q5584323
relation P190
action find_reverse
entity Q3703
relation P190
['Q2079', 'P190', 'Q5584323'] ['Q2079', 'P190', 'Q3703']
ASK WHERE { resource:Q2079 property:P190 resource:Q3703 . resource:Q2079 property:P190 resource:Q5584323 }
Leipzig Goppili Bamako
action is_in
entity Leipzig
action intersection
action find_reverse
entity Goppili
relation sister city
action find_reverse
entity Bamako
relation sister city
['Leipzig', 'sister city', 'Goppili'] ['Leipzig', 'sister city', 'Bamako']
ASK WHERE { resource:Leipzig property:sister_city resource:Bamako . resource:Leipzig property:sister_city resource:Goppili }
[]
administrative territorial entity
SYSTEM
NO and YES respectively
(Q2079,P190,Q5584323) (Q2079,P190,Q3703)
action is_in
entity Q2079
action intersection
action find_reverse
entity Q5584323
relation P190
action find_reverse
entity Q3703
relation P190
[ANSWER]
['Q2079', 'P190', 'Q5584323'] ['Q2079', 'P190', 'Q3703']
ASK WHERE { resource:Q2079 property:P190 resource:Q3703 . resource:Q2079 property:P190 resource:Q5584323 }
NO and YES respectively
action is_in
entity Leipzig
action intersection
action find_reverse
entity Goppili
relation sister city
action find_reverse
entity Bamako
relation sister city
['Leipzig', 'sister city', 'Goppili'] ['Leipzig', 'sister city', 'Bamako']
ASK WHERE { resource:Leipzig property:sister_city resource:Bamako . resource:Leipzig property:sister_city resource:Goppili }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P180
Q151885 Q15709879 Q18783400
USER
Which concepts are expressed in min number of artwork series or genres of sculpture ?
(c(Q15709879)|c(Q18783400),P180,c(Q151885))
action argmin
action union
action find_reverse_tuple_counts
relation P180
type Q151885
type Q15709879
action find_reverse_tuple_counts
relation P180
type Q151885
type Q18783400
[[{'concept': 'Q15709879'}, {'concept': 'Q18783400'}], 'P180', {'concept': 'Q151885'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( MIN ( ?j ) AS ?y ) { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) ?r WHERE { ?f rdf:type ?o . VALUES ( ?o ) { ( ontology:Q15709879 ) ( ontology:Q18783400 ) } } GROUP BY ?r } } . FILTER ( ?n = ?y ) . { SELECT DISTINCT ( COUNT ( ?b ) AS ?n ) ?c WHERE { { ?c rdf:type ontology:Q151885 . ?b rdf:type ontology:Q15709879 . ?b property:P180 ?c } UNION { ?b property:P180 ?c . ?c rdf:type ontology:Q151885 . ?b rdf:type ontology:Q18783400 } } GROUP BY ?c } }
action argmin
action union
action find_reverse_tuple_counts
relation depicts
type concept
type artwork series
action find_reverse_tuple_counts
relation depicts
type concept
type genre of sculpture
[[{'concept': 'artwork series'}, {'concept': 'genre of sculpture'}], 'depicts', {'concept': 'concept'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( MIN ( ?j ) AS ?y ) { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) ?r WHERE { ?f rdf:type ?o . VALUES ( ?o ) { ( ontology:artwork_series ) ( ontology:genre_of_sculpture ) } } GROUP BY ?r } } . FILTER ( ?n = ?y ) . { SELECT DISTINCT ( COUNT ( ?b ) AS ?n ) ?c WHERE { { ?c rdf:type ontology:concept . ?b rdf:type ontology:artwork_series . ?b property:depicts ?c } UNION { ?b property:depicts ?c . ?c rdf:type ontology:concept . ?b rdf:type ontology:genre_of_sculpture } } GROUP BY ?c } }
[]
concept artwork series genre of sculpture
Q4964182 Q931260 Q12004621
SYSTEM
philosopher, murderer, fortune-teller
Q254508 Q193373 Q13381863 Q2304859 Q2472587 Q7743 Q188353 Q34023 Q454 Q177923 Q8436 Q14467155 Q177826 Q189829 Q48942 Q1968442 Q170430 Q482980 Q12004621 Q11513337 Q2207288 Q126236 Q15980704 Q273283 Q124216 Q703534 Q272735 Q17176618 Q38433 Q48282 Q113904 Q43616 Q1146843 Q1714828 Q2979 Q25443024 Q4964182 Q11399 Q40953 Q213449 Q877674 Q6388 Q203872 Q2083958 Q855091 Q2066131 Q3562775 Q931260 Q192581 Q18120029 Q18121798 Q876776 Q10843402 Q179637 Q5167661 Q3035707 Q1862087 Q1134237 Q10294 Q1125062 Q13382576 Q7234072
(c(Q15709879)|c(Q18783400),P180,c(Q151885))
action argmin
action union
action find_reverse_tuple_counts
relation P180
type Q151885
type Q15709879
action find_reverse_tuple_counts
relation P180
type Q151885
type Q18783400
[ANSWERS] are expressed in min number of artwork series or genres of sculpture
[[{'concept': 'Q15709879'}, {'concept': 'Q18783400'}], 'P180', {'concept': 'Q151885'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( MIN ( ?j ) AS ?y ) { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) ?r WHERE { ?f rdf:type ?o . VALUES ( ?o ) { ( ontology:Q15709879 ) ( ontology:Q18783400 ) } } GROUP BY ?r } } . FILTER ( ?n = ?y ) . { SELECT DISTINCT ( COUNT ( ?b ) AS ?n ) ?c WHERE { { ?c rdf:type ontology:Q151885 . ?b rdf:type ontology:Q15709879 . ?b property:P180 ?c } UNION { ?b property:P180 ?c . ?c rdf:type ontology:Q151885 . ?b rdf:type ontology:Q18783400 } } GROUP BY ?c } }
outlaw Gordian knot fencer sovereign people home Welsh people tumulus peace auction family gaze clergy hermit pupil donor predation author fortune-teller athletics competitor craft conquistador matchmaker beggar Swiss people employee tree smuggler Newton's laws of motion student Radha mummy anchorite hunter liberty to walk philosopher rock music prayer eating touch human swimming being pattern guitarist sportsperson thief murderer job bibliophile lovers' embrace drinking swimmer prisoner of war justice gift prisoner court poverty rebel rower postal worker
Philosopher, murderer and fortune-teller are expressed in min number of artwork series or genres of sculpture
philosopher murderer fortune-teller
action argmin
action union
action find_reverse_tuple_counts
relation depicts
type concept
type artwork series
action find_reverse_tuple_counts
relation depicts
type concept
type genre of sculpture
[[{'concept': 'artwork series'}, {'concept': 'genre of sculpture'}], 'depicts', {'concept': 'concept'}]
SELECT DISTINCT ?c WHERE { { SELECT DISTINCT ( MIN ( ?j ) AS ?y ) { SELECT DISTINCT ( COUNT ( ?f ) AS ?j ) ?r WHERE { ?f rdf:type ?o . VALUES ( ?o ) { ( ontology:artwork_series ) ( ontology:genre_of_sculpture ) } } GROUP BY ?r } } . FILTER ( ?n = ?y ) . { SELECT DISTINCT ( COUNT ( ?b ) AS ?n ) ?c WHERE { { ?c rdf:type ontology:concept . ?b rdf:type ontology:artwork_series . ?b property:depicts ?c } UNION { ?b property:depicts ?c . ?c rdf:type ontology:concept . ?b rdf:type ontology:genre_of_sculpture } } GROUP BY ?c } }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q1239390 Q5584323
P19 P17
Q15617994
USER
Which administrative territories are Goppili present in or are the places of birth of Johann Ludwig Alefeld ?
OR((Q5584323,P17,c(Q15617994)), (Q1239390,P19,c(Q15617994)))
action filter_type
action union
action find
entity Q5584323
relation P17
action find
entity Q1239390
relation P19
type Q15617994
{'OR': [['Q5584323', 'P17', {'concept': 'Q15617994'}], ['Q1239390', 'P19', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Q5584323 property:P17 ?j } UNION { resource:Q1239390 property:P19 ?j } } . ?j rdf:type ontology:Q15617994 }
Johann Ludwig Alefeld Goppili
action filter_type
action union
action find
entity Goppili
relation country
action find
entity Johann Ludwig Alefeld
relation place of birth
type designation for an administrative territorial entity
{'OR': [['Goppili', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Johann Ludwig Alefeld', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Goppili property:country ?j } UNION { resource:Johann_Ludwig_Alefeld property:place_of_birth ?j } } . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q22956 Q668
SYSTEM
Grünstadt, India
Q22956 Q668
OR((Q5584323,P17,c(Q15617994)), (Q1239390,P19,c(Q15617994)))
action filter_type
action union
action find
entity Q5584323
relation P17
action find
entity Q1239390
relation P19
type Q15617994
[ANSWERS] are Goppili present in or are the places of birth of Johann Ludwig Alefeld
{'OR': [['Q5584323', 'P17', {'concept': 'Q15617994'}], ['Q1239390', 'P19', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Q5584323 property:P17 ?j } UNION { resource:Q1239390 property:P19 ?j } } . ?j rdf:type ontology:Q15617994 }
Grünstadt India
Grünstadt and India are Goppili present in or are the places of birth of Johann Ludwig Alefeld
Grünstadt India
action filter_type
action union
action find
entity Goppili
relation country
action find
entity Johann Ludwig Alefeld
relation place of birth
type designation for an administrative territorial entity
{'OR': [['Goppili', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Johann Ludwig Alefeld', 'place of birth', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?j WHERE { { { resource:Goppili property:country ?j } UNION { resource:Johann_Ludwig_Alefeld property:place_of_birth ?j } } . ?j rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q1509870 Q100326
P20
Q515
USER
Which cities did Johann Friedrich Fischer and Richard Quelle die ?
AND((Q100326,P20,c(Q515)), (Q1509870,P20,c(Q515)))
action filter_type
action intersection
action find
entity Q100326
relation P20
action find
entity Q1509870
relation P20
type Q515
{'AND': [['Q100326', 'P20', {'concept': 'Q515'}], ['Q1509870', 'P20', {'concept': 'Q515'}]]}
SELECT DISTINCT ?r WHERE { resource:Q1509870 property:P20 ?r . resource:Q100326 property:P20 ?r . ?r rdf:type ontology:Q515 }
Richard Quelle Johann Friedrich Fischer
action filter_type
action intersection
action find
entity Johann Friedrich Fischer
relation place of death
action find
entity Richard Quelle
relation place of death
type city
{'AND': [['Johann Friedrich Fischer', 'place of death', {'concept': 'city'}], ['Richard Quelle', 'place of death', {'concept': 'city'}]]}
SELECT DISTINCT ?r WHERE { resource:Richard_Quelle property:place_of_death ?r . resource:Johann_Friedrich_Fischer property:place_of_death ?r . ?r rdf:type ontology:city }
[]
city
Q2079
SYSTEM
Leipzig
Q2079
AND((Q100326,P20,c(Q515)), (Q1509870,P20,c(Q515)))
action filter_type
action intersection
action find
entity Q100326
relation P20
action find
entity Q1509870
relation P20
type Q515
Johann Friedrich Fischer and Richard Quelle died in [ANSWER]
{'AND': [['Q100326', 'P20', {'concept': 'Q515'}], ['Q1509870', 'P20', {'concept': 'Q515'}]]}
SELECT DISTINCT ?r WHERE { resource:Q1509870 property:P20 ?r . resource:Q100326 property:P20 ?r . ?r rdf:type ontology:Q515 }
Leipzig
Johann Friedrich Fischer and Richard Quelle died in Leipzig
Leipzig
action filter_type
action intersection
action find
entity Johann Friedrich Fischer
relation place of death
action find
entity Richard Quelle
relation place of death
type city
{'AND': [['Johann Friedrich Fischer', 'place of death', {'concept': 'city'}], ['Richard Quelle', 'place of death', {'concept': 'city'}]]}
SELECT DISTINCT ?r WHERE { resource:Richard_Quelle property:place_of_death ?r . resource:Johann_Friedrich_Fischer property:place_of_death ?r . ?r rdf:type ontology:city }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q3624
P1376
Q7275
USER
Which states have Addis Ababa have their first city ?
(Q3624,P1376,c(Q7275))
action filter_type
action find
entity Q3624
relation P1376
type Q7275
['Q3624', 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?r WHERE { resource:Q3624 property:P1376 ?r . ?r rdf:type ontology:Q7275 }
Addis Ababa
action filter_type
action find
entity Addis Ababa
relation capital of
type state
['Addis Ababa', 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?r WHERE { resource:Addis_Ababa property:capital_of ?r . ?r rdf:type ontology:state }
[]
state
Q940821 Q207521
SYSTEM
People's Democratic Republic of Ethiopia, Abyssinia
Q940821 Q207521
(Q3624,P1376,c(Q7275))
action filter_type
action find
entity Q3624
relation P1376
type Q7275
[ANSWERS] have Addis Ababa have their first city
['Q3624', 'P1376', {'concept': 'Q7275'}]
SELECT DISTINCT ?r WHERE { resource:Q3624 property:P1376 ?r . ?r rdf:type ontology:Q7275 }
People's Democratic Republic of Ethiopia Abyssinia
People's Democratic Republic of Ethiopia and Abyssinia have Addis Ababa have their first city
People's Democratic Republic of Ethiopia Abyssinia
action filter_type
action find
entity Addis Ababa
relation capital of
type state
['Addis Ababa', 'capital of', {'concept': 'state'}]
SELECT DISTINCT ?r WHERE { resource:Addis_Ababa property:capital_of ?r . ?r rdf:type ontology:state }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q940821 Q207521
P36
Q515
USER
Which cities are the capitals of People's Democratic Republic of Ethiopia and Abyssinia ?
(Q940821,P36,c(Q515)) (Q207521,P36,c(Q515))
action union
action filter_type
action find
entity Q940821
relation P36
type Q515
action filter_type
action find
entity Q207521
relation P36
type Q515
['Q940821', 'P36', {'concept': 'Q515'}] ['Q207521', 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ?a WHERE { { resource:Q207521 property:P36 ?a . ?a rdf:type ontology:Q515 } UNION { resource:Q940821 property:P36 ?a . ?a rdf:type ontology:Q515 } }
People's Democratic Republic of Ethiopia Abyssinia
action union
action filter_type
action find
entity People's Democratic Republic of Ethiopia
relation capital
type city
action filter_type
action find
entity Abyssinia
relation capital
type city
["People's Democratic Republic of Ethiopia", 'capital', {'concept': 'city'}] ['Abyssinia', 'capital', {'concept': 'city'}]
SELECT DISTINCT ?a WHERE { { resource:Abyssinia property:capital ?a . ?a rdf:type ontology:city } UNION { resource:People's_Democratic_Republic_of_Ethiopia property:capital ?a . ?a rdf:type ontology:city } }
[]
city
Q3624 Q3624
SYSTEM
Addis Ababa
Q3624 Q3624
(Q940821,P36,c(Q515)) (Q207521,P36,c(Q515))
action union
action filter_type
action find
entity Q940821
relation P36
type Q515
action filter_type
action find
entity Q207521
relation P36
type Q515
[ANSWER] and [ANSWER] are the capitals of People's Democratic Republic of Ethiopia and Abyssinia
['Q940821', 'P36', {'concept': 'Q515'}] ['Q207521', 'P36', {'concept': 'Q515'}]
SELECT DISTINCT ?a WHERE { { resource:Q207521 property:P36 ?a . ?a rdf:type ontology:Q515 } UNION { resource:Q940821 property:P36 ?a . ?a rdf:type ontology:Q515 } }
Addis Ababa Addis Ababa
Addis Ababa and Addis Ababa are the capitals of People's Democratic Republic of Ethiopia and Abyssinia
Addis Ababa Addis Ababa
action union
action filter_type
action find
entity People's Democratic Republic of Ethiopia
relation capital
type city
action filter_type
action find
entity Abyssinia
relation capital
type city
["People's Democratic Republic of Ethiopia", 'capital', {'concept': 'city'}] ['Abyssinia', 'capital', {'concept': 'city'}]
SELECT DISTINCT ?a WHERE { { resource:Abyssinia property:capital ?a . ?a rdf:type ontology:city } UNION { resource:People's_Democratic_Republic_of_Ethiopia property:capital ?a . ?a rdf:type ontology:city } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q207521
P840
Q2342494
USER
Which collectable has its narrative set in Abyssinia ?
(c(Q2342494),P840,Q207521)
action filter_type
action find_reverse
entity Q207521
relation P840
type Q2342494
[{'concept': 'Q2342494'}, 'P840', 'Q207521']
SELECT DISTINCT ?z WHERE { ?z property:P840 resource:Q207521 . ?z rdf:type ontology:Q2342494 }
Abyssinia
action filter_type
action find_reverse
entity Abyssinia
relation narrative location
type collectable
[{'concept': 'collectable'}, 'narrative location', 'Abyssinia']
SELECT DISTINCT ?z WHERE { ?z property:narrative_location resource:Abyssinia . ?z rdf:type ontology:collectable }
[]
collectable
Q12071418
SYSTEM
Travels to Discover the Source of the Nile
Q12071418
(c(Q2342494),P840,Q207521)
action filter_type
action find_reverse
entity Q207521
relation P840
type Q2342494
Travels to discover the Source of the Nile has its narrative set in Abyssinia
[{'concept': 'Q2342494'}, 'P840', 'Q207521']
SELECT DISTINCT ?z WHERE { ?z property:P840 resource:Q207521 . ?z rdf:type ontology:Q2342494 }
Travels to Discover the Source of the Nile
Travels to discover the Source of the Nile has its narrative set in Abyssinia
Travels to Discover the Source of the Nile
action filter_type
action find_reverse
entity Abyssinia
relation narrative location
type collectable
[{'concept': 'collectable'}, 'narrative location', 'Abyssinia']
SELECT DISTINCT ?z WHERE { ?z property:narrative_location resource:Abyssinia . ?z rdf:type ontology:collectable }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q12071418 Q348489 Q25525869
P50
Q502895
USER
Was that collectable written by James Bruce and Jakob Vinther ?
(Q12071418,P50,Q348489) (Q12071418,P50,Q25525869)
action is_in
entity Q12071418
action intersection
action find_reverse
entity Q348489
relation P50
action find_reverse
entity Q25525869
relation P50
['Q12071418', 'P50', 'Q348489'] ['Q12071418', 'P50', 'Q25525869']
ASK WHERE { resource:Q12071418 property:P50 resource:Q348489 . resource:Q12071418 property:P50 resource:Q25525869 }
Travels to Discover the Source of the Nile James Bruce Jakob Vinther
action is_in
entity Travels to Discover the Source of the Nile
action intersection
action find_reverse
entity James Bruce
relation author
action find_reverse
entity Jakob Vinther
relation author
['Travels to Discover the Source of the Nile', 'author', 'James Bruce'] ['Travels to Discover the Source of the Nile', 'author', 'Jakob Vinther']
ASK WHERE { resource:Travels_to_Discover_the_Source_of_the_Nile property:author resource:James_Bruce . resource:Travels_to_Discover_the_Source_of_the_Nile property:author resource:Jakob_Vinther }
[]
common name
SYSTEM
YES and NO respectively
(Q12071418,P50,Q348489) (Q12071418,P50,Q25525869)
action is_in
entity Q12071418
action intersection
action find_reverse
entity Q348489
relation P50
action find_reverse
entity Q25525869
relation P50
[ANSWER]
['Q12071418', 'P50', 'Q348489'] ['Q12071418', 'P50', 'Q25525869']
ASK WHERE { resource:Q12071418 property:P50 resource:Q348489 . resource:Q12071418 property:P50 resource:Q25525869 }
YES and NO respectively
action is_in
entity Travels to Discover the Source of the Nile
action intersection
action find_reverse
entity James Bruce
relation author
action find_reverse
entity Jakob Vinther
relation author
['Travels to Discover the Source of the Nile', 'author', 'James Bruce'] ['Travels to Discover the Source of the Nile', 'author', 'Jakob Vinther']
ASK WHERE { resource:Travels_to_Discover_the_Source_of_the_Nile property:author resource:James_Bruce . resource:Travels_to_Discover_the_Source_of_the_Nile property:author resource:Jakob_Vinther }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q940821 Q211930
P122
Q7257
USER
Is Marxism–Leninism the type of government for People's Democratic Republic of Ethiopia ?
(Q940821,P122,Q211930)
action is_in
entity Q211930
action find
entity Q940821
relation P122
['Q940821', 'P122', 'Q211930']
ASK WHERE { resource:Q940821 property:P122 resource:Q211930 }
People's Democratic Republic of Ethiopia Marxism–Leninism
action is_in
entity Marxism–Leninism
action find
entity People's Democratic Republic of Ethiopia
relation basic form of government
["People's Democratic Republic of Ethiopia", 'basic form of government', 'Marxism–Leninism']
ASK WHERE { resource:People's_Democratic_Republic_of_Ethiopia property:basic_form_of_government resource:Marxism–Leninism }
[]
ideology
SYSTEM
YES
(Q940821,P122,Q211930)
action is_in
entity Q211930
action find
entity Q940821
relation P122
[ANSWER]
['Q940821', 'P122', 'Q211930']
ASK WHERE { resource:Q940821 property:P122 resource:Q211930 }
Yes
action is_in
entity Marxism–Leninism
action find
entity People's Democratic Republic of Ethiopia
relation basic form of government
["People's Democratic Republic of Ethiopia", 'basic form of government', 'Marxism–Leninism']
ASK WHERE { resource:People's_Democratic_Republic_of_Ethiopia property:basic_form_of_government resource:Marxism–Leninism }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q622846 Q2079
P190
Q56061
USER
Which administrative territories are twin cities of Leipzig or Helsa ?
OR((Q2079,P190,c(Q56061)), (Q622846,P190,c(Q56061)))
action filter_type
action union
action find
entity Q2079
relation P190
action find
entity Q622846
relation P190
type Q56061
{'OR': [['Q2079', 'P190', {'concept': 'Q56061'}], ['Q622846', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?a WHERE { { ?o property:P190 ?a . VALUES ( ?o ) { ( resource:Q2079 ) ( resource:Q622846 ) } } . ?a rdf:type ontology:Q56061 }
Helsa Leipzig
action filter_type
action union
action find
entity Leipzig
relation sister city
action find
entity Helsa
relation sister city
type administrative territorial entity
{'OR': [['Leipzig', 'sister city', {'concept': 'administrative territorial entity'}], ['Helsa', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { ?o property:sister_city ?a . VALUES ( ?o ) { ( resource:Leipzig ) ( resource:Helsa ) } } . ?a rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q174 Q776965 Q3703 Q17151 Q16555 Q1715 Q2267399 Q152491 Q1891 Q459
SYSTEM
São Paulo, Klaipėda, Bamako, Thessaloniki, Houston, Hanover, Krimpen aan de Lek, Herzliya, Bologna, Plovdiv
Q174 Q776965 Q3703 Q17151 Q16555 Q1715 Q2267399 Q152491 Q1891 Q459
OR((Q2079,P190,c(Q56061)), (Q622846,P190,c(Q56061)))
action filter_type
action union
action find
entity Q2079
relation P190
action find
entity Q622846
relation P190
type Q56061
[ANSWERS] are twin cities of Leipzig or Helsa
{'OR': [['Q2079', 'P190', {'concept': 'Q56061'}], ['Q622846', 'P190', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?a WHERE { { ?o property:P190 ?a . VALUES ( ?o ) { ( resource:Q2079 ) ( resource:Q622846 ) } } . ?a rdf:type ontology:Q56061 }
São Paulo Klaipėda Bamako Thessaloniki Houston Hanover Krimpen aan de Lek Herzliya Bologna Plovdiv
São Paulo, Klaipėda, Bamako, Thessaloniki, Houston, Hanover, Krimpen aan de Lek, Herzliya, Bologna and Plovdiv are twin cities of Leipzig or Helsa
São Paulo Klaipėda Bamako Thessaloniki Houston Hanover Krimpen aan de Lek Herzliya Bologna Plovdiv
action filter_type
action union
action find
entity Leipzig
relation sister city
action find
entity Helsa
relation sister city
type administrative territorial entity
{'OR': [['Leipzig', 'sister city', {'concept': 'administrative territorial entity'}], ['Helsa', 'sister city', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { { ?o property:sister_city ?a . VALUES ( ?o ) { ( resource:Leipzig ) ( resource:Helsa ) } } . ?a rdf:type ontology:administrative_territorial_entity }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q18285930
P194
Q1752346 Q11204 Q7275
USER
How many states have less number of assemblies or legislatures as their representative body than German Empire of 1848/1849 ?
(c(Q7275),P194,c(Q1752346)|c(Q11204))
action count
action less
action union
action find_tuple_counts
relation P194
type Q7275
type Q1752346
action find_tuple_counts
relation P194
type Q7275
type Q11204
action count
action filter_multi_types
action find
entity Q18285930
relation P194
type Q1752346
type Q11204
[{'concept': 'Q7275'}, 'P194', [{'concept': 'Q1752346'}, {'concept': 'Q11204'}]]
SELECT DISTINCT ( COUNT ( ?i ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?x ) ?i WHERE { { ?i property:P194 ?k . ?i rdf:type ontology:Q7275 . ?k rdf:type ontology:Q1752346 } UNION { ?i property:P194 ?k . ?i rdf:type ontology:Q7275 . ?k rdf:type ontology:Q11204 } } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?c ) WHERE { resource:Q18285930 property:P194 ?b . { { ?b rdf:type ontology:Q11204 } UNION { ?b rdf:type ontology:Q1752346 } } } } . FILTER ( ?x < ?c ) }
German Empire of 1848/1849
action count
action less
action union
action find_tuple_counts
relation legislative body
type state
type assembly
action find_tuple_counts
relation legislative body
type state
type legislature
action count
action filter_multi_types
action find
entity German Empire of 1848/1849
relation legislative body
type assembly
type legislature
[{'concept': 'state'}, 'legislative body', [{'concept': 'assembly'}, {'concept': 'legislature'}]]
SELECT DISTINCT ( COUNT ( ?i ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?x ) ?i WHERE { { ?i property:legislative_body ?k . ?i rdf:type ontology:state . ?k rdf:type ontology:assembly } UNION { ?i property:legislative_body ?k . ?i rdf:type ontology:state . ?k rdf:type ontology:legislature } } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?c ) WHERE { resource:German_Empire_of_1848/1849 property:legislative_body ?b . { { ?b rdf:type ontology:legislature } UNION { ?b rdf:type ontology:assembly } } } } . FILTER ( ?x < ?c ) }
[]
assembly legislature state
SYSTEM
42
Q211853 Q476757 Q207272 Q965174 Q1078602 Q201038 Q208545 Q167360 Q1811029 Q209062 Q204920 Q2006542 Q133356 Q191077 Q903779 Q16957 Q1649871 Q55502 Q62623 Q842794 Q71747 Q1423581 Q83286 Q1277557 Q330362 Q212439 Q28025 Q153015 Q83618 Q964024 Q487829 Q4948 Q49683 Q2342822 Q199841 Q12557 Q217196 Q23541302 Q1775277 Q70972 Q427941 Q216173
(c(Q7275),P194,c(Q1752346)|c(Q11204))
action count
action less
action union
action find_tuple_counts
relation P194
type Q7275
type Q1752346
action find_tuple_counts
relation P194
type Q7275
type Q11204
action count
action filter_multi_types
action find
entity Q18285930
relation P194
type Q1752346
type Q11204
[ANSWER]
[{'concept': 'Q7275'}, 'P194', [{'concept': 'Q1752346'}, {'concept': 'Q11204'}]]
SELECT DISTINCT ( COUNT ( ?i ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?x ) ?i WHERE { { ?i property:P194 ?k . ?i rdf:type ontology:Q7275 . ?k rdf:type ontology:Q1752346 } UNION { ?i property:P194 ?k . ?i rdf:type ontology:Q7275 . ?k rdf:type ontology:Q11204 } } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?c ) WHERE { resource:Q18285930 property:P194 ?b . { { ?b rdf:type ontology:Q11204 } UNION { ?b rdf:type ontology:Q1752346 } } } } . FILTER ( ?x < ?c ) }
Republic of Serbian Krajina Democratic Republic of Afghanistan Second Polish Republic Coalition Provisional Authority Kingdom of Nepal Roman Kingdom Socialist Republic of Bosnia and Herzegovina First Portuguese Republic Finnish Socialist Workers' Republic Socialist Republic of Croatia Crown of Aragon Dominion of Pakistan Ukrainian Soviet Socialist Republic Kingdom of Yugoslavia United Kingdom of Portugal, Brazil and the Algarves East Germany Kingdom of Poland Kingdom of Jerusalem Kalmar Union Socialist Republic of Romania Duchy of Brittany Italian Regency of Carnaro Socialist Federal Republic of Yugoslavia Democratic Federal Yugoslavia Commonwealth of England Cossack Hetmanate Ryukyu Kingdom Kingdom of Saxony Maratha Empire Moldavian Democratic Republic Chagatai Khanate Republic of Venice Grand Duchy of Lithuania West Pakistan South Yemen Mongol Empire Crown of Castile Kaluga Soviet Republic Dominion of India Kingdom of France Islamic Emirate of Afghanistan Free City of Danzig
42
action count
action less
action union
action find_tuple_counts
relation legislative body
type state
type assembly
action find_tuple_counts
relation legislative body
type state
type legislature
action count
action filter_multi_types
action find
entity German Empire of 1848/1849
relation legislative body
type assembly
type legislature
[{'concept': 'state'}, 'legislative body', [{'concept': 'assembly'}, {'concept': 'legislature'}]]
SELECT DISTINCT ( COUNT ( ?i ) AS ?o ) WHERE { { SELECT DISTINCT ( COUNT ( ?k ) AS ?x ) ?i WHERE { { ?i property:legislative_body ?k . ?i rdf:type ontology:state . ?k rdf:type ontology:assembly } UNION { ?i property:legislative_body ?k . ?i rdf:type ontology:state . ?k rdf:type ontology:legislature } } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?b ) AS ?c ) WHERE { resource:German_Empire_of_1848/1849 property:legislative_body ?b . { { ?b rdf:type ontology:legislature } UNION { ?b rdf:type ontology:assembly } } } } . FILTER ( ?x < ?c ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q121932
P194
Q1752346 Q11204 Q7275
USER
And also tell me about People's Republic of Bulgaria?
(c(Q7275),P194,c(Q1752346)|c(Q11204))
action count
action less
action union
action find_tuple_counts
relation P194
type Q7275
type Q1752346
action find_tuple_counts
relation P194
type Q7275
type Q11204
action count
action filter_multi_types
action find
entity Q121932
relation P194
type Q1752346
type Q11204
[{'concept': 'Q7275'}, 'P194', [{'concept': 'Q1752346'}, {'concept': 'Q11204'}]]
SELECT DISTINCT ( COUNT ( ?c ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?l ) ?c WHERE { ?g rdf:type ?e . VALUES ( ?e ) { ( ontology:Q1752346 ) ( ontology:Q11204 ) } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?x ) WHERE { { { ?f rdf:type ontology:Q1752346 } UNION { ?f rdf:type ontology:Q11204 } } . resource:Q121932 property:P194 ?f } } . FILTER ( ?l < ?x ) }
People's Republic of Bulgaria
action count
action less
action union
action find_tuple_counts
relation legislative body
type state
type assembly
action find_tuple_counts
relation legislative body
type state
type legislature
action count
action filter_multi_types
action find
entity People's Republic of Bulgaria
relation legislative body
type assembly
type legislature
[{'concept': 'state'}, 'legislative body', [{'concept': 'assembly'}, {'concept': 'legislature'}]]
SELECT DISTINCT ( COUNT ( ?c ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?l ) ?c WHERE { ?g rdf:type ?e . VALUES ( ?e ) { ( ontology:assembly ) ( ontology:legislature ) } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?x ) WHERE { { { ?f rdf:type ontology:assembly } UNION { ?f rdf:type ontology:legislature } } . resource:People's_Republic_of_Bulgaria property:legislative_body ?f } } . FILTER ( ?l < ?x ) }
[]
assembly legislature state
SYSTEM
42
Q211853 Q476757 Q207272 Q965174 Q1078602 Q201038 Q208545 Q167360 Q1811029 Q209062 Q204920 Q2006542 Q133356 Q191077 Q903779 Q16957 Q1649871 Q55502 Q62623 Q842794 Q71747 Q1423581 Q83286 Q1277557 Q330362 Q212439 Q28025 Q153015 Q83618 Q964024 Q487829 Q4948 Q49683 Q2342822 Q199841 Q12557 Q217196 Q23541302 Q1775277 Q70972 Q427941 Q216173
(c(Q7275),P194,c(Q1752346)|c(Q11204))
action count
action less
action union
action find_tuple_counts
relation P194
type Q7275
type Q1752346
action find_tuple_counts
relation P194
type Q7275
type Q11204
action count
action filter_multi_types
action find
entity Q121932
relation P194
type Q1752346
type Q11204
[ANSWER]
[{'concept': 'Q7275'}, 'P194', [{'concept': 'Q1752346'}, {'concept': 'Q11204'}]]
SELECT DISTINCT ( COUNT ( ?c ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?l ) ?c WHERE { ?g rdf:type ?e . VALUES ( ?e ) { ( ontology:Q1752346 ) ( ontology:Q11204 ) } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?x ) WHERE { { { ?f rdf:type ontology:Q1752346 } UNION { ?f rdf:type ontology:Q11204 } } . resource:Q121932 property:P194 ?f } } . FILTER ( ?l < ?x ) }
Republic of Serbian Krajina Democratic Republic of Afghanistan Second Polish Republic Coalition Provisional Authority Kingdom of Nepal Roman Kingdom Socialist Republic of Bosnia and Herzegovina First Portuguese Republic Finnish Socialist Workers' Republic Socialist Republic of Croatia Crown of Aragon Dominion of Pakistan Ukrainian Soviet Socialist Republic Kingdom of Yugoslavia United Kingdom of Portugal, Brazil and the Algarves East Germany Kingdom of Poland Kingdom of Jerusalem Kalmar Union Socialist Republic of Romania Duchy of Brittany Italian Regency of Carnaro Socialist Federal Republic of Yugoslavia Democratic Federal Yugoslavia Commonwealth of England Cossack Hetmanate Ryukyu Kingdom Kingdom of Saxony Maratha Empire Moldavian Democratic Republic Chagatai Khanate Republic of Venice Grand Duchy of Lithuania West Pakistan South Yemen Mongol Empire Crown of Castile Kaluga Soviet Republic Dominion of India Kingdom of France Islamic Emirate of Afghanistan Free City of Danzig
42
action count
action less
action union
action find_tuple_counts
relation legislative body
type state
type assembly
action find_tuple_counts
relation legislative body
type state
type legislature
action count
action filter_multi_types
action find
entity People's Republic of Bulgaria
relation legislative body
type assembly
type legislature
[{'concept': 'state'}, 'legislative body', [{'concept': 'assembly'}, {'concept': 'legislature'}]]
SELECT DISTINCT ( COUNT ( ?c ) AS ?a ) WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?l ) ?c WHERE { ?g rdf:type ?e . VALUES ( ?e ) { ( ontology:assembly ) ( ontology:legislature ) } } GROUP BY ?c } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?x ) WHERE { { { ?f rdf:type ontology:assembly } UNION { ?f rdf:type ontology:legislature } } . resource:People's_Republic_of_Bulgaria property:legislative_body ?f } } . FILTER ( ?l < ?x ) }
[]