Simple Question (Direct)
Simple Question
Q325386
P140
Q874405
USER
Which social group does Khamis Gaddafi correspond to ?
(Q325386,P140,c(Q874405))
action filter_type
action find
entity Q325386
relation P140
type Q874405
['Q325386', 'P140', {'concept': 'Q874405'}]
SELECT DISTINCT ?v WHERE { resource:Q325386 property:P140 ?v . ?v rdf:type ontology:Q874405 }
Khamis Gaddafi
action filter_type
action find
entity Khamis Gaddafi
relation religion
type social group
['Khamis Gaddafi', 'religion', {'concept': 'social group'}]
SELECT DISTINCT ?v WHERE { resource:Khamis_Gaddafi property:religion ?v . ?v rdf:type ontology:social_group }
[]
social group
Q432
SYSTEM
Islam
Q432
(Q325386,P140,c(Q874405))
action filter_type
action find
entity Q325386
relation P140
type Q874405
Khamis Gaddafi corresponds à [ANSWER]
['Q325386', 'P140', {'concept': 'Q874405'}]
SELECT DISTINCT ?v WHERE { resource:Q325386 property:P140 ?v . ?v rdf:type ontology:Q874405 }
Islam
Khamis Gaddafi corresponds à Islam
Islam
action filter_type
action find
entity Khamis Gaddafi
relation religion
type social group
['Khamis Gaddafi', 'religion', {'concept': 'social group'}]
SELECT DISTINCT ?v WHERE { resource:Khamis_Gaddafi property:religion ?v . ?v rdf:type ontology:social_group }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q325386
P7
Q502895
USER
Who are Khamis Gaddafi a sibling of ?
(Q325386,P7,c(Q502895))
action filter_type
action find
entity Q325386
relation P7
type Q502895
['Q325386', 'P7', {'concept': 'Q502895'}]
SELECT DISTINCT ?i WHERE { resource:Q325386 property:P7 ?i . ?i rdf:type ontology:Q502895 }
Khamis Gaddafi
action filter_type
action find
entity Khamis Gaddafi
relation brother
type common name
['Khamis Gaddafi', 'brother', {'concept': 'common name'}]
SELECT DISTINCT ?i WHERE { resource:Khamis_Gaddafi property:brother ?i . ?i rdf:type ontology:common_name }
[]
common name
Q310406 Q316974 Q208135
SYSTEM
Al-Saadi Gaddafi, Mutassim Gaddafi, Saif al-Islam al-Gaddafi
Q310406 Q316974 Q361281 Q361273 Q208135 Q361291
(Q325386,P7,c(Q502895))
action filter_type
action find
entity Q325386
relation P7
type Q502895
Khamis Gaddafi a sibling of are h [ANSWERS]
['Q325386', 'P7', {'concept': 'Q502895'}]
SELECT DISTINCT ?i WHERE { resource:Q325386 property:P7 ?i . ?i rdf:type ontology:Q502895 }
Al-Saadi Gaddafi Mutassim Gaddafi Muhammad Gaddafi Hannibal Muammar Gaddafi Saif al-Islam al-Gaddafi Saif al-Arab Gaddafi
Khamis Gaddafi a sibling of are h Al-Saadi Gaddafi, Mutassim Gaddafi and Saif al-Islam al-Gaddafi
Al-Saadi Gaddafi Mutassim Gaddafi Saif al-Islam al-Gaddafi
action filter_type
action find
entity Khamis Gaddafi
relation brother
type common name
['Khamis Gaddafi', 'brother', {'concept': 'common name'}]
SELECT DISTINCT ?i WHERE { resource:Khamis_Gaddafi property:brother ?i . ?i rdf:type ontology:common_name }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q325386
P21
Q290
USER
Which sex does Khamis Gaddafi possess ?
(Q325386,P21,c(Q290))
action filter_type
action find
entity Q325386
relation P21
type Q290
['Q325386', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?k WHERE { resource:Q325386 property:P21 ?k . ?k rdf:type ontology:Q290 }
Khamis Gaddafi
action filter_type
action find
entity Khamis Gaddafi
relation gender
type sex
['Khamis Gaddafi', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?k WHERE { resource:Khamis_Gaddafi property:gender ?k . ?k rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q325386,P21,c(Q290))
action filter_type
action find
entity Q325386
relation P21
type Q290
Khamis Gaddafi possesses un [ANSWER]
['Q325386', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?k WHERE { resource:Q325386 property:P21 ?k . ?k rdf:type ontology:Q290 }
male
Khamis Gaddafi possesses un male
male
action filter_type
action find
entity Khamis Gaddafi
relation gender
type sex
['Khamis Gaddafi', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?k WHERE { resource:Khamis_Gaddafi property:gender ?k . ?k rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q310406
P40
Q502895
USER
Which person has Al-Saadi Gaddafi as an offspring ?
(c(Q502895),P40,Q310406)
action filter_type
action find_reverse
entity Q310406
relation P40
type Q502895
[{'concept': 'Q502895'}, 'P40', 'Q310406']
SELECT DISTINCT ?v WHERE { ?v property:P40 resource:Q310406 . ?v rdf:type ontology:Q502895 }
Al-Saadi Gaddafi
action filter_type
action find_reverse
entity Al-Saadi Gaddafi
relation child
type common name
[{'concept': 'common name'}, 'child', 'Al-Saadi Gaddafi']
SELECT DISTINCT ?v WHERE { ?v property:child resource:Al-Saadi_Gaddafi . ?v rdf:type ontology:common_name }
[]
common name
Q19878
SYSTEM
Muammar al-Gaddafi
Q19878
(c(Q502895),P40,Q310406)
action filter_type
action find_reverse
entity Q310406
relation P40
type Q502895
[ANSWER] has Al-Saadi Gaddafi as an offspring
[{'concept': 'Q502895'}, 'P40', 'Q310406']
SELECT DISTINCT ?v WHERE { ?v property:P40 resource:Q310406 . ?v rdf:type ontology:Q502895 }
Muammar al-Gaddafi
Muammar al-Gaddafi has Al-Saadi Gaddafi as an offspring
Muammar al-Gaddafi
action filter_type
action find_reverse
entity Al-Saadi Gaddafi
relation child
type common name
[{'concept': 'common name'}, 'child', 'Al-Saadi Gaddafi']
SELECT DISTINCT ?v WHERE { ?v property:child resource:Al-Saadi_Gaddafi . ?v rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q19878
P69
Q1935049
USER
Which military school is that person an alumni of ?
(Q19878,P69,c(Q1935049))
action filter_type
action find
entity Q19878
relation P69
type Q1935049
['Q19878', 'P69', {'concept': 'Q1935049'}]
SELECT DISTINCT ?f WHERE { resource:Q19878 property:P69 ?f . ?f rdf:type ontology:Q1935049 }
Muammar al-Gaddafi
action filter_type
action find
entity Muammar al-Gaddafi
relation educated at
type military school
['Muammar al-Gaddafi', 'educated at', {'concept': 'military school'}]
SELECT DISTINCT ?f WHERE { resource:Muammar_al-Gaddafi property:educated_at ?f . ?f rdf:type ontology:military_school }
[]
military school
Q4887749
SYSTEM
Benghazi Military University Academy
Q4887749
(Q19878,P69,c(Q1935049))
action filter_type
action find
entity Q19878
relation P69
type Q1935049
[ANSWER] is that person an alumni of
['Q19878', 'P69', {'concept': 'Q1935049'}]
SELECT DISTINCT ?f WHERE { resource:Q19878 property:P69 ?f . ?f rdf:type ontology:Q1935049 }
Benghazi Military University Academy
Benghazi Military University Academy is that person an alumni of
Benghazi Military University Academy
action filter_type
action find
entity Muammar al-Gaddafi
relation educated at
type military school
['Muammar al-Gaddafi', 'educated at', {'concept': 'military school'}]
SELECT DISTINCT ?f WHERE { resource:Muammar_al-Gaddafi property:educated_at ?f . ?f rdf:type ontology:military_school }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q4887749 Q66896
P159
Q56061
USER
Is Glenwood the headquarter location of that military school ?
(Q4887749,P159,Q66896)
action is_in
entity Q66896
action find
entity Q4887749
relation P159
['Q4887749', 'P159', 'Q66896']
ASK WHERE { resource:Q4887749 property:P159 resource:Q66896 }
Benghazi Military University Academy Glenwood
action is_in
entity Glenwood
action find
entity Benghazi Military University Academy
relation headquarters location
['Benghazi Military University Academy', 'headquarters location', 'Glenwood']
ASK WHERE { resource:Benghazi_Military_University_Academy property:headquarters_location resource:Glenwood }
[]
administrative territorial entity
SYSTEM
NO
(Q4887749,P159,Q66896)
action is_in
entity Q66896
action find
entity Q4887749
relation P159
[ANSWER]
['Q4887749', 'P159', 'Q66896']
ASK WHERE { resource:Q4887749 property:P159 resource:Q66896 }
No
action is_in
entity Glenwood
action find
entity Benghazi Military University Academy
relation headquarters location
['Benghazi Military University Academy', 'headquarters location', 'Glenwood']
ASK WHERE { resource:Benghazi_Military_University_Academy property:headquarters_location resource:Glenwood }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q19328265 Q66896
P17
Q15617994
USER
Which administrative territories do Glenwood or Lingesteeg belong to ?
OR((Q66896,P17,c(Q15617994)), (Q19328265,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q66896
relation P17
action find
entity Q19328265
relation P17
type Q15617994
{'OR': [['Q66896', 'P17', {'concept': 'Q15617994'}], ['Q19328265', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Q66896 property:P17 ?l } UNION { resource:Q19328265 property:P17 ?l } } . ?l rdf:type ontology:Q15617994 }
Lingesteeg Glenwood
action filter_type
action union
action find
entity Glenwood
relation country
action find
entity Lingesteeg
relation country
type designation for an administrative territorial entity
{'OR': [['Glenwood', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Lingesteeg', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Glenwood property:country ?l } UNION { resource:Lingesteeg property:country ?l } } . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q30 Q55
SYSTEM
United States of America, Netherlands
Q30 Q55
OR((Q66896,P17,c(Q15617994)), (Q19328265,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q66896
relation P17
action find
entity Q19328265
relation P17
type Q15617994
Glenwood or Lingesteeg belong to [ANSWERS]
{'OR': [['Q66896', 'P17', {'concept': 'Q15617994'}], ['Q19328265', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Q66896 property:P17 ?l } UNION { resource:Q19328265 property:P17 ?l } } . ?l rdf:type ontology:Q15617994 }
United States of America Netherlands
Glenwood or Lingesteeg belong to United States of America and Netherlands
United States of America Netherlands
action filter_type
action union
action find
entity Glenwood
relation country
action find
entity Lingesteeg
relation country
type designation for an administrative territorial entity
{'OR': [['Glenwood', 'country', {'concept': 'designation for an administrative territorial entity'}], ['Lingesteeg', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Glenwood property:country ?l } UNION { resource:Lingesteeg property:country ?l } } . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Clarification
Comparative|More/Less|Single entity type|Indirect
P941
Q15617994 Q3895768
USER
Which administrative territories were less number of fictional locations inspired by than that administrative territory ?
(c(Q3895768),P941,c(Q15617994))
[{'concept': 'Q3895768'}, 'P941', {'concept': 'Q15617994'}]
SELECT DISTINCT * WHERE { ?z property:P941 ?y . ?z rdf:type ontology:Q3895768 . ?y rdf:type ontology:Q15617994 }
[{'concept': 'fictional location'}, 'inspired by', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT * WHERE { ?z property:inspired_by ?y . ?z rdf:type ontology:fictional_location . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity fictional location
Comparative|More/Less|Single entity type|Clarification
Q30
SYSTEM
Did you mean United States of America ?
(c(Q3895768),P941,c(Q15617994))
[ANSWER]
[{'concept': 'Q3895768'}, 'P941', {'concept': 'Q15617994'}]
SELECT DISTINCT * WHERE { ?z property:P941 ?y . ?z rdf:type ontology:Q3895768 . ?y rdf:type ontology:Q15617994 }
Did you mean United States of America ?
United States of America
[{'concept': 'fictional location'}, 'inspired by', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT * WHERE { ?z property:inspired_by ?y . ?z rdf:type ontology:fictional_location . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
USER
No, I meant Netherlands. Could you tell me the answer for that?
(c(Q3895768),P941,c(Q15617994))
Q55
[{'concept': 'Q3895768'}, 'P941', {'concept': 'Q15617994'}]
[{'concept': 'fictional location'}, 'inspired by', {'concept': 'designation for an administrative territorial entity'}]
[]
Q55416
SYSTEM
Chioggia
Q55416
(c(Q3895768),P941,c(Q15617994))
[ANSWER] was less number of fictional locations inspired by than that administrative territory
[{'concept': 'Q3895768'}, 'P941', {'concept': 'Q15617994'}]
SELECT DISTINCT * WHERE { ?z property:P941 ?y . ?z rdf:type ontology:Q3895768 . ?y rdf:type ontology:Q15617994 }
Chioggia
Chioggia was less number of fictional locations inspired by than that administrative territory
Chioggia
[{'concept': 'fictional location'}, 'inspired by', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT * WHERE { ?z property:inspired_by ?y . ?z rdf:type ontology:fictional_location . ?y rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators|Indirect
P47
Q15617994 Q56061
USER
How many administrative territories and administrative territories are adjacent to that administrative territory ?
(Q55416,P47,c(Q15617994)) (Q55416,P47,c(Q56061)) (Q55416,P47,c(Q15617994)) (Q55416,P47,c(Q56061))
action count
action union
action filter_type
action find
entity Q55416
relation P47
type Q15617994
action filter_type
action find
entity Q55416
relation P47
type Q56061
['Q55416', 'P47', {'concept': 'Q15617994'}] ['Q55416', 'P47', {'concept': 'Q56061'}] ['Q55416', 'P47', {'concept': 'Q15617994'}] ['Q55416', 'P47', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?g ) WHERE { VALUES ( ?u ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } . ?c rdf:type ?u }
action count
action union
action filter_type
action find
entity Chioggia
relation shares border with
type designation for an administrative territorial entity
action filter_type
action find
entity Chioggia
relation shares border with
type administrative territorial entity
['Chioggia', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Chioggia', 'shares border with', {'concept': 'administrative territorial entity'}] ['Chioggia', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Chioggia', 'shares border with', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?g ) WHERE { VALUES ( ?u ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } . ?c rdf:type ?u }
[]
designation for an administrative territorial entity administrative territorial entity
SYSTEM
8
Q34367 Q46810 Q34680 Q55417 Q46951 Q641 Q34378 Q34377
(Q55416,P47,c(Q15617994)) (Q55416,P47,c(Q56061)) (Q55416,P47,c(Q15617994)) (Q55416,P47,c(Q56061))
action count
action union
action filter_type
action find
entity Q55416
relation P47
type Q15617994
action filter_type
action find
entity Q55416
relation P47
type Q56061
[ANSWER]
['Q55416', 'P47', {'concept': 'Q15617994'}] ['Q55416', 'P47', {'concept': 'Q56061'}] ['Q55416', 'P47', {'concept': 'Q15617994'}] ['Q55416', 'P47', {'concept': 'Q56061'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?g ) WHERE { VALUES ( ?u ) { ( ontology:Q15617994 ) ( ontology:Q56061 ) } . ?c rdf:type ?u }
Correzzola Campagna Lupia Codevigo Cona, Veneto Cavarzere Venice Rosolina Loreo
8
action count
action union
action filter_type
action find
entity Chioggia
relation shares border with
type designation for an administrative territorial entity
action filter_type
action find
entity Chioggia
relation shares border with
type administrative territorial entity
['Chioggia', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Chioggia', 'shares border with', {'concept': 'administrative territorial entity'}] ['Chioggia', 'shares border with', {'concept': 'designation for an administrative territorial entity'}] ['Chioggia', 'shares border with', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?c ) AS ?g ) WHERE { VALUES ( ?u ) { ( ontology:designation_for_an_administrative_territorial_entity ) ( ontology:administrative_territorial_entity ) } . ?c rdf:type ?u }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q30
P1313
Q895526
USER
Which authority organ is fulfilled by United States of America ?
(Q30,P1313,c(Q895526))
action filter_type
action find
entity Q30
relation P1313
type Q895526
['Q30', 'P1313', {'concept': 'Q895526'}]
SELECT DISTINCT ?w WHERE { resource:Q30 property:P1313 ?w . ?w rdf:type ontology:Q895526 }
United States of America
action filter_type
action find
entity United States of America
relation office held by head of government
type authority organ
['United States of America', 'office held by head of government', {'concept': 'authority organ'}]
SELECT DISTINCT ?w WHERE { resource:United_States_of_America property:office_held_by_head_of_government ?w . ?w rdf:type ontology:authority_organ }
[]
authority organ
Q11696
SYSTEM
President of the United States of America
Q11696
(Q30,P1313,c(Q895526))
action filter_type
action find
entity Q30
relation P1313
type Q895526
United [ANSWER] is fulfilled by United States of America
['Q30', 'P1313', {'concept': 'Q895526'}]
SELECT DISTINCT ?w WHERE { resource:Q30 property:P1313 ?w . ?w rdf:type ontology:Q895526 }
President of the United States of America
United President of the United States of America is fulfilled by United States of America
President of the United States of America
action filter_type
action find
entity United States of America
relation office held by head of government
type authority organ
['United States of America', 'office held by head of government', {'concept': 'authority organ'}]
SELECT DISTINCT ?w WHERE { resource:United_States_of_America property:office_held_by_head_of_government ?w . ?w rdf:type ontology:authority_organ }
[]