Simple Question (Direct)
Simple Question
Q3296584
P641
Q31629
USER
What did Ibrahim Ismail Muftah participate in ?
(Q3296584,P641,c(Q31629))
action filter_type
action find
entity Q3296584
relation P641
type Q31629
['Q3296584', 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ?x WHERE { resource:Q3296584 property:P641 ?x . ?x rdf:type ontology:Q31629 }
Ibrahim Ismail Muftah
action filter_type
action find
entity Ibrahim Ismail Muftah
relation sport
type type of sport
['Ibrahim Ismail Muftah', 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ?x WHERE { resource:Ibrahim_Ismail_Muftah property:sport ?x . ?x rdf:type ontology:type_of_sport }
[]
type of sport
Q542
SYSTEM
athletics
Q542
(Q3296584,P641,c(Q31629))
action filter_type
action find
entity Q3296584
relation P641
type Q31629
Ibrahim Ismail Muftah participated in [ANSWER]
['Q3296584', 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ?x WHERE { resource:Q3296584 property:P641 ?x . ?x rdf:type ontology:Q31629 }
athletics
Ibrahim Ismail Muftah participated in athletics
athletics
action filter_type
action find
entity Ibrahim Ismail Muftah
relation sport
type type of sport
['Ibrahim Ismail Muftah', 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ?x WHERE { resource:Ibrahim_Ismail_Muftah property:sport ?x . ?x rdf:type ontology:type_of_sport }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q3296584
P27
Q183366
USER
Which territory is the native country of that person ?
(Q542,P27,c(Q183366))
action filter_type
action find
entity Q3296584
relation P27
type Q183366
['Q542', 'P27', {'concept': 'Q183366'}]
SELECT DISTINCT ?e WHERE { resource:Q3296584 property:P27 ?e . ?e rdf:type ontology:Q183366 }
Ibrahim Ismail Muftah
action filter_type
action find
entity Ibrahim Ismail Muftah
relation country of citizenship
type territory
['athletics', 'country of citizenship', {'concept': 'territory'}]
SELECT DISTINCT ?e WHERE { resource:Ibrahim_Ismail_Muftah property:country_of_citizenship ?e . ?e rdf:type ontology:territory }
[]
territory
Q846
SYSTEM
Qatar
Q846
(Q542,P27,c(Q183366))
action filter_type
action find
entity Q3296584
relation P27
type Q183366
[ANSWER] is the native country of that person
['Q542', 'P27', {'concept': 'Q183366'}]
SELECT DISTINCT ?e WHERE { resource:Q3296584 property:P27 ?e . ?e rdf:type ontology:Q183366 }
Qatar
Qatar is the native country of that person
Qatar
action filter_type
action find
entity Ibrahim Ismail Muftah
relation country of citizenship
type territory
['athletics', 'country of citizenship', {'concept': 'territory'}]
SELECT DISTINCT ?e WHERE { resource:Ibrahim_Ismail_Muftah property:country_of_citizenship ?e . ?e rdf:type ontology:territory }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q335638
P641
Q31629 Q18608583 Q13406554
USER
How many types of sport did less number of recurring sporting events or sport competitions participate in than cyclo-cross ?
(c(Q18608583)|c(Q13406554),P641,c(Q31629))
action count
action less
action union
action find_reverse_tuple_counts
relation P641
type Q31629
type Q18608583
action find_reverse_tuple_counts
relation P641
type Q31629
type Q13406554
action count
action filter_multi_types
action find_reverse
entity Q335638
relation P641
type Q18608583
type Q13406554
[[{'concept': 'Q18608583'}, {'concept': 'Q13406554'}], 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?o ) WHERE { FILTER ( ?g < ?x ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?x ) WHERE { ?l property:P641 resource:Q335638 . { VALUES ( ?y ) { ( ontology:Q18608583 ) ( ontology:Q13406554 ) } . ?l rdf:type ?y } } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?g ) ?r WHERE { VALUES ( ?h ) { ( ontology:Q18608583 ) ( ontology:Q13406554 ) } . ?j rdf:type ?h } GROUP BY ?r } }
cyclo-cross
action count
action less
action union
action find_reverse_tuple_counts
relation sport
type type of sport
type recurring sporting event
action find_reverse_tuple_counts
relation sport
type type of sport
type sport competition
action count
action filter_multi_types
action find_reverse
entity cyclo-cross
relation sport
type recurring sporting event
type sport competition
[[{'concept': 'recurring sporting event'}, {'concept': 'sport competition'}], 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?o ) WHERE { FILTER ( ?g < ?x ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?x ) WHERE { ?l property:sport resource:cyclo-cross . { VALUES ( ?y ) { ( ontology:recurring_sporting_event ) ( ontology:sport_competition ) } . ?l rdf:type ?y } } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?g ) ?r WHERE { VALUES ( ?h ) { ( ontology:recurring_sporting_event ) ( ontology:sport_competition ) } . ?j rdf:type ?h } GROUP BY ?r } }
[]
type of sport recurring sporting event sport competition
SYSTEM
74
Q271008 Q637186 Q170004 Q1666862 Q1154336 Q243264 Q472827 Q10980 Q217108 Q164731 Q11706688 Q14085739 Q631004 Q672066 Q1293 Q29358 Q211155 Q191691 Q3817372 Q178131 Q187916 Q1320458 Q215184 Q1031445 Q219554 Q32485 Q706199 Q919072 Q216613 Q207238 Q2094083 Q675770 Q692853 Q189472 Q180692 Q327223 Q165704 Q1049443 Q2328286 Q2164355 Q917562 Q164761 Q1798044 Q718 Q1209037 Q179687 Q1707432 Q352749 Q272460 Q1075998 Q1141850 Q774176 Q1629556 Q14554839 Q172809 Q16629853 Q1423069 Q186222 Q2261949 Q11020 Q453778 Q163892 Q1156722 Q779272 Q273285 Q50620 Q31987 Q2891117 Q179226 Q1128216 Q7735 Q428242 Q162883 Q5300110
(c(Q18608583)|c(Q13406554),P641,c(Q31629))
action count
action less
action union
action find_reverse_tuple_counts
relation P641
type Q31629
type Q18608583
action find_reverse_tuple_counts
relation P641
type Q31629
type Q13406554
action count
action filter_multi_types
action find_reverse
entity Q335638
relation P641
type Q18608583
type Q13406554
[ANSWER]
[[{'concept': 'Q18608583'}, {'concept': 'Q13406554'}], 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?o ) WHERE { FILTER ( ?g < ?x ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?x ) WHERE { ?l property:P641 resource:Q335638 . { VALUES ( ?y ) { ( ontology:Q18608583 ) ( ontology:Q13406554 ) } . ?l rdf:type ?y } } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?g ) ?r WHERE { VALUES ( ?h ) { ( ontology:Q18608583 ) ( ontology:Q13406554 ) } . ?j rdf:type ?h } GROUP BY ?r } }
800 metres grass skiing 110 metres hurdles International rules football rock climbing heptathlon waterskiing triathlon airsoft 100 metres hurdles sprinting sailing open water swimming downhill mountain biking draughts orienteering 200 metres 1500 metres beach run snowboarding horse racing Ice yachting bicycle motocross cross-country cycling kite surfing modern pentathlon nine-pin bowling sporting clays Nordic skiing rafting kayaking stadion Flag football freestyle skiing synchronized swimming freestyle wrestling high jump Acrobatic gymnastics skeet shooting roller sport carom billiards 100 metres Olympic skeet chess Modern competitive archery cross-country skiing roller skating sprint Pilates ski mountaineering canoe racing Keirin 1000 metres competitive fencing ten-pin bowling Mixed Doubles canoe camping alpine skiing para cycling pool Roller skiing 10,000 metres Sport aerobics ice skating luge Telemark skiing freestyle swimming dragon boat sport equestrianism wheelchair basketball diving ski-orienteering free climbing double trap
74
action count
action less
action union
action find_reverse_tuple_counts
relation sport
type type of sport
type recurring sporting event
action find_reverse_tuple_counts
relation sport
type type of sport
type sport competition
action count
action filter_multi_types
action find_reverse
entity cyclo-cross
relation sport
type recurring sporting event
type sport competition
[[{'concept': 'recurring sporting event'}, {'concept': 'sport competition'}], 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ( COUNT ( ?r ) AS ?o ) WHERE { FILTER ( ?g < ?x ) . { SELECT DISTINCT ( COUNT ( ?l ) AS ?x ) WHERE { ?l property:sport resource:cyclo-cross . { VALUES ( ?y ) { ( ontology:recurring_sporting_event ) ( ontology:sport_competition ) } . ?l rdf:type ?y } } } . { SELECT DISTINCT ( COUNT ( ?j ) AS ?g ) ?r WHERE { VALUES ( ?h ) { ( ontology:recurring_sporting_event ) ( ontology:sport_competition ) } . ?j rdf:type ?h } GROUP BY ?r } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q186222
P641
Q31629 Q18608583 Q13406554
USER
And what about alpine skiing?
(c(Q18608583)|c(Q13406554),P641,c(Q31629))
action count
action less
action union
action find_reverse_tuple_counts
relation P641
type Q31629
type Q18608583
action find_reverse_tuple_counts
relation P641
type Q31629
type Q13406554
action count
action filter_multi_types
action find_reverse
entity Q186222
relation P641
type Q18608583
type Q13406554
[[{'concept': 'Q18608583'}, {'concept': 'Q13406554'}], 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?q ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?y ) ?s WHERE { { ?o property:P641 ?s . ?s rdf:type ontology:Q31629 . ?o rdf:type ontology:Q18608583 } UNION { ?o rdf:type ontology:Q13406554 . ?s rdf:type ontology:Q31629 . ?o property:P641 ?s } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?k ) WHERE { ?l property:P641 resource:Q186222 . { { ?l rdf:type ontology:Q18608583 } UNION { ?l rdf:type ontology:Q13406554 } } } } . FILTER ( ?y < ?k ) }
alpine skiing
action count
action less
action union
action find_reverse_tuple_counts
relation sport
type type of sport
type recurring sporting event
action find_reverse_tuple_counts
relation sport
type type of sport
type sport competition
action count
action filter_multi_types
action find_reverse
entity alpine skiing
relation sport
type recurring sporting event
type sport competition
[[{'concept': 'recurring sporting event'}, {'concept': 'sport competition'}], 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?q ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?y ) ?s WHERE { { ?o property:sport ?s . ?s rdf:type ontology:type_of_sport . ?o rdf:type ontology:recurring_sporting_event } UNION { ?o rdf:type ontology:sport_competition . ?s rdf:type ontology:type_of_sport . ?o property:sport ?s } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?k ) WHERE { ?l property:sport resource:alpine_skiing . { { ?l rdf:type ontology:recurring_sporting_event } UNION { ?l rdf:type ontology:sport_competition } } } } . FILTER ( ?y < ?k ) }
[]
type of sport recurring sporting event sport competition
SYSTEM
61
Q271008 Q637186 Q170004 Q1666862 Q1154336 Q243264 Q472827 Q217108 Q164731 Q11706688 Q631004 Q672066 Q29358 Q211155 Q191691 Q3817372 Q178131 Q187916 Q1320458 Q215184 Q1031445 Q219554 Q706199 Q919072 Q207238 Q2094083 Q675770 Q692853 Q189472 Q180692 Q165704 Q1049443 Q2328286 Q2164355 Q917562 Q164761 Q1798044 Q1209037 Q1707432 Q352749 Q272460 Q1075998 Q1141850 Q774176 Q1629556 Q14554839 Q1423069 Q2261949 Q453778 Q163892 Q1156722 Q779272 Q273285 Q50620 Q31987 Q2891117 Q179226 Q7735 Q428242 Q162883 Q5300110
(c(Q18608583)|c(Q13406554),P641,c(Q31629))
action count
action less
action union
action find_reverse_tuple_counts
relation P641
type Q31629
type Q18608583
action find_reverse_tuple_counts
relation P641
type Q31629
type Q13406554
action count
action filter_multi_types
action find_reverse
entity Q186222
relation P641
type Q18608583
type Q13406554
[ANSWER]
[[{'concept': 'Q18608583'}, {'concept': 'Q13406554'}], 'P641', {'concept': 'Q31629'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?q ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?y ) ?s WHERE { { ?o property:P641 ?s . ?s rdf:type ontology:Q31629 . ?o rdf:type ontology:Q18608583 } UNION { ?o rdf:type ontology:Q13406554 . ?s rdf:type ontology:Q31629 . ?o property:P641 ?s } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?k ) WHERE { ?l property:P641 resource:Q186222 . { { ?l rdf:type ontology:Q18608583 } UNION { ?l rdf:type ontology:Q13406554 } } } } . FILTER ( ?y < ?k ) }
800 metres grass skiing 110 metres hurdles International rules football rock climbing heptathlon waterskiing airsoft 100 metres hurdles sprinting open water swimming downhill mountain biking orienteering 200 metres 1500 metres beach run snowboarding horse racing Ice yachting bicycle motocross cross-country cycling kite surfing nine-pin bowling sporting clays rafting kayaking stadion Flag football freestyle skiing synchronized swimming high jump Acrobatic gymnastics skeet shooting roller sport carom billiards 100 metres Olympic skeet Modern competitive archery roller skating sprint Pilates ski mountaineering canoe racing Keirin 1000 metres competitive fencing canoe camping para cycling Roller skiing 10,000 metres Sport aerobics ice skating luge Telemark skiing freestyle swimming dragon boat sport equestrianism diving ski-orienteering free climbing double trap
61
action count
action less
action union
action find_reverse_tuple_counts
relation sport
type type of sport
type recurring sporting event
action find_reverse_tuple_counts
relation sport
type type of sport
type sport competition
action count
action filter_multi_types
action find_reverse
entity alpine skiing
relation sport
type recurring sporting event
type sport competition
[[{'concept': 'recurring sporting event'}, {'concept': 'sport competition'}], 'sport', {'concept': 'type of sport'}]
SELECT DISTINCT ( COUNT ( ?s ) AS ?q ) WHERE { { SELECT DISTINCT ( COUNT ( ?o ) AS ?y ) ?s WHERE { { ?o property:sport ?s . ?s rdf:type ontology:type_of_sport . ?o rdf:type ontology:recurring_sporting_event } UNION { ?o rdf:type ontology:sport_competition . ?s rdf:type ontology:type_of_sport . ?o property:sport ?s } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?l ) AS ?k ) WHERE { ?l property:sport resource:alpine_skiing . { { ?l rdf:type ontology:recurring_sporting_event } UNION { ?l rdf:type ontology:sport_competition } } } } . FILTER ( ?y < ?k ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q846
P610
Q14524493
USER
Which is the highest peak of Qatar ?
(Q846,P610,c(Q14524493))
action filter_type
action find
entity Q846
relation P610
type Q14524493
['Q846', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?b WHERE { resource:Q846 property:P610 ?b . ?b rdf:type ontology:Q14524493 }
Qatar
action filter_type
action find
entity Qatar
relation highest point
type terrain
['Qatar', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?b WHERE { resource:Qatar property:highest_point ?b . ?b rdf:type ontology:terrain }
[]
terrain
Q1633034
SYSTEM
Qurayn Abu al Bawl
Q1633034
(Q846,P610,c(Q14524493))
action filter_type
action find
entity Q846
relation P610
type Q14524493
The highest peak of Qatar is the [ANSWER]
['Q846', 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?b WHERE { resource:Q846 property:P610 ?b . ?b rdf:type ontology:Q14524493 }
Qurayn Abu al Bawl
The highest peak of Qatar is the Qurayn Abu al Bawl
Qurayn Abu al Bawl
action filter_type
action find
entity Qatar
relation highest point
type terrain
['Qatar', 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?b WHERE { resource:Qatar property:highest_point ?b . ?b rdf:type ontology:terrain }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1633034
P30
Q2221906
USER
Where is that terrain situated ?
(Q1633034,P30,c(Q2221906))
action filter_type
action find
entity Q1633034
relation P30
type Q2221906
['Q1633034', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?p WHERE { resource:Q1633034 property:P30 ?p . ?p rdf:type ontology:Q2221906 }
Qurayn Abu al Bawl
action filter_type
action find
entity Qurayn Abu al Bawl
relation continent
type geographic location
['Qurayn Abu al Bawl', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?p WHERE { resource:Qurayn_Abu_al_Bawl property:continent ?p . ?p rdf:type ontology:geographic_location }
[]
geographic location
Q48
SYSTEM
Asia
Q48
(Q1633034,P30,c(Q2221906))
action filter_type
action find
entity Q1633034
relation P30
type Q2221906
That terrain is situated in [ANSWER]
['Q1633034', 'P30', {'concept': 'Q2221906'}]
SELECT DISTINCT ?p WHERE { resource:Q1633034 property:P30 ?p . ?p rdf:type ontology:Q2221906 }
Asia
That terrain is situated in Asia
Asia
action filter_type
action find
entity Qurayn Abu al Bawl
relation continent
type geographic location
['Qurayn Abu al Bawl', 'continent', {'concept': 'geographic location'}]
SELECT DISTINCT ?p WHERE { resource:Qurayn_Abu_al_Bawl property:continent ?p . ?p rdf:type ontology:geographic_location }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q48 Q5401 Q14874585
P361
Q2221906
USER
Is that geographic location a portion of Eurasia and Custer Ridge ?
(Q48,P361,Q5401) (Q48,P361,Q14874585)
action is_in
entity Q48
action intersection
action find_reverse
entity Q5401
relation P361
action find_reverse
entity Q14874585
relation P361
['Q48', 'P361', 'Q5401'] ['Q48', 'P361', 'Q14874585']
ASK WHERE { resource:Q48 property:P361 resource:Q5401 . resource:Q48 property:P361 resource:Q14874585 }
Asia Eurasia Custer Ridge
action is_in
entity Asia
action intersection
action find_reverse
entity Eurasia
relation part of
action find_reverse
entity Custer Ridge
relation part of
['Asia', 'part of', 'Eurasia'] ['Asia', 'part of', 'Custer Ridge']
ASK WHERE { resource:Asia property:part_of resource:Eurasia . resource:Asia property:part_of resource:Custer_Ridge }
[]
geographic location
SYSTEM
YES and NO respectively
(Q48,P361,Q5401) (Q48,P361,Q14874585)
action is_in
entity Q48
action intersection
action find_reverse
entity Q5401
relation P361
action find_reverse
entity Q14874585
relation P361
[ANSWER]
['Q48', 'P361', 'Q5401'] ['Q48', 'P361', 'Q14874585']
ASK WHERE { resource:Q48 property:P361 resource:Q5401 . resource:Q48 property:P361 resource:Q14874585 }
YES and NO respectively
action is_in
entity Asia
action intersection
action find_reverse
entity Eurasia
relation part of
action find_reverse
entity Custer Ridge
relation part of
['Asia', 'part of', 'Eurasia'] ['Asia', 'part of', 'Custer Ridge']
ASK WHERE { resource:Asia property:part_of resource:Eurasia . resource:Asia property:part_of resource:Custer_Ridge }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q3296584 Q3861
P19
Q515
USER
Is Doha the place of birth of Ibrahim Ismail Muftah ?
(Q3296584,P19,Q3861)
action is_in
entity Q3861
action find
entity Q3296584
relation P19
['Q3296584', 'P19', 'Q3861']
ASK WHERE { resource:Q3296584 property:P19 resource:Q3861 }
Ibrahim Ismail Muftah Doha
action is_in
entity Doha
action find
entity Ibrahim Ismail Muftah
relation place of birth
['Ibrahim Ismail Muftah', 'place of birth', 'Doha']
ASK WHERE { resource:Ibrahim_Ismail_Muftah property:place_of_birth resource:Doha }
[]
city
SYSTEM
YES
(Q3296584,P19,Q3861)
action is_in
entity Q3861
action find
entity Q3296584
relation P19
[ANSWER]
['Q3296584', 'P19', 'Q3861']
ASK WHERE { resource:Q3296584 property:P19 resource:Q3861 }
Yes
action is_in
entity Doha
action find
entity Ibrahim Ismail Muftah
relation place of birth
['Ibrahim Ismail Muftah', 'place of birth', 'Doha']
ASK WHERE { resource:Ibrahim_Ismail_Muftah property:place_of_birth resource:Doha }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P138
Q14524493 Q486972 Q376799
USER
Which terrains are min number of human settlements and transport infrastructures named after ?
(c(Q486972)|c(Q376799),P138,c(Q14524493))
action argmin
action union
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q486972
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q376799
[[{'concept': 'Q486972'}, {'concept': 'Q376799'}], 'P138', {'concept': 'Q14524493'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) ?m WHERE { { ?p property:P138 ?m . ?m rdf:type ontology:Q14524493 . ?p rdf:type ontology:Q486972 } UNION { ?p property:P138 ?m . ?m rdf:type ontology:Q14524493 . ?p rdf:type ontology:Q376799 } } GROUP BY ?m } . FILTER ( ?b = ?w ) . { SELECT DISTINCT ( MIN ( ?q ) AS ?w ) { SELECT DISTINCT ( COUNT ( ?y ) AS ?q ) ?d WHERE { { ?y property:P138 ?d . ?d rdf:type ontology:Q14524493 . ?y rdf:type ontology:Q376799 } UNION { ?y property:P138 ?d . ?d rdf:type ontology:Q14524493 . ?y rdf:type ontology:Q486972 } } GROUP BY ?d } } }
action argmin
action union
action find_reverse_tuple_counts
relation named after
type terrain
type human settlement
action find_reverse_tuple_counts
relation named after
type terrain
type transport infrastructure
[[{'concept': 'human settlement'}, {'concept': 'transport infrastructure'}], 'named after', {'concept': 'terrain'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) ?m WHERE { { ?p property:named_after ?m . ?m rdf:type ontology:terrain . ?p rdf:type ontology:human_settlement } UNION { ?p property:named_after ?m . ?m rdf:type ontology:terrain . ?p rdf:type ontology:transport_infrastructure } } GROUP BY ?m } . FILTER ( ?b = ?w ) . { SELECT DISTINCT ( MIN ( ?q ) AS ?w ) { SELECT DISTINCT ( COUNT ( ?y ) AS ?q ) ?d WHERE { { ?y property:named_after ?d . ?d rdf:type ontology:terrain . ?y rdf:type ontology:transport_infrastructure } UNION { ?y property:named_after ?d . ?d rdf:type ontology:terrain . ?y rdf:type ontology:human_settlement } } GROUP BY ?d } } }
[]
terrain human settlement transport infrastructure
Q130018 Q39739 Q583
SYSTEM
Denali, Aconcagua, Mont Blanc
Q1483090 Q748040 Q130018 Q15814019 Q39739 Q437936 Q850051 Q207680 Q1301548 Q682985 Q11621750 Q956785 Q16831633 Q312818 Q215516 Q20875342 Q198751 Q134927 Q3133588 Q605382 Q314735 Q13676863 Q765482 Q371103 Q1836325 Q1334215 Q1425309 Q1329959 Q2568263 Q76309 Q217274 Q10670194 Q16532 Q2631149 Q6924093 Q959258 Q2649320 Q1545974 Q889136 Q1754806 Q3695513 Q703922 Q692712 Q881713 Q11437581 Q2392222 Q129296 Q1124852 Q1139060 Q770496 Q747656 Q256254 Q12881294 Q714555 Q217142 Q6583744 Q2607651 Q662715 Q650549 Q1623447 Q73077 Q1269725 Q1374 Q264772 Q105261 Q3303392 Q427604 Q21964389 Q1487002 Q1583095 Q1757192 Q21938901 Q4691173 Q131148 Q152933 Q1584890 Q654413 Q665042 Q415251 Q276057 Q715498 Q4863102 Q17630180 Q714564 Q2008252 Q583 Q303806 Q1374401 Q994059 Q1887525 Q1623742 Q1318242 Q17088970 Q2058032 Q1260256 Q15735687 Q1647370 Q22454092 Q720209 Q6922798 Q700092 Q1348310 Q7188265 Q23942339 Q1877583 Q772492 Q1529000 Q960584 Q607372 Q7430650 Q173880 Q1948974 Q2859578 Q2717091 Q1277 Q6921615 Q1018050 Q1312633 Q164561 Q21095014 Q673588 Q4026928 Q5059 Q1048234 Q1545475 Q557396 Q1698912 Q3321856 Q1152462 Q561875 Q882640 Q1334825 Q1250197 Q3323131 Q1593629 Q10728382 Q1191690 Q19637278 Q2427038 Q178443 Q1858056 Q464548 Q1801917 Q155030 Q994071 Q23802895 Q22952269 Q2134379 Q845990 Q7188244 Q653527 Q2533631 Q1404075 Q1723186 Q1637353 Q2480072 Q43299 Q724498 Q15115444 Q14901739 Q641162 Q732115 Q1886926 Q23645196 Q878081 Q825347 Q3695989 Q2256785 Q1149842 Q1548733 Q2436069 Q194057 Q13359059 Q673994 Q1538755 Q1950508 Q2731464 Q193785 Q17541 Q207323 Q15118162 Q1545452 Q188698 Q24273487 Q1723931 Q3174863 Q594147 Q6864195 Q1623814 Q835407 Q126804 Q43105 Q650402 Q1733970 Q667371 Q247726 Q827395 Q16524 Q16529 Q499521 Q458147 Q1542964 Q1448901 Q859718 Q18702542 Q985449 Q238147 Q577122 Q1254237 Q8553272 Q1237053 Q872247 Q419247 Q943209 Q23839192 Q22462853 Q107635 Q1138090 Q316401 Q714605 Q729873 Q1760736 Q1642362 Q671265 Q1930174 Q22547 Q528048 Q1422899 Q1713975 Q669271 Q23835377 Q3047571 Q666046 Q1879915 Q10577219 Q21091445 Q6583727 Q671486 Q2301875
(c(Q486972)|c(Q376799),P138,c(Q14524493))
action argmin
action union
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q486972
action find_reverse_tuple_counts
relation P138
type Q14524493
type Q376799
Min number of human settlements and transport infrastructures are named [ANSWERS]
[[{'concept': 'Q486972'}, {'concept': 'Q376799'}], 'P138', {'concept': 'Q14524493'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) ?m WHERE { { ?p property:P138 ?m . ?m rdf:type ontology:Q14524493 . ?p rdf:type ontology:Q486972 } UNION { ?p property:P138 ?m . ?m rdf:type ontology:Q14524493 . ?p rdf:type ontology:Q376799 } } GROUP BY ?m } . FILTER ( ?b = ?w ) . { SELECT DISTINCT ( MIN ( ?q ) AS ?w ) { SELECT DISTINCT ( COUNT ( ?y ) AS ?q ) ?d WHERE { { ?y property:P138 ?d . ?d rdf:type ontology:Q14524493 . ?y rdf:type ontology:Q376799 } UNION { ?y property:P138 ?d . ?d rdf:type ontology:Q14524493 . ?y rdf:type ontology:Q486972 } } GROUP BY ?d } } }
Fürstenberg Mount Hiei Denali Wolkenburg Aconcagua Alter Gleisberg Mount Taranaki Mount Kazbek Eichenberg Mont Terri Rengedake Roque de los Muchachos Grottenberg Mount Scopus Mount Helicon Ustur Ziegenberg Mount Emei Mount Norikura Mont Lozère Wurmberg Khao Kho Mont Saint-Bruno Loma Prieta Mont Aigoual Monte Soratte Wilzenberg Mount Takao Wiedegge Mount Pelée Eldfell Skinnarviksberget Schrattenfluh Monte Velino Mount Teshio Alluaiv mount Allmen Jusi Bockberg Mount Ontake Mount Akaishi Drachenfels Hegau Blaník Otakineyama Mount Fisht Santorini El Capitan Pic du Midi de Bigorre Mount Saint Elias Galya-tető Hörnle Bezovec Mount Rausu Snowdon Phu Ruea Monts d'Arrée Kondyor massif Schauinsland Hohe Burg Pic du Midi d'Ossau Ménez-Hom Matterhorn Schlern Mount Parnassus Maïdo Petřín Dome Rock Homert Heukenberg Kleť Kaiserstuhl Agamenticus Stromboli Petersberg Kahle Pön Bogd Khan Mountain Piz Palü Mount Akagi The Blorenge Daisen Barr Beacon Umango Mountains Mount Shari Pelister Mont Blanc Aavasaksa Uzon Brunsberg Mallestiger Mittagskogel Hohenkrähen Olsberg Sterling Hill Mount Trebeshinë Kappelberg Reichenberger Höhe Molbecke Falotta Bukit Timah Mount Piyashiri Hohentwiel Mount Kongō Phu Soi Dao Murunskii massif Luossavaara Mount Jefferson Glacier Peak Mont d'Or Puy de Dôme Scawt Hill Spitzberg Moschel mountain Aravis Mount Ortigara Rhaetian Alps Mount Kearsarge Butterberg Eisenberg Fichtelberg Gora Dzhulu Druesberg Nihondaira Mount Cook Kamikōchi Greifensteine Mount Tomi Johannisegge Mount Gosford Scherbadung Kahler Asten Kiekeberg Pelion Großer Staufenberg monts d'Or Heeseberg Dun Mountain Mount Haruna Ile-Ile Pierre-sur-Haute Osterkopf Mount Katahdin Bussen Nordhelle Gantrisch Mount Myōgi Otto mountain Mount Ibity Raßberg Kriváň Phu Kradueng Arfak Mountains Vorbergshügel Fellhorn One Tree Hill, New Zealand Hunau Media Park Bristen Großer Ölberg Iberg Cerro Mejillones Aremberg Montserrat Malberg Khao Phanom Bencha Wittekindsberg Colima Mount Ōmine Schwellenburg Lohrberg Großer Kluskopf Tippelsberg Mount Rainier Mount Diablo Nevado de Toluca Mayor Island / Tuhua Mount Hamilton Suilven Mount Tabor Victoria Peak Vulcano Langenberg Piton des Neiges Kilauea Lakargi mount Kanstein Mount Gassan Boubín Mineoka Mountain District Hohenstein Lion Rock Mount Erciyes Mount Elbrus Hornisgrinde Karlsruher Grat Mount Carleton Wasserkuppe Höwenegg Üetliberg Calanda Mons Hadley Hoher Meissner Khao Luang Pangaion Hills Cerro Paranal Piszkés-tető Laurium Pico de Orizaba Gellért Hill Drachenfels Rüenhardt Poppenberg Westerberg Akita-Komagatake Solfatara Rasvumchorr mount Itsi range Baekdu Mountain Shōwa-shinzan Feldberg Mount Bandai Mount Somma Mont Saint-Hilaire Härdler Jorat Michaelsberg Donnersberg Monteregian Hills Hünerberg Lemberg Doi Suthep Kukisvumchorr mount Hakkōda Mountains Vulkan Eifel Löwenburg Mariaberget Vorlan Phu Chi Fa Bastei Água de Pau
Min number of human settlements and transport infrastructures are named Denali, Aconcagua and Mont Blanc
Denali Aconcagua Mont Blanc
action argmin
action union
action find_reverse_tuple_counts
relation named after
type terrain
type human settlement
action find_reverse_tuple_counts
relation named after
type terrain
type transport infrastructure
[[{'concept': 'human settlement'}, {'concept': 'transport infrastructure'}], 'named after', {'concept': 'terrain'}]
SELECT DISTINCT ?m WHERE { { SELECT DISTINCT ( COUNT ( ?p ) AS ?b ) ?m WHERE { { ?p property:named_after ?m . ?m rdf:type ontology:terrain . ?p rdf:type ontology:human_settlement } UNION { ?p property:named_after ?m . ?m rdf:type ontology:terrain . ?p rdf:type ontology:transport_infrastructure } } GROUP BY ?m } . FILTER ( ?b = ?w ) . { SELECT DISTINCT ( MIN ( ?q ) AS ?w ) { SELECT DISTINCT ( COUNT ( ?y ) AS ?q ) ?d WHERE { { ?y property:named_after ?d . ?d rdf:type ontology:terrain . ?y rdf:type ontology:transport_infrastructure } UNION { ?y property:named_after ?d . ?d rdf:type ontology:terrain . ?y rdf:type ontology:human_settlement } } GROUP BY ?d } } }
[]
Clarification
Quantitative|Count|Logical operators|Indirect
P610
Q15617994 Q20667921
USER
How many administrative territories or french administrative divisions have that terrain as their zenith ?
(c(Q15617994),P610,Q583) (c(Q20667921),P610,Q583) (c(Q15617994),P610,Q130018) (c(Q20667921),P610,Q130018) (c(Q15617994),P610,Q39739) (c(Q20667921),P610,Q39739) (c(Q15617994),P610,Q583) (c(Q20667921),P610,Q583)
[{'concept': 'Q15617994'}, 'P610', 'Q583'] [{'concept': 'Q20667921'}, 'P610', 'Q583'] [{'concept': 'Q15617994'}, 'P610', 'Q130018'] [{'concept': 'Q20667921'}, 'P610', 'Q130018'] [{'concept': 'Q15617994'}, 'P610', 'Q39739'] [{'concept': 'Q20667921'}, 'P610', 'Q39739'] [{'concept': 'Q15617994'}, 'P610', 'Q583'] [{'concept': 'Q20667921'}, 'P610', 'Q583']
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { ?z property:P610 resource:Q1189241 } UNION { ?y property:P610 resource:Q1189241 } UNION { ?z property:P610 resource:Q18619199 } UNION { ?y property:P610 resource:Q18619199 } UNION { ?z property:P610 resource:Q21485570 } UNION { ?y property:P610 resource:Q21485570 } UNION { ?z property:P610 resource:Q1189241 } UNION { ?y property:P610 resource:Q1189241 } } . ?z rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q20667921 }
[{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Mont Blanc'] [{'concept': 'type of french administrative division'}, 'highest point', 'Mont Blanc'] [{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Denali'] [{'concept': 'type of french administrative division'}, 'highest point', 'Denali'] [{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Aconcagua'] [{'concept': 'type of french administrative division'}, 'highest point', 'Aconcagua'] [{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Mont Blanc'] [{'concept': 'type of french administrative division'}, 'highest point', 'Mont Blanc']
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { ?z property:highest_point resource:Mont_Blanc } UNION { ?y property:highest_point resource:Mont_Blanc } UNION { ?z property:highest_point resource:Denali } UNION { ?y property:highest_point resource:Denali } UNION { ?z property:highest_point resource:Aconcagua } UNION { ?y property:highest_point resource:Aconcagua } UNION { ?z property:highest_point resource:Mont_Blanc } UNION { ?y property:highest_point resource:Mont_Blanc } } . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:type_of_french_administrative_division }
[]
designation for an administrative territorial entity type of french administrative division
Quantitative|Count|Mult. entity type|Clarification
Q583
SYSTEM
Did you mean Mont Blanc ?
[ANSWER]
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { ?z property:P610 resource:Q1189241 } UNION { ?y property:P610 resource:Q1189241 } UNION { ?z property:P610 resource:Q18619199 } UNION { ?y property:P610 resource:Q18619199 } UNION { ?z property:P610 resource:Q21485570 } UNION { ?y property:P610 resource:Q21485570 } UNION { ?z property:P610 resource:Q1189241 } UNION { ?y property:P610 resource:Q1189241 } } . ?z rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q20667921 }
Did you mean Mont Blanc ?
Mont Blanc
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { ?z property:highest_point resource:Mont_Blanc } UNION { ?y property:highest_point resource:Mont_Blanc } UNION { ?z property:highest_point resource:Denali } UNION { ?y property:highest_point resource:Denali } UNION { ?z property:highest_point resource:Aconcagua } UNION { ?y property:highest_point resource:Aconcagua } UNION { ?z property:highest_point resource:Mont_Blanc } UNION { ?y property:highest_point resource:Mont_Blanc } } . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:type_of_french_administrative_division }
[]
Quantitative Reasoning (Count) (All)
USER
Yes
(c(Q15617994),P610,Q583) (c(Q20667921),P610,Q583) (c(Q15617994),P610,Q130018) (c(Q20667921),P610,Q130018) (c(Q15617994),P610,Q39739) (c(Q20667921),P610,Q39739) (c(Q15617994),P610,Q583) (c(Q20667921),P610,Q583)
[{'concept': 'Q15617994'}, 'P610', 'Q583'] [{'concept': 'Q20667921'}, 'P610', 'Q583'] [{'concept': 'Q15617994'}, 'P610', 'Q130018'] [{'concept': 'Q20667921'}, 'P610', 'Q130018'] [{'concept': 'Q15617994'}, 'P610', 'Q39739'] [{'concept': 'Q20667921'}, 'P610', 'Q39739'] [{'concept': 'Q15617994'}, 'P610', 'Q583'] [{'concept': 'Q20667921'}, 'P610', 'Q583']
[{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Mont Blanc'] [{'concept': 'type of french administrative division'}, 'highest point', 'Mont Blanc'] [{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Denali'] [{'concept': 'type of french administrative division'}, 'highest point', 'Denali'] [{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Aconcagua'] [{'concept': 'type of french administrative division'}, 'highest point', 'Aconcagua'] [{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Mont Blanc'] [{'concept': 'type of french administrative division'}, 'highest point', 'Mont Blanc']
[]
SYSTEM
4
Q142 Q38 Q18338206 Q12751
(c(Q15617994),P610,Q583) (c(Q20667921),P610,Q583) (c(Q15617994),P610,Q130018) (c(Q20667921),P610,Q130018) (c(Q15617994),P610,Q39739) (c(Q20667921),P610,Q39739) (c(Q15617994),P610,Q583) (c(Q20667921),P610,Q583)
[ANSWER]
[{'concept': 'Q15617994'}, 'P610', 'Q583'] [{'concept': 'Q20667921'}, 'P610', 'Q583'] [{'concept': 'Q15617994'}, 'P610', 'Q130018'] [{'concept': 'Q20667921'}, 'P610', 'Q130018'] [{'concept': 'Q15617994'}, 'P610', 'Q39739'] [{'concept': 'Q20667921'}, 'P610', 'Q39739'] [{'concept': 'Q15617994'}, 'P610', 'Q583'] [{'concept': 'Q20667921'}, 'P610', 'Q583']
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { ?z property:P610 resource:Q1189241 } UNION { ?y property:P610 resource:Q1189241 } UNION { ?z property:P610 resource:Q18619199 } UNION { ?y property:P610 resource:Q18619199 } UNION { ?z property:P610 resource:Q21485570 } UNION { ?y property:P610 resource:Q21485570 } UNION { ?z property:P610 resource:Q1189241 } UNION { ?y property:P610 resource:Q1189241 } } . ?z rdf:type ontology:Q15617994 . ?y rdf:type ontology:Q20667921 }
France Italy Auvergne-Rhône-Alpes Haute-Savoie
4
[{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Mont Blanc'] [{'concept': 'type of french administrative division'}, 'highest point', 'Mont Blanc'] [{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Denali'] [{'concept': 'type of french administrative division'}, 'highest point', 'Denali'] [{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Aconcagua'] [{'concept': 'type of french administrative division'}, 'highest point', 'Aconcagua'] [{'concept': 'designation for an administrative territorial entity'}, 'highest point', 'Mont Blanc'] [{'concept': 'type of french administrative division'}, 'highest point', 'Mont Blanc']
SELECT DISTINCT ( COUNT ( * ) AS ?x ) WHERE { { { ?z property:highest_point resource:Mont_Blanc } UNION { ?y property:highest_point resource:Mont_Blanc } UNION { ?z property:highest_point resource:Denali } UNION { ?y property:highest_point resource:Denali } UNION { ?z property:highest_point resource:Aconcagua } UNION { ?y property:highest_point resource:Aconcagua } UNION { ?z property:highest_point resource:Mont_Blanc } UNION { ?y property:highest_point resource:Mont_Blanc } } . ?z rdf:type ontology:designation_for_an_administrative_territorial_entity . ?y rdf:type ontology:type_of_french_administrative_division }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q14632468
P21
Q290
USER
Which sex does Jan Blankers possess ?
(Q14632468,P21,c(Q290))
action filter_type
action find
entity Q14632468
relation P21
type Q290
['Q14632468', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?w WHERE { resource:Q14632468 property:P21 ?w . ?w rdf:type ontology:Q290 }
Jan Blankers
action filter_type
action find
entity Jan Blankers
relation gender
type sex
['Jan Blankers', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?w WHERE { resource:Jan_Blankers property:gender ?w . ?w rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q14632468,P21,c(Q290))
action filter_type
action find
entity Q14632468
relation P21
type Q290
Jan Blankers possesses un [ANSWER]
['Q14632468', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?w WHERE { resource:Q14632468 property:P21 ?w . ?w rdf:type ontology:Q290 }
male
Jan Blankers possesses un male
male
action filter_type
action find
entity Jan Blankers
relation gender
type sex
['Jan Blankers', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?w WHERE { resource:Jan_Blankers property:gender ?w . ?w rdf:type ontology:sex }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q14632468
P106
Q12737077
USER
What does that person do for a living ?
(Q6581097,P106,c(Q12737077))
action filter_type
action find
entity Q14632468
relation P106
type Q12737077
['Q6581097', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?k WHERE { resource:Q14632468 property:P106 ?k . ?k rdf:type ontology:Q12737077 }
Jan Blankers
action filter_type
action find
entity Jan Blankers
relation occupation
type occupation
['male', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?k WHERE { resource:Jan_Blankers property:occupation ?k . ?k rdf:type ontology:occupation }
[]
occupation
Q1930187
SYSTEM
journalist
Q1930187
(Q6581097,P106,c(Q12737077))
action filter_type
action find
entity Q14632468
relation P106
type Q12737077
[ANSWER] that person does for a living
['Q6581097', 'P106', {'concept': 'Q12737077'}]
SELECT DISTINCT ?k WHERE { resource:Q14632468 property:P106 ?k . ?k rdf:type ontology:Q12737077 }
journalist
Journalist that person does for a living
journalist
action filter_type
action find
entity Jan Blankers
relation occupation
type occupation
['male', 'occupation', {'concept': 'occupation'}]
SELECT DISTINCT ?k WHERE { resource:Jan_Blankers property:occupation ?k . ?k rdf:type ontology:occupation }
[]
Simple Question (Ellipsis)
Incomplete|object parent is changed, subject and predicate remain same
Q14632468
Q151885
USER
And which concept?
(Q14632468,P106,c(Q151885))
action filter_type
action find
entity Q14632468
relation P106
type Q151885
['Q14632468', 'P106', {'concept': 'Q151885'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q151885 . resource:Q14632468 property:P106 ?e }
Jan Blankers
action filter_type
action find
entity Jan Blankers
relation occupation
type concept
['Jan Blankers', 'occupation', {'concept': 'concept'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:concept . resource:Jan_Blankers property:occupation ?e }
[]
concept
Q11513337
SYSTEM
athletics competitor
Q11513337
(Q14632468,P106,c(Q151885))
action filter_type
action find
entity Q14632468
relation P106
type Q151885
[ANSWER]
['Q14632468', 'P106', {'concept': 'Q151885'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:Q151885 . resource:Q14632468 property:P106 ?e }
athletics competitor
athletics competitor
action filter_type
action find
entity Jan Blankers
relation occupation
type concept
['Jan Blankers', 'occupation', {'concept': 'concept'}]
SELECT DISTINCT ?e WHERE { ?e rdf:type ontology:concept . resource:Jan_Blankers property:occupation ?e }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q937424
P610
Q14524493 Q2221906 Q1048835
USER
Which terrains are the highest point of more number of geographic locations or political territories than Mentolat ?
(c(Q2221906)|c(Q1048835),P610,c(Q14524493))
action greater
action union
action find_reverse_tuple_counts
relation P610
type Q14524493
type Q2221906
action find_reverse_tuple_counts
relation P610
type Q14524493
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q937424
relation P610
type Q2221906
type Q1048835
[[{'concept': 'Q2221906'}, {'concept': 'Q1048835'}], 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) ?w WHERE { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:Q1048835 ) ( ontology:Q2221906 ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?e ) WHERE { ?g property:P610 resource:Q937424 . { ?g rdf:type ?p . VALUES ( ?p ) { ( ontology:Q1048835 ) ( ontology:Q2221906 ) } } } } . FILTER ( ?z > ?e ) }
Mentolat
action greater
action union
action find_reverse_tuple_counts
relation highest point
type terrain
type geographic location
action find_reverse_tuple_counts
relation highest point
type terrain
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Mentolat
relation highest point
type geographic location
type political territorial entity
[[{'concept': 'geographic location'}, {'concept': 'political territorial entity'}], 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) ?w WHERE { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:political_territorial_entity ) ( ontology:geographic_location ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?e ) WHERE { ?g property:highest_point resource:Mentolat . { ?g rdf:type ?p . VALUES ( ?p ) { ( ontology:political_territorial_entity ) ( ontology:geographic_location ) } } } } . FILTER ( ?z > ?e ) }
[]
terrain geographic location political territorial entity
Q130018 Q120306 Q1718336
SYSTEM
Denali, Mount Logan, Mount Obama
Q3210770 Q4724340 Q5035914 Q2114101 Q3375 Q5064846 Q3051597 Q760819 Q19681520 Q3441622 Q277441 Q1815535 Q1718336 Q155721 Q7974395 Q5880013 Q6919942 Q896781 Q7122868 Q252204 Q2916345 Q885798 Q263280 Q147557 Q3388 Q6818076 Q1269774 Q7205900 Q5755800 Q7566229 Q1310425 Q665000 Q260073 Q880238 Q7191256 Q7330610 Q2199337 Q884705 Q130018 Q882309 Q728953 Q6924123 Q163758 Q615337 Q746274 Q203353 Q43105 Q315887 Q5325191 Q1464187 Q3612390 Q209528 Q525281 Q163919 Q2319861 Q5059 Q314735 Q315546 Q689106 Q178167 Q4299085 Q314166 Q458097 Q120306 Q203942 Q1158648 Q322824 Q4904991 Q1537733 Q315335 Q1402730
(c(Q2221906)|c(Q1048835),P610,c(Q14524493))
action greater
action union
action find_reverse_tuple_counts
relation P610
type Q14524493
type Q2221906
action find_reverse_tuple_counts
relation P610
type Q14524493
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q937424
relation P610
type Q2221906
type Q1048835
[ANSWERS] are the highest point of more number of geographic locations or political territories than Mentolat
[[{'concept': 'Q2221906'}, {'concept': 'Q1048835'}], 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) ?w WHERE { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:Q1048835 ) ( ontology:Q2221906 ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?e ) WHERE { ?g property:P610 resource:Q937424 . { ?g rdf:type ?p . VALUES ( ?p ) { ( ontology:Q1048835 ) ( ontology:Q2221906 ) } } } } . FILTER ( ?z > ?e ) }
Mont Bengoué Algonquin Peak Capitol Peak Mawson Peak Zugspitze Cerro Alto Mountain Morne de la Grande Montagne Mount Popomanaseu Sandesberg Ronas Hill Mount Wilhelm Spruce Knob Mount Obama Brocken Waterrock Knob Hole in the Mountain Peak Mount Cabot Hoher Peißenberg Pack Monadnock Eagle Mountain Ward Hill Blue Mountain Peak Kampenwand Snaefell Grossglockner Merced Peak Mount Liamuiga Plynlimon High Knob South Baldy Einödriegel Grauspitz Großer Arber Hesselberg Picws Du Richland Balsam Les Platons Großer Rachel Denali Kleiner Arber Dürrenberg Mount Tipton Vinson Massif Mount Mitchell Mount Alvernia Pico Almanzor Mount Elbrus Schafreuter Eagle Peak Friedrichsberg La Mira Mulhacén Mount Saint Catherine Watzmann Clisham Mount Cook Wurmberg Geigelstein Møllehøj Mount Kosciuszko Mohyla Mechetna Schneeberg Rotwand Mount Logan Galdhøpiggen Dammersfeldkuppe Signal de Botrange Big Baldy Mountain Pica d'Estats Hochfrottspitze Hirschenstein
Denali, Mount Logan and Mount Obama are the highest point of more number of geographic locations or political territories than Mentolat
Denali Mount Logan Mount Obama
action greater
action union
action find_reverse_tuple_counts
relation highest point
type terrain
type geographic location
action find_reverse_tuple_counts
relation highest point
type terrain
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Mentolat
relation highest point
type geographic location
type political territorial entity
[[{'concept': 'geographic location'}, {'concept': 'political territorial entity'}], 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?w WHERE { { SELECT DISTINCT ( COUNT ( ?f ) AS ?z ) ?w WHERE { ?f rdf:type ?l . VALUES ( ?l ) { ( ontology:political_territorial_entity ) ( ontology:geographic_location ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?g ) AS ?e ) WHERE { ?g property:highest_point resource:Mentolat . { ?g rdf:type ?p . VALUES ( ?p ) { ( ontology:political_territorial_entity ) ( ontology:geographic_location ) } } } } . FILTER ( ?z > ?e ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q18208463
P610
Q14524493 Q2221906 Q1048835
USER
And how about Cerro Vicuña Mackenna?
(c(Q2221906)|c(Q1048835),P610,c(Q14524493))
action greater
action union
action find_reverse_tuple_counts
relation P610
type Q14524493
type Q2221906
action find_reverse_tuple_counts
relation P610
type Q14524493
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q18208463
relation P610
type Q2221906
type Q1048835
[[{'concept': 'Q2221906'}, {'concept': 'Q1048835'}], 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?u ) AS ?c ) WHERE { { ?g rdf:type ontology:Q14524493 . ?u rdf:type ontology:Q2221906 . ?u property:P610 ?g } UNION { ?u property:P610 ?g . ?g rdf:type ontology:Q14524493 . ?u rdf:type ontology:Q1048835 } } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?h ) WHERE { ?q property:P610 resource:Q18208463 . { { ?q rdf:type ontology:Q2221906 } UNION { ?q rdf:type ontology:Q1048835 } } } } . FILTER ( ?c > ?h ) }
Cerro Vicuña Mackenna
action greater
action union
action find_reverse_tuple_counts
relation highest point
type terrain
type geographic location
action find_reverse_tuple_counts
relation highest point
type terrain
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Cerro Vicuña Mackenna
relation highest point
type geographic location
type political territorial entity
[[{'concept': 'geographic location'}, {'concept': 'political territorial entity'}], 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?u ) AS ?c ) WHERE { { ?g rdf:type ontology:terrain . ?u rdf:type ontology:geographic_location . ?u property:highest_point ?g } UNION { ?u property:highest_point ?g . ?g rdf:type ontology:terrain . ?u rdf:type ontology:political_territorial_entity } } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?h ) WHERE { ?q property:highest_point resource:Cerro_Vicuña_Mackenna . { { ?q rdf:type ontology:geographic_location } UNION { ?q rdf:type ontology:political_territorial_entity } } } } . FILTER ( ?c > ?h ) }
[]
terrain geographic location political territorial entity
Q130018 Q120306 Q1718336
SYSTEM
Denali, Mount Logan, Mount Obama
Q3210770 Q4724340 Q5035914 Q2114101 Q3375 Q5064846 Q3051597 Q760819 Q19681520 Q3441622 Q277441 Q1815535 Q1718336 Q155721 Q7974395 Q5880013 Q6919942 Q896781 Q7122868 Q252204 Q2916345 Q885798 Q263280 Q147557 Q3388 Q6818076 Q1269774 Q7205900 Q5755800 Q7566229 Q1310425 Q665000 Q260073 Q880238 Q7191256 Q7330610 Q2199337 Q884705 Q130018 Q882309 Q728953 Q6924123 Q163758 Q615337 Q746274 Q203353 Q43105 Q315887 Q5325191 Q1464187 Q3612390 Q209528 Q525281 Q163919 Q2319861 Q5059 Q314735 Q315546 Q689106 Q178167 Q4299085 Q314166 Q458097 Q120306 Q203942 Q1158648 Q322824 Q4904991 Q1537733 Q315335 Q1402730
(c(Q2221906)|c(Q1048835),P610,c(Q14524493))
action greater
action union
action find_reverse_tuple_counts
relation P610
type Q14524493
type Q2221906
action find_reverse_tuple_counts
relation P610
type Q14524493
type Q1048835
action count
action filter_multi_types
action find_reverse
entity Q18208463
relation P610
type Q2221906
type Q1048835
[ANSWERS]
[[{'concept': 'Q2221906'}, {'concept': 'Q1048835'}], 'P610', {'concept': 'Q14524493'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?u ) AS ?c ) WHERE { { ?g rdf:type ontology:Q14524493 . ?u rdf:type ontology:Q2221906 . ?u property:P610 ?g } UNION { ?u property:P610 ?g . ?g rdf:type ontology:Q14524493 . ?u rdf:type ontology:Q1048835 } } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?h ) WHERE { ?q property:P610 resource:Q18208463 . { { ?q rdf:type ontology:Q2221906 } UNION { ?q rdf:type ontology:Q1048835 } } } } . FILTER ( ?c > ?h ) }
Mont Bengoué Algonquin Peak Capitol Peak Mawson Peak Zugspitze Cerro Alto Mountain Morne de la Grande Montagne Mount Popomanaseu Sandesberg Ronas Hill Mount Wilhelm Spruce Knob Mount Obama Brocken Waterrock Knob Hole in the Mountain Peak Mount Cabot Hoher Peißenberg Pack Monadnock Eagle Mountain Ward Hill Blue Mountain Peak Kampenwand Snaefell Grossglockner Merced Peak Mount Liamuiga Plynlimon High Knob South Baldy Einödriegel Grauspitz Großer Arber Hesselberg Picws Du Richland Balsam Les Platons Großer Rachel Denali Kleiner Arber Dürrenberg Mount Tipton Vinson Massif Mount Mitchell Mount Alvernia Pico Almanzor Mount Elbrus Schafreuter Eagle Peak Friedrichsberg La Mira Mulhacén Mount Saint Catherine Watzmann Clisham Mount Cook Wurmberg Geigelstein Møllehøj Mount Kosciuszko Mohyla Mechetna Schneeberg Rotwand Mount Logan Galdhøpiggen Dammersfeldkuppe Signal de Botrange Big Baldy Mountain Pica d'Estats Hochfrottspitze Hirschenstein
Denali Mount Logan Mount Obama
action greater
action union
action find_reverse_tuple_counts
relation highest point
type terrain
type geographic location
action find_reverse_tuple_counts
relation highest point
type terrain
type political territorial entity
action count
action filter_multi_types
action find_reverse
entity Cerro Vicuña Mackenna
relation highest point
type geographic location
type political territorial entity
[[{'concept': 'geographic location'}, {'concept': 'political territorial entity'}], 'highest point', {'concept': 'terrain'}]
SELECT DISTINCT ?g WHERE { { SELECT DISTINCT ?g ( COUNT ( ?u ) AS ?c ) WHERE { { ?g rdf:type ontology:terrain . ?u rdf:type ontology:geographic_location . ?u property:highest_point ?g } UNION { ?u property:highest_point ?g . ?g rdf:type ontology:terrain . ?u rdf:type ontology:political_territorial_entity } } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?q ) AS ?h ) WHERE { ?q property:highest_point resource:Cerro_Vicuña_Mackenna . { { ?q rdf:type ontology:geographic_location } UNION { ?q rdf:type ontology:political_territorial_entity } } } } . FILTER ( ?c > ?h ) }
[]