Simple Question (Direct)
Simple Question
Q41766
P20
Q56061
USER
Where did the expiration of Ctesibius occur ?
(Q41766,P20,c(Q56061))
action filter_type
action find
entity Q41766
relation P20
type Q56061
['Q41766', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:Q56061 . resource:Q41766 property:P20 ?a }
Ctesibius
action filter_type
action find
entity Ctesibius
relation place of death
type administrative territorial entity
['Ctesibius', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:administrative_territorial_entity . resource:Ctesibius property:place_of_death ?a }
[]
administrative territorial entity
Q87
SYSTEM
Alexandria
Q87
(Q41766,P20,c(Q56061))
action filter_type
action find
entity Q41766
relation P20
type Q56061
The expiration of Ctesibius occurred in [ANSWER]
['Q41766', 'P20', {'concept': 'Q56061'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:Q56061 . resource:Q41766 property:P20 ?a }
Alexandria
The expiration of Ctesibius occurred in Alexandria
Alexandria
action filter_type
action find
entity Ctesibius
relation place of death
type administrative territorial entity
['Ctesibius', 'place of death', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?a WHERE { ?a rdf:type ontology:administrative_territorial_entity . resource:Ctesibius property:place_of_death ?a }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q87
P30
Q2221906
USER
Where is that administrative territory situated ?
(Q87,P30,c(Q2221906))
action filter_type
action find
entity Q87
relation P30
type Q2221906
['Q87', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?f WHERE { resource:Q87 property:P30 ?f . ?f rdf:type ontology:Q2221906 }
Alexandria
action filter_type
action find
entity Alexandria
relation continent
type geographic location
['Alexandria', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?f WHERE { resource:Alexandria property:continent ?f . ?f rdf:type ontology:geographic_location }
[]
geographic location
Q15
SYSTEM
Africa
Q15
(Q87,P30,c(Q2221906))
action filter_type
action find
entity Q87
relation P30
type Q2221906
That administrative territory is situated in [ANSWER]
['Q87', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?f WHERE { resource:Q87 property:P30 ?f . ?f rdf:type ontology:Q2221906 }
Africa
That administrative territory is situated in Africa
Africa
action filter_type
action find
entity Alexandria
relation continent
type geographic location
['Alexandria', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?f WHERE { resource:Alexandria property:continent ?f . ?f rdf:type ontology:geographic_location }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation|Incomplete
Q21474480 Q87
P30
Q2221906
USER
Or Wuyan Gang?
OR((Q87,P30,c(Q2221906)), (Q21474480,P30,c(Q2221906)))
action filter_type
action union
action find
entity Q87
relation P30
action find
entity Q21474480
relation P30
type Q2221906
{'OR': [['Q87', 'P30', {'concept': 'Q2221906'}], ['Q21474480', 'P30', {'concept': 'Q2221906'}]]}
SELECT DISTINCT ?j WHERE { { VALUES ( ?e ) { ( resource:Q87 ) ( resource:Q21474480 ) } . ?e property:P30 ?j } . ?j rdf:type ontology:Q2221906 }
Wuyan Gang Alexandria
action filter_type
action union
action find
entity Alexandria
relation continent
action find
entity Wuyan Gang
relation continent
type geographic location
{'OR': [['Alexandria', 'continent', {'concept': 'geographic location'}], ['Wuyan Gang', 'continent', {'concept': 'geographic location'}]]}
SELECT DISTINCT ?j WHERE { { VALUES ( ?e ) { ( resource:Alexandria ) ( resource:Wuyan_Gang ) } . ?e property:continent ?j } . ?j rdf:type ontology:geographic_location }
[]
geographic location
Q15 Q51
SYSTEM
Africa, Antarctica
Q15 Q51
OR((Q87,P30,c(Q2221906)), (Q21474480,P30,c(Q2221906)))
action filter_type
action union
action find
entity Q87
relation P30
action find
entity Q21474480
relation P30
type Q2221906
[ANSWERS]
{'OR': [['Q87', 'P30', {'concept': 'Q2221906'}], ['Q21474480', 'P30', {'concept': 'Q2221906'}]]}
SELECT DISTINCT ?j WHERE { { VALUES ( ?e ) { ( resource:Q87 ) ( resource:Q21474480 ) } . ?e property:P30 ?j } . ?j rdf:type ontology:Q2221906 }
Africa Antarctica
Africa Antarctica
action filter_type
action union
action find
entity Alexandria
relation continent
action find
entity Wuyan Gang
relation continent
type geographic location
{'OR': [['Alexandria', 'continent', {'concept': 'geographic location'}], ['Wuyan Gang', 'continent', {'concept': 'geographic location'}]]}
SELECT DISTINCT ?j WHERE { { VALUES ( ?e ) { ( resource:Alexandria ) ( resource:Wuyan_Gang ) } . ?e property:continent ?j } . ?j rdf:type ontology:geographic_location }
[]
Simple Question (Direct)
Simple Question|Mult. Entity|Indirect
Q15 Q51
P30
Q355304
USER
Which watercourses have their location in Africa and Antarctica ?
(c(Q355304),P30,Q15) (c(Q355304),P30,Q51)
action union
action filter_type
action find_reverse
entity Q15
relation P30
type Q355304
action filter_type
action find_reverse
entity Q51
relation P30
type Q355304
[{'concept': 'Q355304'}, 'P30', 'Q15'] [{'concept': 'Q355304'}, 'P30', 'Q51']
SELECT DISTINCT ?o WHERE { { ?o property:P30 resource:Q15 . ?o rdf:type ontology:Q355304 } UNION { ?o rdf:type ontology:Q355304 . ?o property:P30 resource:Q51 } }
Africa Antarctica
action union
action filter_type
action find_reverse
entity Africa
relation continent
type watercourse
action filter_type
action find_reverse
entity Antarctica
relation continent
type watercourse
[{'concept': 'watercourse'}, 'continent', 'Africa'] [{'concept': 'watercourse'}, 'continent', 'Antarctica']
SELECT DISTINCT ?o WHERE { { ?o property:continent resource:Africa . ?o rdf:type ontology:watercourse } UNION { ?o rdf:type ontology:watercourse . ?o property:continent resource:Antarctica } }
[]
watercourse
Q3392 Q3542 Q181475
SYSTEM
Nile, Niger River, Orange River
Q171649 Q273456 Q1250532 Q2634215 Q777999 Q821911 Q750021 Q160819 Q1146608 Q2279579 Q746779 Q320649 Q1861088 Q4814791 Q540956 Q138491 Q173017 Q753765 Q546793 Q624223 Q936023 Q204806 Q615662 Q3542 Q1479250 Q220839 Q753897 Q209530 Q213840 Q3569 Q803634 Q2371903 Q128350 Q899815 Q1778840 Q882739 Q645191 Q486636 Q506955 Q180558 Q836812 Q1321671 Q293988 Q205428 Q331162 Q772214 Q1637839 Q239883 Q151858 Q192415 Q171436 Q135477 Q181475 Q2750140 Q52598 Q340043 Q1129810 Q846063 Q141915 Q186541 Q476317 Q2503121 Q1535828 Q289460 Q3392 Q6660651 Q6684227 Q4759070 Q6418127 Q4951103 Q6709779 Q5874915 Q5184428 Q7931739 Q5297520 Q5509573 Q4753963 Q6801695 Q7405546 Q4851226 Q5929348 Q5659796 Q6802023 Q203098 Q4997191 Q7431226 Q4938175 Q7568555 Q6773791 Q5254757 Q7604232 Q7941439 Q5921413 Q2840070 Q6761121 Q5153861 Q5921409 Q7961789 Q5029435
(c(Q355304),P30,Q15) (c(Q355304),P30,Q51)
action union
action filter_type
action find_reverse
entity Q15
relation P30
type Q355304
action filter_type
action find_reverse
entity Q51
relation P30
type Q355304
[ANSWERS] have their location in Africa and Antarctica
[{'concept': 'Q355304'}, 'P30', 'Q15'] [{'concept': 'Q355304'}, 'P30', 'Q51']
SELECT DISTINCT ?o WHERE { { ?o property:P30 resource:Q15 . ?o rdf:type ontology:Q355304 } UNION { ?o rdf:type ontology:Q355304 . ?o property:P30 resource:Q51 } }
Ubangi River Omo River Sanaga River Lulonga River Chambeshi River Sobat River Ogooué River Gambia River Moulouya River Shire River Ruvuma River Cunene River Great Ruaha River White Nile Aruwimi River Jubba River Limpopo River Lomami River Molopo River Lufira River Rufiji River Benue River Komoé River Niger River Wadi Hammamat Luvua River Atbarah River Vaal River Cuanza River Senegal river Bahr el Ghazal River Tensift River Lukuga River Sankuru River Oum Er-Rbia River Blue Nile Logone River Draa River Pangani River Bafing River Lualaba River Luangwa River Save River Semliki River Tana River Chelif River Kouilou-Niari River Sangha River Luapula River Volta River Uele River Chari River Orange River Kagera River Loukkos River Medjerda River Sebou River Kafue River Shebelle River Kasai River Tugela River Moa River Sassandra River Bani River Nile Lizotte Creek Lost Seal Stream Andrews Creek Kite Stream Bowles Creek Lyons Creek Hobbs Stream Crescent Stream Vincent Creek Doran Stream Furlong Creek Andersen Creek McKay Creek Salmon Stream Ball Stream Huey Creek Harnish Creek McKnight Creek Onyx River Bulwark Stream Scheuren Stream Bohner Stream South Stream Marshall Stream Delta Stream Station Creek Von Guerard Stream Howchin South Stream Alph River Maria Creek Commonwealth Stream Howchin North Stream Wales Stream Canada Stream
Nile, Niger River and Orange River have their location in Africa and Antarctica
Nile Niger River Orange River
action union
action filter_type
action find_reverse
entity Africa
relation continent
type watercourse
action filter_type
action find_reverse
entity Antarctica
relation continent
type watercourse
[{'concept': 'watercourse'}, 'continent', 'Africa'] [{'concept': 'watercourse'}, 'continent', 'Antarctica']
SELECT DISTINCT ?o WHERE { { ?o property:continent resource:Africa . ?o rdf:type ontology:watercourse } UNION { ?o rdf:type ontology:watercourse . ?o property:continent resource:Antarctica } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q15
P610
Q8072
USER
Which volcano is the highest point of Africa ?
(Q15,P610,c(Q8072))
action filter_type
action find
entity Q15
relation P610
type Q8072
['Q15', 'P610', {'concept': 'Q8072'}]
SELECT DISTINCT ?p WHERE { resource:Q15 property:P610 ?p . ?p rdf:type ontology:Q8072 }
Africa
action filter_type
action find
entity Africa
relation highest point
type volcano
['Africa', 'highest point', {'concept': 'volcano'}]
SELECT DISTINCT ?p WHERE { resource:Africa property:highest_point ?p . ?p rdf:type ontology:volcano }
[]
volcano
Q1394606
SYSTEM
Kibo
Q1394606
(Q15,P610,c(Q8072))
action filter_type
action find
entity Q15
relation P610
type Q8072
[ANSWER] is the highest point of Africa
['Q15', 'P610', {'concept': 'Q8072'}]
SELECT DISTINCT ?p WHERE { resource:Q15 property:P610 ?p . ?p rdf:type ontology:Q8072 }
Kibo
Kibo is the highest point of Africa
Kibo
action filter_type
action find
entity Africa
relation highest point
type volcano
['Africa', 'highest point', {'concept': 'volcano'}]
SELECT DISTINCT ?p WHERE { resource:Africa property:highest_point ?p . ?p rdf:type ontology:volcano }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q1394606 Q7296 Q3326866
P361
Q107425
USER
Is that volcano a part of Mount Kilimanjaro and Murzuq Desert ?
(Q1394606,P361,Q7296) (Q1394606,P361,Q3326866)
action is_in
entity Q1394606
action intersection
action find_reverse
entity Q7296
relation P361
action find_reverse
entity Q3326866
relation P361
['Q1394606', 'P361', 'Q7296'] ['Q1394606', 'P361', 'Q3326866']
ASK WHERE { resource:Q1394606 property:P361 resource:Q3326866 . resource:Q1394606 property:P361 resource:Q7296 }
Kibo Mount Kilimanjaro Murzuq Desert
action is_in
entity Kibo
action intersection
action find_reverse
entity Mount Kilimanjaro
relation part of
action find_reverse
entity Murzuq Desert
relation part of
['Kibo', 'part of', 'Mount Kilimanjaro'] ['Kibo', 'part of', 'Murzuq Desert']
ASK WHERE { resource:Kibo property:part_of resource:Murzuq_Desert . resource:Kibo property:part_of resource:Mount_Kilimanjaro }
[]
landscape
SYSTEM
YES and NO respectively
(Q1394606,P361,Q7296) (Q1394606,P361,Q3326866)
action is_in
entity Q1394606
action intersection
action find_reverse
entity Q7296
relation P361
action find_reverse
entity Q3326866
relation P361
[ANSWER]
['Q1394606', 'P361', 'Q7296'] ['Q1394606', 'P361', 'Q3326866']
ASK WHERE { resource:Q1394606 property:P361 resource:Q3326866 . resource:Q1394606 property:P361 resource:Q7296 }
YES and NO respectively
action is_in
entity Kibo
action intersection
action find_reverse
entity Mount Kilimanjaro
relation part of
action find_reverse
entity Murzuq Desert
relation part of
['Kibo', 'part of', 'Mount Kilimanjaro'] ['Kibo', 'part of', 'Murzuq Desert']
ASK WHERE { resource:Kibo property:part_of resource:Murzuq_Desert . resource:Kibo property:part_of resource:Mount_Kilimanjaro }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q51
P61
Q1585199 Q502895
USER
How many Antarctic expeditionss or people were the inventors or discoverers of Antarctica ?
(Q51,P61,c(Q1585199)) (Q51,P61,c(Q502895))
action count
action union
action filter_type
action find
entity Q51
relation P61
type Q1585199
action filter_type
action find
entity Q51
relation P61
type Q502895
['Q51', 'P61', {'concept': 'Q1585199'}] ['Q51', 'P61', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?u ) WHERE { { ?l rdf:type ontology:Q1585199 . resource:Q51 property:P61 ?l } UNION { resource:Q51 property:P61 ?l . ?l rdf:type ontology:Q502895 } }
Antarctica
action count
action union
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type List of Antarctic expeditions
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type common name
['Antarctica', 'discoverer or inventor', {'concept': 'List of Antarctic expeditions'}] ['Antarctica', 'discoverer or inventor', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?u ) WHERE { { ?l rdf:type ontology:List_of_Antarctic_expeditions . resource:Antarctica property:discoverer_or_inventor ?l } UNION { resource:Antarctica property:discoverer_or_inventor ?l . ?l rdf:type ontology:common_name } }
[]
List of Antarctic expeditions common name
SYSTEM
3
Q76754 Q186203 Q4349082
(Q51,P61,c(Q1585199)) (Q51,P61,c(Q502895))
action count
action union
action filter_type
action find
entity Q51
relation P61
type Q1585199
action filter_type
action find
entity Q51
relation P61
type Q502895
[ANSWER]
['Q51', 'P61', {'concept': 'Q1585199'}] ['Q51', 'P61', {'concept': 'Q502895'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?u ) WHERE { { ?l rdf:type ontology:Q1585199 . resource:Q51 property:P61 ?l } UNION { resource:Q51 property:P61 ?l . ?l rdf:type ontology:Q502895 } }
Fabian Gottlieb von Bellingshausen Mikhail Lazarev First Russian Antarctic expedition
3
action count
action union
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type List of Antarctic expeditions
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type common name
['Antarctica', 'discoverer or inventor', {'concept': 'List of Antarctic expeditions'}] ['Antarctica', 'discoverer or inventor', {'concept': 'common name'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?u ) WHERE { { ?l rdf:type ontology:List_of_Antarctic_expeditions . resource:Antarctica property:discoverer_or_inventor ?l } UNION { resource:Antarctica property:discoverer_or_inventor ?l . ?l rdf:type ontology:common_name } }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q51
P61
Q1585199
USER
Which Antarctic expeditions discovered or invented Antarctica ?
(Q51,P61,c(Q1585199))
action filter_type
action find
entity Q51
relation P61
type Q1585199
['Q51', 'P61', {'concept': 'Q1585199'}]
SELECT DISTINCT ?c WHERE { resource:Q51 property:P61 ?c . ?c rdf:type ontology:Q1585199 }
Antarctica
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type List of Antarctic expeditions
['Antarctica', 'discoverer or inventor', {'concept': 'List of Antarctic expeditions'}]
SELECT DISTINCT ?c WHERE { resource:Antarctica property:discoverer_or_inventor ?c . ?c rdf:type ontology:List_of_Antarctic_expeditions }
[]
List of Antarctic expeditions
Q4349082
SYSTEM
First Russian Antarctic expedition
Q4349082
(Q51,P61,c(Q1585199))
action filter_type
action find
entity Q51
relation P61
type Q1585199
The [ANSWER] discovered or invented Antarctica
['Q51', 'P61', {'concept': 'Q1585199'}]
SELECT DISTINCT ?c WHERE { resource:Q51 property:P61 ?c . ?c rdf:type ontology:Q1585199 }
First Russian Antarctic expedition
The First Russian Antarctic expedition discovered or invented Antarctica
First Russian Antarctic expedition
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type List of Antarctic expeditions
['Antarctica', 'discoverer or inventor', {'concept': 'List of Antarctic expeditions'}]
SELECT DISTINCT ?c WHERE { resource:Antarctica property:discoverer_or_inventor ?c . ?c rdf:type ontology:List_of_Antarctic_expeditions }
[]
Simple Question (Ellipsis)
Incomplete|object parent is changed, subject and predicate remain same
Q51
Q502895
USER
And which person?
(Q51,P61,c(Q502895))
action filter_type
action find
entity Q51
relation P61
type Q502895
['Q51', 'P61', {'concept': 'Q502895'}]
SELECT DISTINCT ?o WHERE { resource:Q51 property:P61 ?o . ?o rdf:type ontology:Q502895 }
Antarctica
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type common name
['Antarctica', 'discoverer or inventor', {'concept': 'common name'}]
SELECT DISTINCT ?o WHERE { resource:Antarctica property:discoverer_or_inventor ?o . ?o rdf:type ontology:common_name }
[]
common name
Q76754 Q186203
SYSTEM
Fabian Gottlieb von Bellingshausen, Mikhail Lazarev
Q76754 Q186203
(Q51,P61,c(Q502895))
action filter_type
action find
entity Q51
relation P61
type Q502895
[ANSWERS]
['Q51', 'P61', {'concept': 'Q502895'}]
SELECT DISTINCT ?o WHERE { resource:Q51 property:P61 ?o . ?o rdf:type ontology:Q502895 }
Fabian Gottlieb von Bellingshausen Mikhail Lazarev
Fabian Gottlieb von Bellingshausen Mikhail Lazarev
action filter_type
action find
entity Antarctica
relation discoverer or inventor
type common name
['Antarctica', 'discoverer or inventor', {'concept': 'common name'}]
SELECT DISTINCT ?o WHERE { resource:Antarctica property:discoverer_or_inventor ?o . ?o rdf:type ontology:common_name }
[]