Simple Question (Direct)
Simple Question
Q8273178
P102
Q7210356
USER
Which party does Paul Chiu belong to ?
(Q8273178,P102,c(Q7210356))
action filter_type
action find
entity Q8273178
relation P102
type Q7210356
['Q8273178', 'P102', {'concept': 'Q7210356'}]
SELECT DISTINCT ?m WHERE { resource:Q8273178 property:P102 ?m . ?m rdf:type ontology:Q7210356 }
Paul Chiu
action filter_type
action find
entity Paul Chiu
relation member of political party
type political organization
['Paul Chiu', 'member of political party', {'concept': 'political organization'}]
SELECT DISTINCT ?m WHERE { resource:Paul_Chiu property:member_of_political_party ?m . ?m rdf:type ontology:political_organization }
[]
political organization
Q31113
SYSTEM
Kuomintang
Q31113
(Q8273178,P102,c(Q7210356))
action filter_type
action find
entity Q8273178
relation P102
type Q7210356
Paul Chiu belongs to [ANSWER]
['Q8273178', 'P102', {'concept': 'Q7210356'}]
SELECT DISTINCT ?m WHERE { resource:Q8273178 property:P102 ?m . ?m rdf:type ontology:Q7210356 }
Kuomintang
Paul Chiu belongs to Kuomintang
Kuomintang
action filter_type
action find
entity Paul Chiu
relation member of political party
type political organization
['Paul Chiu', 'member of political party', {'concept': 'political organization'}]
SELECT DISTINCT ?m WHERE { resource:Paul_Chiu property:member_of_political_party ?m . ?m rdf:type ontology:political_organization }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q8273178
P69
Q3918
USER
Which university was that person educated at ?
(Q31113,P69,c(Q3918))
action filter_type
action find
entity Q8273178
relation P69
type Q3918
['Q31113', 'P69', {'concept': 'Q3918'}]
SELECT DISTINCT ?f WHERE { resource:Q8273178 property:P69 ?f . ?f rdf:type ontology:Q3918 }
Paul Chiu
action filter_type
action find
entity Paul Chiu
relation educated at
type university
['Kuomintang', 'educated at', {'concept': 'university'}]
SELECT DISTINCT ?f WHERE { resource:Paul_Chiu property:educated_at ?f . ?f rdf:type ontology:university }
[]
university
Q309331
SYSTEM
Ohio State University
Q309331
(Q31113,P69,c(Q3918))
action filter_type
action find
entity Q8273178
relation P69
type Q3918
That person was educated at [ANSWER]
['Q31113', 'P69', {'concept': 'Q3918'}]
SELECT DISTINCT ?f WHERE { resource:Q8273178 property:P69 ?f . ?f rdf:type ontology:Q3918 }
Ohio State University
That person was educated at Ohio State University
Ohio State University
action filter_type
action find
entity Paul Chiu
relation educated at
type university
['Kuomintang', 'educated at', {'concept': 'university'}]
SELECT DISTINCT ?f WHERE { resource:Paul_Chiu property:educated_at ?f . ?f rdf:type ontology:university }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation|Incomplete
Q24572275 Q8273178
P69
Q3918
USER
And also Hsieh Shou-shing
AND((Q8273178,P69,c(Q3918)), (Q24572275,P69,c(Q3918)))
action filter_type
action intersection
action find
entity Q8273178
relation P69
action find
entity Q24572275
relation P69
type Q3918
{'AND': [['Q8273178', 'P69', {'concept': 'Q3918'}], ['Q24572275', 'P69', {'concept': 'Q3918'}]]}
SELECT DISTINCT ?b WHERE { resource:Q8273178 property:P69 ?b . resource:Q24572275 property:P69 ?b . ?b rdf:type ontology:Q3918 }
Hsieh Shou-shing Paul Chiu
action filter_type
action intersection
action find
entity Paul Chiu
relation educated at
action find
entity Hsieh Shou-shing
relation educated at
type university
{'AND': [['Paul Chiu', 'educated at', {'concept': 'university'}], ['Hsieh Shou-shing', 'educated at', {'concept': 'university'}]]}
SELECT DISTINCT ?b WHERE { resource:Paul_Chiu property:educated_at ?b . resource:Hsieh_Shou-shing property:educated_at ?b . ?b rdf:type ontology:university }
[]
university
Q309331
SYSTEM
Ohio State University
Q309331
AND((Q8273178,P69,c(Q3918)), (Q24572275,P69,c(Q3918)))
action filter_type
action intersection
action find
entity Q8273178
relation P69
action find
entity Q24572275
relation P69
type Q3918
[ANSWER]
{'AND': [['Q8273178', 'P69', {'concept': 'Q3918'}], ['Q24572275', 'P69', {'concept': 'Q3918'}]]}
SELECT DISTINCT ?b WHERE { resource:Q8273178 property:P69 ?b . resource:Q24572275 property:P69 ?b . ?b rdf:type ontology:Q3918 }
Ohio State University
Ohio State University
action filter_type
action intersection
action find
entity Paul Chiu
relation educated at
action find
entity Hsieh Shou-shing
relation educated at
type university
{'AND': [['Paul Chiu', 'educated at', {'concept': 'university'}], ['Hsieh Shou-shing', 'educated at', {'concept': 'university'}]]}
SELECT DISTINCT ?b WHERE { resource:Paul_Chiu property:educated_at ?b . resource:Hsieh_Shou-shing property:educated_at ?b . ?b rdf:type ontology:university }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q309331 Q883333
P463
Q874405
USER
Was that university a member of Deutsche Gesellschaft für Geowissenschaften ?
(Q309331,P463,Q883333)
action is_in
entity Q883333
action find
entity Q309331
relation P463
['Q309331', 'P463', 'Q883333']
ASK WHERE { resource:Q309331 property:P463 resource:Q883333 }
Ohio State University Deutsche Gesellschaft für Geowissenschaften
action is_in
entity Deutsche Gesellschaft für Geowissenschaften
action find
entity Ohio State University
relation member of
['Ohio State University', 'member of', 'Deutsche Gesellschaft für Geowissenschaften']
ASK WHERE { resource:Ohio_State_University property:member_of resource:Deutsche_Gesellschaft_für_Geowissenschaften }
[]
social group
SYSTEM
NO
(Q309331,P463,Q883333)
action is_in
entity Q883333
action find
entity Q309331
relation P463
[ANSWER]
['Q309331', 'P463', 'Q883333']
ASK WHERE { resource:Q309331 property:P463 resource:Q883333 }
No
action is_in
entity Deutsche Gesellschaft für Geowissenschaften
action find
entity Ohio State University
relation member of
['Ohio State University', 'member of', 'Deutsche Gesellschaft für Geowissenschaften']
ASK WHERE { resource:Ohio_State_University property:member_of resource:Deutsche_Gesellschaft_für_Geowissenschaften }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q309331
P355
Q2221906
USER
Which geographic locations are the subordinates of Ohio State University ?
(Q309331,P355,c(Q2221906))
action filter_type
action find
entity Q309331
relation P355
type Q2221906
['Q309331', 'P355', {'concept': 'Q2221906'}]
SELECT DISTINCT ?k WHERE { resource:Q309331 property:P355 ?k . ?k rdf:type ontology:Q2221906 }
Ohio State University
action filter_type
action find
entity Ohio State University
relation subsidiary
type geographic location
['Ohio State University', 'subsidiary', {'concept': 'geographic location'}]
SELECT DISTINCT ?k WHERE { resource:Ohio_State_University property:subsidiary ?k . ?k rdf:type ontology:geographic_location }
[]
geographic location
Q7080963 Q7080961
SYSTEM
Ohio State University, Newark Campus, Ohio State University, Mansfield Campus
Q7080963 Q7080961
(Q309331,P355,c(Q2221906))
action filter_type
action find
entity Q309331
relation P355
type Q2221906
[ANSWERS]
['Q309331', 'P355', {'concept': 'Q2221906'}]
SELECT DISTINCT ?k WHERE { resource:Q309331 property:P355 ?k . ?k rdf:type ontology:Q2221906 }
Ohio State University, Newark Campus Ohio State University, Mansfield Campus
Ohio State University, Newark Campus and Ohio State University, Mansfield Campus are the subordinates of Ohio State University
Ohio State University, Newark Campus Ohio State University, Mansfield Campus
action filter_type
action find
entity Ohio State University
relation subsidiary
type geographic location
['Ohio State University', 'subsidiary', {'concept': 'geographic location'}]
SELECT DISTINCT ?k WHERE { resource:Ohio_State_University property:subsidiary ?k . ?k rdf:type ontology:geographic_location }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q309331
P355
Q3918
USER
Are those geographic locations the subsidiary of Ohio State University ?
(Q309331,P355,Q7080963) (Q309331,P355,Q7080961)
action is_in
entity prev_answer
action find
entity Q309331
relation P355
['Q309331', 'P355', 'Q7080963'] ['Q309331', 'P355', 'Q7080961']
ASK WHERE { resource:Q309331 property:P355 ?y . VALUES ( ?y ) { ( resource:Q7080963 ) ( resource:Q7080961 ) } }
Ohio State University
action is_in
entity prev_answer
action find
entity Ohio State University
relation subsidiary
['Ohio State University', 'subsidiary', 'Ohio State University, Newark Campus'] ['Ohio State University', 'subsidiary', 'Ohio State University, Mansfield Campus']
ASK WHERE { resource:Ohio_State_University property:subsidiary ?y . VALUES ( ?y ) { ( resource:Ohio_State_University,_Newark_Campus ) ( resource:Ohio_State_University,_Mansfield_Campus ) } }
[]
university
SYSTEM
YES
(Q309331,P355,Q7080963) (Q309331,P355,Q7080961)
action is_in
entity prev_answer
action find
entity Q309331
relation P355
[ANSWER]
['Q309331', 'P355', 'Q7080963'] ['Q309331', 'P355', 'Q7080961']
ASK WHERE { resource:Q309331 property:P355 ?y . VALUES ( ?y ) { ( resource:Q7080963 ) ( resource:Q7080961 ) } }
Yes
action is_in
entity prev_answer
action find
entity Ohio State University
relation subsidiary
['Ohio State University', 'subsidiary', 'Ohio State University, Newark Campus'] ['Ohio State University', 'subsidiary', 'Ohio State University, Mansfield Campus']
ASK WHERE { resource:Ohio_State_University property:subsidiary ?y . VALUES ( ?y ) { ( resource:Ohio_State_University,_Newark_Campus ) ( resource:Ohio_State_University,_Mansfield_Campus ) } }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P361
Q2221906 Q355304 Q271669
USER
Which geographic locations are min number of watercourses and landforms a component of ?
(c(Q355304)|c(Q271669),P361,c(Q2221906))
action argmin
action union
action find_reverse_tuple_counts
relation P361
type Q2221906
type Q355304
action find_reverse_tuple_counts
relation P361
type Q2221906
type Q271669
[[{'concept': 'Q355304'}, {'concept': 'Q271669'}], 'P361', {'concept': 'Q2221906'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MIN ( ?x ) AS ?f ) { SELECT DISTINCT ( COUNT ( ?b ) AS ?x ) ?p WHERE { { ?b rdf:type ontology:Q355304 . ?p rdf:type ontology:Q2221906 . ?b property:P361 ?p } UNION { ?p rdf:type ontology:Q2221906 . ?b rdf:type ontology:Q271669 . ?b property:P361 ?p } } GROUP BY ?p } } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?n ) ?d WHERE { { ?a property:P361 ?d . ?d rdf:type ontology:Q2221906 . ?a rdf:type ontology:Q355304 } UNION { ?a property:P361 ?d . ?d rdf:type ontology:Q2221906 . ?a rdf:type ontology:Q271669 } } GROUP BY ?d } . FILTER ( ?n = ?f ) }
action argmin
action union
action find_reverse_tuple_counts
relation part of
type geographic location
type watercourse
action find_reverse_tuple_counts
relation part of
type geographic location
type landform
[[{'concept': 'watercourse'}, {'concept': 'landform'}], 'part of', {'concept': 'geographic location'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MIN ( ?x ) AS ?f ) { SELECT DISTINCT ( COUNT ( ?b ) AS ?x ) ?p WHERE { { ?b rdf:type ontology:watercourse . ?p rdf:type ontology:geographic_location . ?b property:part_of ?p } UNION { ?p rdf:type ontology:geographic_location . ?b rdf:type ontology:landform . ?b property:part_of ?p } } GROUP BY ?p } } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?n ) ?d WHERE { { ?a property:part_of ?d . ?d rdf:type ontology:geographic_location . ?a rdf:type ontology:watercourse } UNION { ?a property:part_of ?d . ?d rdf:type ontology:geographic_location . ?a rdf:type ontology:landform } } GROUP BY ?d } . FILTER ( ?n = ?f ) }
[]
geographic location watercourse landform
Q27561 Q48 Q18869
SYSTEM
Caribbean Netherlands, Asia, Caucasus
Q333934 Q6003861 Q15262083 Q431907 Q14705286 Q5928845 Q2907148 Q27468 Q866405 Q596660 Q6800778 Q27509 Q7655810 Q5167046 Q2915499 Q14685019 Q5263636 Q6794458 Q7204 Q1998580 Q7856755 Q632014 Q6403747 Q4921533 Q636672 Q121359 Q179842 Q1349167 Q184430 Q1551170 Q5328630 Q5127364 Q21195 Q621805 Q5031650 Q46 Q4345530 Q3960 Q7678507 Q3427382 Q6721952 Q27381 Q896446 Q48 Q10334749 Q148571 Q4878060 Q4920954 Q272921 Q294440 Q7968217 Q5063897 Q828 Q7619592 Q1471568 Q7081788 Q5884642 Q7332669 Q49 Q4272468 Q538 Q2035462 Q5598693 Q186545 Q12511 Q664609 Q165269 Q7811491 Q5347682 Q7995202 Q1997843 Q24460 Q148124 Q7793408 Q2915691 Q44497 Q29223 Q4754085 Q999039 Q14204659 Q236118 Q153809 Q5146969 Q181386 Q5929184 Q6462724 Q2380693 Q7907867 Q401815 Q12585 Q1998497 Q4996620 Q7015155 Q7971575 Q483242 Q46519 Q37654 Q2721679 Q1635387 Q27275 Q326359 Q7101759 Q7884747 Q2680496 Q18869 Q15 Q475403 Q495241 Q811979 Q4996619 Q6729888 Q15266363 Q7427749 Q12060726 Q76034 Q1084560 Q4194 Q7974815 Q5596417 Q6391312 Q7107526 Q850245 Q6858288 Q883889 Q623465 Q142965 Q5160326 Q771405 Q45256 Q14324291 Q7699945 Q262269 Q2841975 Q4147903 Q6405955 Q5089568 Q27449 Q875134 Q805727 Q5173256 Q2354215 Q6537223 Q7600178 Q7191545 Q5346101 Q257376 Q897168 Q27561 Q5139816 Q166620 Q7493250 Q7205132 Q2565366 Q205895 Q14706057 Q914711 Q6875911 Q5317255 Q6649061 Q753162 Q5002820 Q26824 Q194188 Q5401 Q6935461 Q719456
(c(Q355304)|c(Q271669),P361,c(Q2221906))
action argmin
action union
action find_reverse_tuple_counts
relation P361
type Q2221906
type Q355304
action find_reverse_tuple_counts
relation P361
type Q2221906
type Q271669
[ANSWERS] are min number of watercourses and landforms a component of
[[{'concept': 'Q355304'}, {'concept': 'Q271669'}], 'P361', {'concept': 'Q2221906'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MIN ( ?x ) AS ?f ) { SELECT DISTINCT ( COUNT ( ?b ) AS ?x ) ?p WHERE { { ?b rdf:type ontology:Q355304 . ?p rdf:type ontology:Q2221906 . ?b property:P361 ?p } UNION { ?p rdf:type ontology:Q2221906 . ?b rdf:type ontology:Q271669 . ?b property:P361 ?p } } GROUP BY ?p } } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?n ) ?d WHERE { { ?a property:P361 ?d . ?d rdf:type ontology:Q2221906 . ?a rdf:type ontology:Q355304 } UNION { ?a property:P361 ?d . ?d rdf:type ontology:Q2221906 . ?a rdf:type ontology:Q271669 } } GROUP BY ?d } . FILTER ( ?n = ?f ) }
Swiss Plateau Imeon Range New Museums Site Sierra de la Culata Toquima Range Hudson River Historic District Raritan Bay Eastern Europe East Antarctica New Territories McCullough Range Central Europe Sweetwater Mountains Cookes Range Upper Galilee Never Summer Mountains Desatoya Mountains Mawson Escarpment Middle East Northern Black Forest Tushar Mountains Mid-Atlantic States Kiamichi Mountains Black Range Sierra Nevada de Mérida infrastructure Tibetan Plateau ground station Zeelandic Flanders Palmer Land East Humboldt Range Clark Range Scandinavia Pisidia Candelaria Hills Europe Northern Italy Australia Takshanuk Mountains Kirwan Escarpment MacIntyre Mountains North Africa Upland Asia Memphite necropolis fence Beaver Dam Mountains Black Hills Badlands public space Wapack Range Cerbat Mountains Americas Stony Point Battlefield Old Babylonian Empire Okanagan Highland Holtedahl Peaks Ridge-and-Valley Appalachians North America Lyab-i Hauz Oceania Ostfeste Great Balsam Mountains Midwestern United States stairs Caribbean East Frisia Tobacco Root Mountains Egan Range White Pine Range North Eifel Northeastern United States Sorica Thomas Range Lower Galilee mining Theban Necropolis Anderson Heights Bay of Sevastopol Badlands and Black Hills Southern Cone Tyrol Collegiate Peaks Eastern Ukraine Hueco Mountains La Garita Mountains South Eifel Vaca Mountains Columbia Plateau Latin America North Eastern Europe Bull Run Mountains New York–New Jersey Highlands Washington's Crossing laboratory Southern Germany market Warner Mountains Southern Black Forest Central Asia Palatinate Organ Mountains Unicoi Mountains Pasteur Peninsula Caucasus Africa Bernese Oberland Gyeongju Historic Areas architectural structure Bull Run Mountains Magdalena Mountains Pilot Range (New Hampshire) Savage Mountain Indian River Lagoon Canadian Shield Northwest Highlands Sauerland Watson Escarpment Grant Range Kenosha Mountains Ossipee Mountains Fouta Djallon Mill Creek Mountain Calenberg Land Wasatch Front Portuguese Timor Confusion Range South Asia Australasia South European Russia Tenmile Range Farther Pomerania Franklin Mountains Borders of the Roman Empire Kigluaik Mountains Chehalem Mountains Southern Europe European Russia Baltics Cortez Mountains Central London Lewis and Clark Range Stansbury Mountains Piedmont region of Virginia Edwards Gymnasium/Pfieffer Natatorium Bavarian Alpine Foreland High Eifel Caribbean Netherlands Coconino Plateau drainage basin Shekerley Mountains Plott Balsams West Hesse Depression landmass Manzano Mountains transmission tower Misquah Hills Dutch Caribbean Little Belt Mountains Sacri Monti of Piedmont and Lombardy Butte des Morts Alentejo spaceport Eurasia Mummy Range station
Caribbean Netherlands, Asia and Caucasus are min number of watercourses and landforms a component of
Caribbean Netherlands Asia Caucasus
action argmin
action union
action find_reverse_tuple_counts
relation part of
type geographic location
type watercourse
action find_reverse_tuple_counts
relation part of
type geographic location
type landform
[[{'concept': 'watercourse'}, {'concept': 'landform'}], 'part of', {'concept': 'geographic location'}]
SELECT DISTINCT ?d WHERE { { SELECT DISTINCT ( MIN ( ?x ) AS ?f ) { SELECT DISTINCT ( COUNT ( ?b ) AS ?x ) ?p WHERE { { ?b rdf:type ontology:watercourse . ?p rdf:type ontology:geographic_location . ?b property:part_of ?p } UNION { ?p rdf:type ontology:geographic_location . ?b rdf:type ontology:landform . ?b property:part_of ?p } } GROUP BY ?p } } . { SELECT DISTINCT ( COUNT ( ?a ) AS ?n ) ?d WHERE { { ?a property:part_of ?d . ?d rdf:type ontology:geographic_location . ?a rdf:type ontology:watercourse } UNION { ?a property:part_of ?d . ?d rdf:type ontology:geographic_location . ?a rdf:type ontology:landform } } GROUP BY ?d } . FILTER ( ?n = ?f ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q27561
P706
Q2221906
USER
Which is the geographic location in which Caribbean Netherlands is located on ?
(Q27561,P706,c(Q2221906))
action filter_type
action find
entity Q27561
relation P706
type Q2221906
['Q27561', 'P706', {'concept': 'Q2221906'}]
SELECT DISTINCT ?e WHERE { resource:Q27561 property:P706 ?e . ?e rdf:type ontology:Q2221906 }
Caribbean Netherlands
action filter_type
action find
entity Caribbean Netherlands
relation located on terrain feature
type geographic location
['Caribbean Netherlands', 'located on terrain feature', {'concept': 'geographic location'}]
SELECT DISTINCT ?e WHERE { resource:Caribbean_Netherlands property:located_on_terrain_feature ?e . ?e rdf:type ontology:geographic_location }
[]
geographic location
Q664609
SYSTEM
Caribbean
Q664609
(Q27561,P706,c(Q2221906))
action filter_type
action find
entity Q27561
relation P706
type Q2221906
[ANSWER]
['Q27561', 'P706', {'concept': 'Q2221906'}]
SELECT DISTINCT ?e WHERE { resource:Q27561 property:P706 ?e . ?e rdf:type ontology:Q2221906 }
Caribbean
Caribbean
Caribbean
action filter_type
action find
entity Caribbean Netherlands
relation located on terrain feature
type geographic location
['Caribbean Netherlands', 'located on terrain feature', {'concept': 'geographic location'}]
SELECT DISTINCT ?e WHERE { resource:Caribbean_Netherlands property:located_on_terrain_feature ?e . ?e rdf:type ontology:geographic_location }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q664609
P30
Q2221906
USER
Which geographic location is that one located in ?
(Q664609,P30,c(Q2221906))
action filter_type
action find
entity Q664609
relation P30
type Q2221906
['Q664609', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?n WHERE { resource:Q664609 property:P30 ?n . ?n rdf:type ontology:Q2221906 }
Caribbean
action filter_type
action find
entity Caribbean
relation continent
type geographic location
['Caribbean', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?n WHERE { resource:Caribbean property:continent ?n . ?n rdf:type ontology:geographic_location }
[]
geographic location
Q49
SYSTEM
North America
Q49
(Q664609,P30,c(Q2221906))
action filter_type
action find
entity Q664609
relation P30
type Q2221906
That one is located in [ANSWER]
['Q664609', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?n WHERE { resource:Q664609 property:P30 ?n . ?n rdf:type ontology:Q2221906 }
North America
That one is located in North America
North America
action filter_type
action find
entity Caribbean
relation continent
type geographic location
['Caribbean', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?n WHERE { resource:Caribbean property:continent ?n . ?n rdf:type ontology:geographic_location }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q193619
Q2221906
USER
And also tell me about Union of South Africa?
(Q193619,P30,c(Q2221906))
action filter_type
action find
entity Q193619
relation P30
type Q2221906
['Q193619', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?j WHERE { resource:Q193619 property:P30 ?j . ?j rdf:type ontology:Q2221906 }
Union of South Africa
action filter_type
action find
entity Union of South Africa
relation continent
type geographic location
['Union of South Africa', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?j WHERE { resource:Union_of_South_Africa property:continent ?j . ?j rdf:type ontology:geographic_location }
[]
geographic location
Q15
SYSTEM
Africa
Q15
(Q193619,P30,c(Q2221906))
action filter_type
action find
entity Q193619
relation P30
type Q2221906
[ANSWER]
['Q193619', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?j WHERE { resource:Q193619 property:P30 ?j . ?j rdf:type ontology:Q2221906 }
Africa
Africa
action filter_type
action find
entity Union of South Africa
relation continent
type geographic location
['Union of South Africa', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?j WHERE { resource:Union_of_South_Africa property:continent ?j . ?j rdf:type ontology:geographic_location }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q15 Q7057317
P361
Q2221906
USER
Is that one a part of North West Side ?
(Q15,P361,Q7057317)
action is_in
entity Q7057317
action find
entity Q15
relation P361
['Q15', 'P361', 'Q7057317']
ASK WHERE { resource:Q15 property:P361 resource:Q7057317 }
Africa North West Side
action is_in
entity North West Side
action find
entity Africa
relation part of
['Africa', 'part of', 'North West Side']
ASK WHERE { resource:Africa property:part_of resource:North_West_Side }
[]
geographic location
SYSTEM
NO
(Q15,P361,Q7057317)
action is_in
entity Q7057317
action find
entity Q15
relation P361
[ANSWER]
['Q15', 'P361', 'Q7057317']
ASK WHERE { resource:Q15 property:P361 resource:Q7057317 }
No
action is_in
entity North West Side
action find
entity Africa
relation part of
['Africa', 'part of', 'North West Side']
ASK WHERE { resource:Africa property:part_of resource:North_West_Side }
[]