Simple Question (Direct)
Simple Question
Q21110567
P681
Q15989253
USER
Which are the cell components of F-actin-capping protein subunit alpha-2 ?
(Q21110567,P681,c(Q15989253))
action filter_type
action find
entity Q21110567
relation P681
type Q15989253
['Q21110567', 'P681', {'concept': 'Q15989253'}]
SELECT DISTINCT ?y WHERE { resource:Q21110567 property:P681 ?y . ?y rdf:type ontology:Q15989253 }
F-actin-capping protein subunit alpha-2
action filter_type
action find
entity F-actin-capping protein subunit alpha-2
relation cell component
type part
['F-actin-capping protein subunit alpha-2', 'cell component', {'concept': 'part'}]
SELECT DISTINCT ?y WHERE { resource:F-actin-capping_protein_subunit_alpha-2 property:cell_component ?y . ?y rdf:type ontology:part }
[]
part
Q14645596 Q14349455
SYSTEM
extracellular region, membrane
Q14645596 Q14349455
(Q21110567,P681,c(Q15989253))
action filter_type
action find
entity Q21110567
relation P681
type Q15989253
[ANSWERS]
['Q21110567', 'P681', {'concept': 'Q15989253'}]
SELECT DISTINCT ?y WHERE { resource:Q21110567 property:P681 ?y . ?y rdf:type ontology:Q15989253 }
extracellular region membrane
extracellular region membrane
action filter_type
action find
entity F-actin-capping protein subunit alpha-2
relation cell component
type part
['F-actin-capping protein subunit alpha-2', 'cell component', {'concept': 'part'}]
SELECT DISTINCT ?y WHERE { resource:F-actin-capping_protein_subunit_alpha-2 property:cell_component ?y . ?y rdf:type ontology:part }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q21110567
P703
Q16521
USER
Where is F-actin-capping protein subunit alpha-2 found ?
(Q21110567,P703,c(Q16521))
action filter_type
action find
entity Q21110567
relation P703
type Q16521
['Q21110567', 'P703', {'concept': 'Q16521'}]
SELECT DISTINCT ?n WHERE { resource:Q21110567 property:P703 ?n . ?n rdf:type ontology:Q16521 }
F-actin-capping protein subunit alpha-2
action filter_type
action find
entity F-actin-capping protein subunit alpha-2
relation found in taxon
type taxon
['F-actin-capping protein subunit alpha-2', 'found in taxon', {'concept': 'taxon'}]
SELECT DISTINCT ?n WHERE { resource:F-actin-capping_protein_subunit_alpha-2 property:found_in_taxon ?n . ?n rdf:type ontology:taxon }
[]
taxon
Q15978631
SYSTEM
Homo sapiens
Q15978631
(Q21110567,P703,c(Q16521))
action filter_type
action find
entity Q21110567
relation P703
type Q16521
[ANSWER]
['Q21110567', 'P703', {'concept': 'Q16521'}]
SELECT DISTINCT ?n WHERE { resource:Q21110567 property:P703 ?n . ?n rdf:type ontology:Q16521 }
Homo sapiens
Homo sapiens
action filter_type
action find
entity F-actin-capping protein subunit alpha-2
relation found in taxon
type taxon
['F-actin-capping protein subunit alpha-2', 'found in taxon', {'concept': 'taxon'}]
SELECT DISTINCT ?n WHERE { resource:F-actin-capping_protein_subunit_alpha-2 property:found_in_taxon ?n . ?n rdf:type ontology:taxon }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q18053523
Q16521
USER
And how about SYCP2L?
(Q18053523,P703,c(Q16521))
action filter_type
action find
entity Q18053523
relation P703
type Q16521
['Q18053523', 'P703', {'concept': 'Q16521'}]
SELECT DISTINCT ?x WHERE { resource:Q18053523 property:P703 ?x . ?x rdf:type ontology:Q16521 }
SYCP2L
action filter_type
action find
entity SYCP2L
relation found in taxon
type taxon
['SYCP2L', 'found in taxon', {'concept': 'taxon'}]
SELECT DISTINCT ?x WHERE { resource:SYCP2L property:found_in_taxon ?x . ?x rdf:type ontology:taxon }
[]
taxon
Q15978631
SYSTEM
Homo sapiens
Q15978631
(Q18053523,P703,c(Q16521))
action filter_type
action find
entity Q18053523
relation P703
type Q16521
[ANSWER]
['Q18053523', 'P703', {'concept': 'Q16521'}]
SELECT DISTINCT ?x WHERE { resource:Q18053523 property:P703 ?x . ?x rdf:type ontology:Q16521 }
Homo sapiens
Homo sapiens
action filter_type
action find
entity SYCP2L
relation found in taxon
type taxon
['SYCP2L', 'found in taxon', {'concept': 'taxon'}]
SELECT DISTINCT ?x WHERE { resource:SYCP2L property:found_in_taxon ?x . ?x rdf:type ontology:taxon }
[]
Verification (Boolean) (All)
Verification|3 entities, 2 direct, 2(direct) are query entities, subject is indirect
Q15978631 Q1043 Q19359631
P427
Q3343211
USER
Does that taxon have Carl Linnaeus and Cereus sirinamensis - plate 8 in Trew 1733 as its taxonomic type ?
(Q15978631,P427,Q1043) (Q15978631,P427,Q19359631)
action is_in
entity Q15978631
action intersection
action find_reverse
entity Q1043
relation P427
action find_reverse
entity Q19359631
relation P427
['Q15978631', 'P427', 'Q1043'] ['Q15978631', 'P427', 'Q19359631']
ASK WHERE { resource:Q15978631 property:P427 resource:Q1043 . resource:Q15978631 property:P427 resource:Q19359631 }
Homo sapiens Carl Linnaeus Cereus sirinamensis - plate 8 in Trew 1733
action is_in
entity Homo sapiens
action intersection
action find_reverse
entity Carl Linnaeus
relation taxonomic type
action find_reverse
entity Cereus sirinamensis - plate 8 in Trew 1733
relation taxonomic type
['Homo sapiens', 'taxonomic type', 'Carl Linnaeus'] ['Homo sapiens', 'taxonomic type', 'Cereus sirinamensis - plate 8 in Trew 1733']
ASK WHERE { resource:Homo_sapiens property:taxonomic_type resource:Carl_Linnaeus . resource:Homo_sapiens property:taxonomic_type resource:Cereus_sirinamensis_-_plate_8_in_Trew_1733 }
[]
zoological nomenclature
SYSTEM
YES and NO respectively
(Q15978631,P427,Q1043) (Q15978631,P427,Q19359631)
action is_in
entity Q15978631
action intersection
action find_reverse
entity Q1043
relation P427
action find_reverse
entity Q19359631
relation P427
[ANSWER]
['Q15978631', 'P427', 'Q1043'] ['Q15978631', 'P427', 'Q19359631']
ASK WHERE { resource:Q15978631 property:P427 resource:Q1043 . resource:Q15978631 property:P427 resource:Q19359631 }
YES and NO respectively
action is_in
entity Homo sapiens
action intersection
action find_reverse
entity Carl Linnaeus
relation taxonomic type
action find_reverse
entity Cereus sirinamensis - plate 8 in Trew 1733
relation taxonomic type
['Homo sapiens', 'taxonomic type', 'Carl Linnaeus'] ['Homo sapiens', 'taxonomic type', 'Cereus sirinamensis - plate 8 in Trew 1733']
ASK WHERE { resource:Homo_sapiens property:taxonomic_type resource:Carl_Linnaeus . resource:Homo_sapiens property:taxonomic_type resource:Cereus_sirinamensis_-_plate_8_in_Trew_1733 }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P180
Q15989253 Q18783400 Q340169
USER
Which parts are depicted in min number of genres of sculpture or medias ?
(c(Q18783400)|c(Q340169),P180,c(Q15989253))
action argmin
action union
action find_reverse_tuple_counts
relation P180
type Q15989253
type Q18783400
action find_reverse_tuple_counts
relation P180
type Q15989253
type Q340169
[[{'concept': 'Q18783400'}, {'concept': 'Q340169'}], 'P180', {'concept': 'Q15989253'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MIN ( ?s ) AS ?r ) { SELECT DISTINCT ?j ( COUNT ( ?u ) AS ?s ) WHERE { VALUES ( ?e ) { ( ontology:Q18783400 ) ( ontology:Q340169 ) } . ?u rdf:type ?e } GROUP BY ?j } } . { SELECT DISTINCT ?h ( COUNT ( ?w ) AS ?d ) WHERE { { ?w property:P180 ?h . ?h rdf:type ontology:Q15989253 . ?w rdf:type ontology:Q340169 } UNION { ?w property:P180 ?h . ?h rdf:type ontology:Q15989253 . ?w rdf:type ontology:Q18783400 } } GROUP BY ?h } . FILTER ( ?d = ?r ) }
action argmin
action union
action find_reverse_tuple_counts
relation depicts
type part
type genre of sculpture
action find_reverse_tuple_counts
relation depicts
type part
type media
[[{'concept': 'genre of sculpture'}, {'concept': 'media'}], 'depicts', {'concept': 'part'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MIN ( ?s ) AS ?r ) { SELECT DISTINCT ?j ( COUNT ( ?u ) AS ?s ) WHERE { VALUES ( ?e ) { ( ontology:genre_of_sculpture ) ( ontology:media ) } . ?u rdf:type ?e } GROUP BY ?j } } . { SELECT DISTINCT ?h ( COUNT ( ?w ) AS ?d ) WHERE { { ?w property:depicts ?h . ?h rdf:type ontology:part . ?w rdf:type ontology:media } UNION { ?w property:depicts ?h . ?h rdf:type ontology:part . ?w rdf:type ontology:genre_of_sculpture } } GROUP BY ?h } . FILTER ( ?d = ?r ) }
[]
part genre of sculpture media
Q712378 Q668732 Q908430
SYSTEM
organ, crest, crown
Q908430 Q168002 Q392573 Q852590 Q37017 Q172563 Q201851 Q209760 Q221712 Q276572 Q910873 Q18646082 Q301897 Q251238 Q1510738 Q331357 Q2192288 Q204948 Q42586 Q901207 Q217605 Q492663 Q942890 Q712378 Q4814120 Q305026 Q668732
(c(Q18783400)|c(Q340169),P180,c(Q15989253))
action argmin
action union
action find_reverse_tuple_counts
relation P180
type Q15989253
type Q18783400
action find_reverse_tuple_counts
relation P180
type Q15989253
type Q340169
[ANSWERS]
[[{'concept': 'Q18783400'}, {'concept': 'Q340169'}], 'P180', {'concept': 'Q15989253'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MIN ( ?s ) AS ?r ) { SELECT DISTINCT ?j ( COUNT ( ?u ) AS ?s ) WHERE { VALUES ( ?e ) { ( ontology:Q18783400 ) ( ontology:Q340169 ) } . ?u rdf:type ?e } GROUP BY ?j } } . { SELECT DISTINCT ?h ( COUNT ( ?w ) AS ?d ) WHERE { { ?w property:P180 ?h . ?h rdf:type ontology:Q15989253 . ?w rdf:type ontology:Q340169 } UNION { ?w property:P180 ?h . ?h rdf:type ontology:Q15989253 . ?w rdf:type ontology:Q18783400 } } GROUP BY ?h } . FILTER ( ?d = ?r ) }
crown ankle Organ console spire face umbilical cord spine rudder sound hole Insect wing helmet thought bubble bow compartment organ pipe escutcheon vulva bow elbow musical keyboard claw Jesus and the woman taken in adultery rigging organ prow bicycle pedal crest
organ crest crown
action argmin
action union
action find_reverse_tuple_counts
relation depicts
type part
type genre of sculpture
action find_reverse_tuple_counts
relation depicts
type part
type media
[[{'concept': 'genre of sculpture'}, {'concept': 'media'}], 'depicts', {'concept': 'part'}]
SELECT DISTINCT ?h WHERE { { SELECT DISTINCT ( MIN ( ?s ) AS ?r ) { SELECT DISTINCT ?j ( COUNT ( ?u ) AS ?s ) WHERE { VALUES ( ?e ) { ( ontology:genre_of_sculpture ) ( ontology:media ) } . ?u rdf:type ?e } GROUP BY ?j } } . { SELECT DISTINCT ?h ( COUNT ( ?w ) AS ?d ) WHERE { { ?w property:depicts ?h . ?h rdf:type ontology:part . ?w rdf:type ontology:media } UNION { ?w property:depicts ?h . ?h rdf:type ontology:part . ?w rdf:type ontology:genre_of_sculpture } } GROUP BY ?h } . FILTER ( ?d = ?r ) }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Single entity type
P361
Q58778 Q15989253
USER
Which systems are atmost 2 parts a component of ?
(c(Q15989253),P361,c(Q58778))
action atmost
action find_reverse_tuple_counts
relation P361
type Q58778
type Q15989253
value 2
[{'concept': 'Q15989253'}, 'P361', {'concept': 'Q58778'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ?f ( COUNT ( ?l ) AS ?n ) WHERE { ?l property:P361 ?f . ?f rdf:type ontology:Q58778 . ?l rdf:type ontology:Q15989253 } GROUP BY ?f } . FILTER ( ?n <= 2 ) }
action atmost
action find_reverse_tuple_counts
relation part of
type system
type part
value 2
[{'concept': 'part'}, 'part of', {'concept': 'system'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ?f ( COUNT ( ?l ) AS ?n ) WHERE { ?l property:part_of ?f . ?f rdf:type ontology:system . ?l rdf:type ontology:part } GROUP BY ?f } . FILTER ( ?n <= 2 ) }
[]
system part
Q1 Q835696 Q889737
SYSTEM
universe, Deep Space Network, ground segment
Q829055 Q757568 Q2251494 Q396622 Q1116609 Q1824206 Q856625 Q468999 Q289 Q939202 Q3234036 Q730906 Q192161 Q1213508 Q622662 Q12457 Q483426 Q1415395 Q607081 Q2151621 Q6456916 Q11451 Q720362 Q2595720 Q1780543 Q8091 Q940913 Q28108 Q26240 Q16203461 Q1127794 Q2518196 Q220695 Q601401 Q161779 Q889737 Q16782623 Q188193 Q620565 Q1370826 Q1016708 Q27666180 Q1368944 Q126793 Q746359 Q5466615 Q1 Q14290846 Q435964 Q862571 Q16070574 Q17488292 Q512417 Q1068715 Q3565868 Q8148 Q503327 Q49845 Q3477363 Q207652 Q3491904 Q1660132 Q835696 Q2285982
(c(Q15989253),P361,c(Q58778))
action atmost
action find_reverse_tuple_counts
relation P361
type Q58778
type Q15989253
value 2
[ANSWERS]
[{'concept': 'Q15989253'}, 'P361', {'concept': 'Q58778'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ?f ( COUNT ( ?l ) AS ?n ) WHERE { ?l property:P361 ?f . ?f rdf:type ontology:Q58778 . ?l rdf:type ontology:Q15989253 } GROUP BY ?f } . FILTER ( ?n <= 2 ) }
commercial shipping Atomic units School system in Germany agribusiness United States customary units supply chain Branch of libraries Planck units television Metre–tonne–second system of units Gaussian units MKSA system of units formal language Gravitational metric system heavy industry International System of Units intranet film industry textile industry energy industry national economy agriculture silviculture hierarchy of genres communication Technology grammar continuous track political system centimetre–gram–second system of units International System of Quantities valvetrain insurance industry wholesale trade spatial reference system ground segment English units biological system Apothecaries' system electrostatic units Burmese units of measurement electromagnetic unit system game industry retail music industry foot–pound–second system universe Imperial and US customary measurement systems Obsolete Russian units of measurement petroleum industry petrochemical industry logical system MKS system of units telecommunications network rail transport industry thermodynamic system mail aerospace industry chemical industry urban rail transit Real estate economics Deep Space Network ferrous metallurgy
universe Deep Space Network ground segment
action atmost
action find_reverse_tuple_counts
relation part of
type system
type part
value 2
[{'concept': 'part'}, 'part of', {'concept': 'system'}]
SELECT DISTINCT ?f WHERE { { SELECT DISTINCT ?f ( COUNT ( ?l ) AS ?n ) WHERE { ?l property:part_of ?f . ?f rdf:type ontology:system . ?l rdf:type ontology:part } GROUP BY ?f } . FILTER ( ?n <= 2 ) }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q6548695 Q1
P793
Q151885
USER
Which concepts are the significant events associated with universe or Lim Hock Siew ?
OR((Q1,P793,c(Q151885)), (Q6548695,P793,c(Q151885)))
action filter_type
action union
action find
entity Q1
relation P793
action find
entity Q6548695
relation P793
type Q151885
{'OR': [['Q1', 'P793', {'concept': 'Q151885'}], ['Q6548695', 'P793', {'concept': 'Q151885'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q1 property:P793 ?a } UNION { resource:Q6548695 property:P793 ?a } } . ?a rdf:type ontology:Q151885 }
Lim Hock Siew universe
action filter_type
action union
action find
entity universe
relation significant event
action find
entity Lim Hock Siew
relation significant event
type concept
{'OR': [['universe', 'significant event', {'concept': 'concept'}], ['Lim Hock Siew', 'significant event', {'concept': 'concept'}]]}
SELECT DISTINCT ?a WHERE { { { resource:universe property:significant_event ?a } UNION { resource:Lim_Hock_Siew property:significant_event ?a } } . ?a rdf:type ontology:concept }
[]
concept
Q4667873 Q273508
SYSTEM
prisoner of conscience, inflation
Q4667873 Q273508
OR((Q1,P793,c(Q151885)), (Q6548695,P793,c(Q151885)))
action filter_type
action union
action find
entity Q1
relation P793
action find
entity Q6548695
relation P793
type Q151885
[ANSWERS]
{'OR': [['Q1', 'P793', {'concept': 'Q151885'}], ['Q6548695', 'P793', {'concept': 'Q151885'}]]}
SELECT DISTINCT ?a WHERE { { { resource:Q1 property:P793 ?a } UNION { resource:Q6548695 property:P793 ?a } } . ?a rdf:type ontology:Q151885 }
prisoner of conscience inflation
prisoner of conscience inflation
action filter_type
action union
action find
entity universe
relation significant event
action find
entity Lim Hock Siew
relation significant event
type concept
{'OR': [['universe', 'significant event', {'concept': 'concept'}], ['Lim Hock Siew', 'significant event', {'concept': 'concept'}]]}
SELECT DISTINCT ?a WHERE { { { resource:universe property:significant_event ?a } UNION { resource:Lim_Hock_Siew property:significant_event ?a } } . ?a rdf:type ontology:concept }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q6581097 Q4667873
P793 P21
Q502895
USER
Which people are prisoner of conscience a key event of and have male as the sex ?
AND((c(Q502895),P793,Q4667873), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q4667873
relation P793
action find_reverse
entity Q6581097
relation P21
type Q502895
{'AND': [[{'concept': 'Q502895'}, 'P793', 'Q4667873'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?f WHERE { ?f property:P793 resource:Q4667873 . ?f property:P21 resource:Q6581097 . ?f rdf:type ontology:Q502895 }
male prisoner of conscience
action filter_type
action intersection
action find_reverse
entity prisoner of conscience
relation significant event
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'significant event', 'prisoner of conscience'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?f WHERE { ?f property:significant_event resource:prisoner_of_conscience . ?f property:gender resource:male . ?f rdf:type ontology:common_name }
[]
common name
Q5286488 Q2634614 Q1777747 Q1287275 Q3702155 Q7927654 Q705873 Q4801784 Q6548695 Q435770
SYSTEM
Some of them are Doan Van Dien, Zmitser Dashkevich, Ko Ko Gyi, Archbishop Jovan VI of Ohrid, Somyot Prueksakasemsuk, Vidadi Isgandarov, Gleb Yakunin, Arturo Pérez de Alejo Rodríguez, Lim Hock Siew, Yuli Daniel
Q4868058 Q4131292 Q16194507 Q3611626 Q5550231 Q5190311 Q5095139 Q48779 Q4683883 Q2836179 Q5286480 Q5924490 Q1168124 Q4150212 Q7398231 Q5446744 Q16150836 Q7420915 Q4534680 Q6798436 Q6941231 Q9347565 Q6783879 Q2582371 Q10787599 Q6845448 Q4725277 Q5371692 Q31637 Q7351957 Q1287275 Q16729513 Q5368789 Q4719787 Q16203832 Q468267 Q152503 Q1086832 Q7676903 Q4776426 Q355648 Q7071480 Q5372470 Q1280085 Q10800041 Q82398 Q5088824 Q4404624 Q7179098 Q735644 Q4310076 Q363846 Q7022793 Q1178648 Q563472 Q4305051 Q7876228 Q625810 Q7089789 Q3702155 Q15982503 Q7312321 Q6893441 Q8080110 Q313294 Q18695684 Q15904887 Q2575722 Q1280936 Q3805618 Q5642015 Q5511621 Q7082910 Q559198 Q6434510 Q364905 Q21007574 Q4665076 Q1166752 Q6399399 Q3615894 Q36233 Q4776587 Q169507 Q540938 Q5947579 Q19841082 Q127468 Q1371438 Q718089 Q7155760 Q17916908 Q15813421 Q4767805 Q7427046 Q6741085 Q4166605 Q4831115 Q557591 Q312966 Q3242826 Q6373496 Q7924321 Q12212836 Q1147324 Q5090921 Q5644626 Q920942 Q4140213 Q6894447 Q1976923 Q2821332 Q5438292 Q3193040 Q48775 Q6320619 Q26523 Q4832162 Q2311535 Q4748533 Q7319790 Q965563 Q7107090 Q7312895 Q7036252 Q7289579 Q7711457 Q8058714 Q5483260 Q45785 Q7089819 Q7132310 Q16148447 Q4955457 Q4709514 Q656491 Q552290 Q5984729 Q169289 Q4849417 Q2420321 Q8067290 Q455599 Q7496013 Q6967606 Q505761 Q302910 Q6700878 Q1706411 Q16939468 Q468131 Q7404520 Q8061828 Q6891936 Q1131546 Q559228 Q828621 Q6548695 Q713923 Q4764648 Q57699 Q5953153 Q6745231 Q5643947 Q3417991 Q19326727 Q2477108 Q997 Q308248 Q3205539 Q6399738 Q4751599 Q20068210 Q5340433 Q2944547 Q704059 Q455414 Q18206975 Q389117 Q8026675 Q5619632 Q4746499 Q6110039 Q6990656 Q981524 Q4739097 Q7442361 Q7322626 Q5442144 Q6215420 Q4694620 Q5173976 Q5619579 Q3566094 Q3025674 Q5896631 Q2634614 Q4801784 Q7614735 Q6721039 Q152381 Q6169125 Q6169654 Q3178629 Q3910837 Q2496816 Q698795 Q81289 Q299574 Q959896 Q41617 Q147944 Q7105959 Q2753913 Q669740 Q6526223 Q7853458 Q4804293 Q5482437 Q6752957 Q2457297 Q6947892 Q982696 Q3674552 Q1658622 Q7023014 Q360471 Q5431080 Q360961 Q12239626 Q4714557 Q379853 Q7322658 Q1777747 Q4723760 Q2013299 Q732181 Q16202451 Q4292177 Q2065829 Q5529333 Q487440 Q16200903 Q241782 Q1574023 Q7180410 Q983697 Q5068443 Q4802757 Q5642308 Q1312758 Q7295324 Q4710680 Q2388490 Q10774302 Q442845 Q6946687 Q4843241 Q7901702 Q1711779 Q7446652 Q4071876 Q4071877 Q3847366 Q4891781 Q471882 Q6821229 Q10829307 Q4080549 Q5081287 Q16186706 Q20971191 Q7061712 Q118263 Q2653296 Q561617 Q705873 Q6517114 Q815046 Q1672657 Q18208117 Q15021103 Q7180367 Q3058057 Q4695703 Q20876910 Q4726978 Q4316509 Q4808278 Q16199500 Q5286488 Q545569 Q155979 Q9011360 Q745917 Q435770 Q313868 Q4925267 Q439699 Q1984424 Q515432 Q6402971 Q311205 Q17916844 Q3109563 Q8067544 Q7931717 Q863536 Q4453798 Q1392488 Q3339291 Q6892426 Q167762 Q1983431 Q7876205 Q2367578 Q12982947 Q7080269 Q1609113 Q6084765 Q7105088 Q7460106 Q19892703 Q4695435 Q7081115 Q7927654 Q700353 Q10755821 Q2995758 Q5639243 Q5618115 Q8046468 Q3194965 Q4794445 Q6373289 Q16006756 Q563498 Q475295 Q1335505 Q8032135 Q4776019
AND((c(Q502895),P793,Q4667873), (c(Q502895),P21,Q6581097))
action filter_type
action intersection
action find_reverse
entity Q4667873
relation P793
action find_reverse
entity Q6581097
relation P21
type Q502895
[ANSWERS]
{'AND': [[{'concept': 'Q502895'}, 'P793', 'Q4667873'], [{'concept': 'Q502895'}, 'P21', 'Q6581097']]}
SELECT DISTINCT ?f WHERE { ?f property:P793 resource:Q4667873 . ?f property:P21 resource:Q6581097 . ?f rdf:type ontology:Q502895 }
Bassem al-Tamimi Aleksander Hawryluk Mahdi Abu Deeb Ali Salem Tamek Gerardo Angüe Mangue Cruz Obiang Ebele Chia Thye Poh Ukshin Hoti Adnan Hajizadeh Ali Bourequat Doan Huy Chuong Htay Kywe Platon Lebedev Maxim Gromov Saeed Laylaz Fidel Suárez Cruz Mudawi Ibrahim Adam Sapardurdy Khadzhiev Arif Yunus Mazen Darwish Mushahid Hussain Syed Said Zahari Masoud Lavasani Wilmar Villar Mendoza Le Cong Dinh Mijail Bárzaga Ali al-Abdallah Emiliano Esono Michá Jafar Panahi Roberto de Miranda Archbishop Jovan VI of Ohrid Zaur Gurbanli Emadeddin Baghi Alexander Otroschenkov Juan Ecomo Ndong Andrei Sinyavsky Mikhail Khodorkovsky Cu Huy Ha Vu Tajul Muluk Antonio Augusto Villareal Acosta Adem Demaçi Néstor Rodríguez Lobaina Emin Milli Ebrima Manneh Nguyễn Văn Đài Haitham al-Maleh Cheam Channy Mikhail Sado Petros Solomon Orhan Doğan Mümtaz Soysal Boris Nemtsov Nguyen Dan Que Dawit Isaak Igor Sutyagin Sergey Mokhnatkin U Myint Aye Alexandr Podrabinek Omar Pernet Hernández Somyot Prueksakasemsuk Mian Ghulam Jilani Ren Wanding Mohammed al-Tajer İnan Süver Hu Jia Oleg Navalny Kasra Nouri Hamma Hammami Yuri Orlov Jack Mapanje José Daniel Ferrer García Félix Navarro Rodríguez Olabiyi Durojaiye Maikel Nabil Sanad Kouhyar Goudarzi Mahmoud Ahmed Sherifo Ali Mohammed Baqir al-Nimr Abdollah Momeni Darsi Ferrer Ramírez Khaled al-Johani Héctor Maseda Gutiérrez Václav Havel Antonio Díaz Sánchez Riad Seif Alaksandar Kazulin Keyvan Rafiee Amos Yee Pang Sang Adolfo Fernández Sainz Sari Nusseibeh Li Wangyang Pavel Sevyarynets Rasul Jafarov Rashad Hasanov Annakurban Amanklychev Saud al-Hashimi Mansour Osanlou Ali Salman Aye Aung Hatip Dicle Khan Abdul Ghaffar Khan Abdulhadi al-Khawaja Kartam Joga Vi Duc Hoi Raif Badawi Kamal al-Labwani Chen Wei Hamid Pourmand Mohammed Daddach Semyon Gluzman Mohsen Sazegara Nelson Aguiar Ramírez Abdollah Nouri Faustin Ndikumana Kareem Amer Mordechai Vanunu Józef Pinior Youcef Nadarkhani Azam Farmonov Yndamiro Restano Díaz Ampon Tangnoppakul Reza Shahabi Buchtar Tabuni Osman Mohamud Rene Gomez Manzano Nikolay Kavkazsky Ramin Bayramov Thaung Tun Younus Shaikh Francisco Chaviano Kim Dae-jung Omar Ruiz Hernández Pap Saine Rashadat Akhundov Brahim Dahane Alber Saber Yury Bandazhevsky Balys Gajauskas Ibrahim Sharif Anwar al-Bunni Bakhtiyar Hajiyev Thet Win Aung Zaw Htet Ko Ko Alexis Sinduhije Shibal Ibrahim Nasser Abul Lev Ponomaryov Ngũgĩ wa Thiong'o Luis Milán Fernández Dhondup Wangchen Mahjoub Sharif Chee Soon Juan Salijon Abdurahmanov Yusak Pakage Mohammad Fahad al-Qahtani Óscar Elías Biscet Taner Akçam Bertrand Teyou Lim Hock Siew Sergei Udaltsov Khun Htun Oo Hamadi Jebali Sayed Ziaoddin Nabavi Mam Sonando Hamad al-Naqi Raji Sourani Ruslan Kotsaba Pyotr Grigorenko Andrei Sakharov Abdolfattah Soltani Calixto Martínez Khalil al-Marzooq Anar Bayramli Ali Abd Jalil Eduard Lobau Alexander Aan Josef Beran Valery Levaneuski Anar Mammadli Ahmad Batebi Wipas Raksakulthai Guo Xiaojun Amir-Abbas Fakhravar Jabbar Savalan Nelson Moliné Espino Shi Tao Amadou Scattred Janneh Sebastian Arcos Bergnes Ricardo Enrique Silva Felix Bonne Johan Teterisa Agustin Aguayo Cosmas Desmond Guo Feixiong Wang Wanxing Dhabihu'llah Mahrami Mohammad Seddigh Kaboudvand Zmitser Dashkevich Arturo Pérez de Alejo Rodríguez Steven Gan Maajid Nawaz Mohamed Nasheed Jean-Claude Kavumbagu Jean-Marie Seroney Jigme Gyatso Azimzhan Askarov Le Quoc Quan Huang Qi Nguyen Chi Thien Anwar Ibrahim Majid Tavakoli Liu Xiaobo Zarganar Oscar Espinosa Chepe Hossein Ronaghi Gérard Jean-Juste Leonel Grave de Peralta Tuot Saron Asghar Khan Francis Seow Manuel Vázquez Portal Tran Quoc Hien Myo Min Zaw Bassel Khartabil Selim Sadak Ilya Yashin Nguyen Van Hai Vladimir Bukovsky Faisal Saleh Natan Sharansky Mohammed Saleh al-Bejadi Alejandro González Raga Akın Birdal Ricardo González Alfonso Ko Ko Gyi Alfredo Domínguez Batista Ocak Işık Yurtçu Min Ko Naing Uzeyir Mammadli Camilo Mejía Tsimafei Dranchuk Gbenga Toyosi Olawepo Anatoly Lebedko Normando Hernández González Orlando Zapata Hamza Kasgari Phan Thanh Hai Ales Michalevic Chakufwa Chihana Arzhang Davoodi Halil Savda Juan E. Méndez Rasul Bux Palejo Albert Langer Mikhail Marynich Jorge Luis González Tanquero Andrei Sannikov Mya Aye Baik Tae-Ung Usamah Mohamad Yuli-Yoel Edelstein Seif Sharif Hamad Bolat Atabaev Ata Abu Rashta Eynulla Fatullayev Berhanu Nega Pasteur Bizimungu Mesfin Woldemariam Trần Huỳnh Duy Thức Iosif Begun Charles Ntakirutinka Hong Song-dam José Marcos Mavungo Nosa Igiebor Ales Bialiatski Yang Chunlin Uladzimir Nyaklyayew Gleb Yakunin Mikalay Autukhovich Beko Ransome-Kuti Leopoldo López U Sein Than Ali Anouzla Pham Hong Son Eskinder Nega Ahmed Abdul Khaleq Juma Duni Haji Alisher Karamatov Viktor Nekipelov Asrat Woldeyes Naser al-Raas Doan Van Dien Sergei Kovalev Alexey Navalny Jean-Claude Roger Mbede Filep Karma Yuli Daniel Fela Kuti Blas Giraldo Reyes Rodríguez Alexander Nikitin Nguyen Van Ly Andrzej Poczobut Khun Bedu Chen Guangcheng Intiqam Aliyev Rachid Niny Zayar Thaw Vincent Cheng Binayak Sen Tek Nath Rizal Mikola Statkevich Ngawang Chophel Mohammad Seifzadeh Aref Dalila Vil Mirzayanov U Gambira Heshmat Tabarzadi J. S. Tissainayagam Ogtay Gulaliyev Marko Veselica Ismail Khilath Rasheed Orton Chirwa Shabir Shah Hồ Đức Hoà Ahmad Qatamesh Ohn Than Vidadi Isgandarov Harry Wu Diosdado González Marrero Paval Sieviaryniets Haile Woldense Gumersindo Ramírez Faustino Yacob Haile-Mariam Kem Sokha Arnaldo Ramos Lauzerique Karpal Singh Mansour al-Omari Grigory Pasko Armando Valladares Palden Gyatso Woo Yong-gak Anton Suryapin
Doan Van Dien Zmitser Dashkevich Ko Ko Gyi Archbishop Jovan VI of Ohrid Somyot Prueksakasemsuk Vidadi Isgandarov Gleb Yakunin Arturo Pérez de Alejo Rodríguez Lim Hock Siew Yuli Daniel
action filter_type
action intersection
action find_reverse
entity prisoner of conscience
relation significant event
action find_reverse
entity male
relation gender
type common name
{'AND': [[{'concept': 'common name'}, 'significant event', 'prisoner of conscience'], [{'concept': 'common name'}, 'gender', 'male']]}
SELECT DISTINCT ?f WHERE { ?f property:significant_event resource:prisoner_of_conscience . ?f property:gender resource:male . ?f rdf:type ontology:common_name }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q1343007
P1303
Q34379 Q502895
USER
Which musical instruments are played by more number of people than electronic keyboard ?
(c(Q502895),P1303,c(Q34379))
action greater
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
action count
action filter_type
action find
entity Q1343007
relation P1303
type Q34379
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ?i ( COUNT ( ?r ) AS ?k ) WHERE { ?r rdf:type ontology:Q502895 . ?i rdf:type ontology:Q34379 . ?r property:P1303 ?i } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Q1343007 property:P1303 ?v . ?v rdf:type ontology:Q34379 } } . FILTER ( ?k > ?j ) }
electronic keyboard
action greater
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
action count
action filter_type
action find
entity electronic keyboard
relation instrument
type musical instrument
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ?i ( COUNT ( ?r ) AS ?k ) WHERE { ?r rdf:type ontology:common_name . ?i rdf:type ontology:musical_instrument . ?r property:instrument ?i } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:electronic_keyboard property:instrument ?v . ?v rdf:type ontology:musical_instrument } } . FILTER ( ?k > ?j ) }
[]
musical instrument common name
Q5994 Q80284 Q46185
SYSTEM
piano, viola, bass guitar
Q80284 Q46185 Q80019 Q5994 Q8338 Q8371 Q8355 Q1444 Q128309
(c(Q502895),P1303,c(Q34379))
action greater
action find_reverse_tuple_counts
relation P1303
type Q34379
type Q502895
action count
action filter_type
action find
entity Q1343007
relation P1303
type Q34379
[ANSWERS]
[{'concept': 'Q502895'}, 'P1303', {'concept': 'Q34379'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ?i ( COUNT ( ?r ) AS ?k ) WHERE { ?r rdf:type ontology:Q502895 . ?i rdf:type ontology:Q34379 . ?r property:P1303 ?i } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:Q1343007 property:P1303 ?v . ?v rdf:type ontology:Q34379 } } . FILTER ( ?k > ?j ) }
viola bass guitar double bass piano trumpet cello violin organ drum kit
piano viola bass guitar
action greater
action find_reverse_tuple_counts
relation instrument
type musical instrument
type common name
action count
action filter_type
action find
entity electronic keyboard
relation instrument
type musical instrument
[{'concept': 'common name'}, 'instrument', {'concept': 'musical instrument'}]
SELECT DISTINCT ?i WHERE { { SELECT DISTINCT ?i ( COUNT ( ?r ) AS ?k ) WHERE { ?r rdf:type ontology:common_name . ?i rdf:type ontology:musical_instrument . ?r property:instrument ?i } GROUP BY ?i } . { SELECT DISTINCT ( COUNT ( ?v ) AS ?j ) WHERE { resource:electronic_keyboard property:instrument ?v . ?v rdf:type ontology:musical_instrument } } . FILTER ( ?k > ?j ) }
[]
Verification (Boolean) (All)
Verification|one entity, multiple entities (as object) referred indirectly
Q23215
P1303
Q502895
USER
Does Adele can play those musical instruments ?
(Q23215,P1303,Q5994) (Q23215,P1303,Q80284) (Q23215,P1303,Q46185)
action is_in
entity prev_answer
action find
entity Q23215
relation P1303
['Q23215', 'P1303', 'Q5994'] ['Q23215', 'P1303', 'Q80284'] ['Q23215', 'P1303', 'Q46185']
ASK WHERE { VALUES ( ?p ) { ( resource:Q80284 ) ( resource:Q46185 ) ( resource:Q80019 ) } . resource:Q23215 property:P1303 ?p }
Adele
action is_in
entity prev_answer
action find
entity Adele
relation instrument
['Adele', 'instrument', 'piano'] ['Adele', 'instrument', 'viola'] ['Adele', 'instrument', 'bass guitar']
ASK WHERE { VALUES ( ?p ) { ( resource:viola ) ( resource:bass_guitar ) ( resource:double_bass ) } . resource:Adele property:instrument ?p }
[]
common name
SYSTEM
YES
(Q23215,P1303,Q5994) (Q23215,P1303,Q80284) (Q23215,P1303,Q46185)
action is_in
entity prev_answer
action find
entity Q23215
relation P1303
[ANSWER]
['Q23215', 'P1303', 'Q5994'] ['Q23215', 'P1303', 'Q80284'] ['Q23215', 'P1303', 'Q46185']
ASK WHERE { VALUES ( ?p ) { ( resource:Q80284 ) ( resource:Q46185 ) ( resource:Q80019 ) } . resource:Q23215 property:P1303 ?p }
Yes
action is_in
entity prev_answer
action find
entity Adele
relation instrument
['Adele', 'instrument', 'piano'] ['Adele', 'instrument', 'viola'] ['Adele', 'instrument', 'bass guitar']
ASK WHERE { VALUES ( ?p ) { ( resource:viola ) ( resource:bass_guitar ) ( resource:double_bass ) } . resource:Adele property:instrument ?p }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q273508 Q7822253 Q21031811
P61
Q502895
USER
Was inflation invented or discoverd by Tony Doyle and Manfred Balcerzak ?
(Q273508,P61,Q7822253) (Q273508,P61,Q21031811)
action is_in
entity Q273508
action intersection
action find_reverse
entity Q7822253
relation P61
action find_reverse
entity Q21031811
relation P61
['Q273508', 'P61', 'Q7822253'] ['Q273508', 'P61', 'Q21031811']
ASK WHERE { resource:Q273508 property:P61 resource:Q7822253 . resource:Q273508 property:P61 resource:Q21031811 }
inflation Tony Doyle Manfred Balcerzak
action is_in
entity inflation
action intersection
action find_reverse
entity Tony Doyle
relation discoverer or inventor
action find_reverse
entity Manfred Balcerzak
relation discoverer or inventor
['inflation', 'discoverer or inventor', 'Tony Doyle'] ['inflation', 'discoverer or inventor', 'Manfred Balcerzak']
ASK WHERE { resource:inflation property:discoverer_or_inventor resource:Tony_Doyle . resource:inflation property:discoverer_or_inventor resource:Manfred_Balcerzak }
[]
common name
SYSTEM
NO
(Q273508,P61,Q7822253) (Q273508,P61,Q21031811)
action is_in
entity Q273508
action intersection
action find_reverse
entity Q7822253
relation P61
action find_reverse
entity Q21031811
relation P61
[ANSWER]
['Q273508', 'P61', 'Q7822253'] ['Q273508', 'P61', 'Q21031811']
ASK WHERE { resource:Q273508 property:P61 resource:Q7822253 . resource:Q273508 property:P61 resource:Q21031811 }
No
action is_in
entity inflation
action intersection
action find_reverse
entity Tony Doyle
relation discoverer or inventor
action find_reverse
entity Manfred Balcerzak
relation discoverer or inventor
['inflation', 'discoverer or inventor', 'Tony Doyle'] ['inflation', 'discoverer or inventor', 'Manfred Balcerzak']
ASK WHERE { resource:inflation property:discoverer_or_inventor resource:Tony_Doyle . resource:inflation property:discoverer_or_inventor resource:Manfred_Balcerzak }
[]