Simple Question (Direct)
Simple Question
Q725989
P21
Q290
USER
Which sex does Chiharu Igaya belong to ?
(Q725989,P21,c(Q290))
action filter_type
action find
entity Q725989
relation P21
type Q290
['Q725989', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?m WHERE { resource:Q725989 property:P21 ?m . ?m rdf:type ontology:Q290 }
Chiharu Igaya
action filter_type
action find
entity Chiharu Igaya
relation gender
type sex
['Chiharu Igaya', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?m WHERE { resource:Chiharu_Igaya property:gender ?m . ?m rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q725989,P21,c(Q290))
action filter_type
action find
entity Q725989
relation P21
type Q290
[ANSWER]
['Q725989', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?m WHERE { resource:Q725989 property:P21 ?m . ?m rdf:type ontology:Q290 }
male
male
action filter_type
action find
entity Chiharu Igaya
relation gender
type sex
['Chiharu Igaya', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?m WHERE { resource:Chiharu_Igaya property:gender ?m . ?m rdf:type ontology:sex }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q725989
P27
Q15617994
USER
Which administrative territory is Chiharu Igaya an inhabitant of ?
(Q725989,P27,c(Q15617994))
action filter_type
action find
entity Q725989
relation P27
type Q15617994
['Q725989', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q725989 property:P27 ?m . ?m rdf:type ontology:Q15617994 }
Chiharu Igaya
action filter_type
action find
entity Chiharu Igaya
relation country of citizenship
type designation for an administrative territorial entity
['Chiharu Igaya', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Chiharu_Igaya property:country_of_citizenship ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q17
SYSTEM
Japan
Q17
(Q725989,P27,c(Q15617994))
action filter_type
action find
entity Q725989
relation P27
type Q15617994
[ANSWER]
['Q725989', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?m WHERE { resource:Q725989 property:P27 ?m . ?m rdf:type ontology:Q15617994 }
Japan
Japan
action filter_type
action find
entity Chiharu Igaya
relation country of citizenship
type designation for an administrative territorial entity
['Chiharu Igaya', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?m WHERE { resource:Chiharu_Igaya property:country_of_citizenship ?m . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Intersection|Single_Relation
Q165264 Q17
P30
Q2221906
USER
Which geographic locations are Japan and Chitradurga district a part of ?
AND((Q17,P30,c(Q2221906)), (Q165264,P30,c(Q2221906)))
action filter_type
action intersection
action find
entity Q17
relation P30
action find
entity Q165264
relation P30
type Q2221906
{'AND': [['Q17', 'P30', {'concept': 'Q2221906'}], ['Q165264', 'P30', {'concept': 'Q2221906'}]]}
SELECT DISTINCT ?u WHERE { resource:Q17 property:P30 ?u . resource:Q165264 property:P30 ?u . ?u rdf:type ontology:Q2221906 }
Chitradurga district Japan
action filter_type
action intersection
action find
entity Japan
relation continent
action find
entity Chitradurga district
relation continent
type geographic location
{'AND': [['Japan', 'continent', {'concept': 'geographic location'}], ['Chitradurga district', 'continent', {'concept': 'geographic location'}]]}
SELECT DISTINCT ?u WHERE { resource:Japan property:continent ?u . resource:Chitradurga_district property:continent ?u . ?u rdf:type ontology:geographic_location }
[]
geographic location
Q48
SYSTEM
Asia
Q48
AND((Q17,P30,c(Q2221906)), (Q165264,P30,c(Q2221906)))
action filter_type
action intersection
action find
entity Q17
relation P30
action find
entity Q165264
relation P30
type Q2221906
[ANSWER]
{'AND': [['Q17', 'P30', {'concept': 'Q2221906'}], ['Q165264', 'P30', {'concept': 'Q2221906'}]]}
SELECT DISTINCT ?u WHERE { resource:Q17 property:P30 ?u . resource:Q165264 property:P30 ?u . ?u rdf:type ontology:Q2221906 }
Asia
Asia
action filter_type
action intersection
action find
entity Japan
relation continent
action find
entity Chitradurga district
relation continent
type geographic location
{'AND': [['Japan', 'continent', {'concept': 'geographic location'}], ['Chitradurga district', 'continent', {'concept': 'geographic location'}]]}
SELECT DISTINCT ?u WHERE { resource:Japan property:continent ?u . resource:Chitradurga_district property:continent ?u . ?u rdf:type ontology:geographic_location }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, object is indirect
Q48 Q16479231
P30
Q355304
USER
Is Žygis situated in that geographic location ?
(Q16479231,P30,Q48)
action is_in
entity Q16479231
action find
entity Q48
relation P30
['Q16479231', 'P30', 'Q48']
ASK WHERE { resource:Q48 property:P30 resource:Q16479231 }
Asia Žygis
action is_in
entity Žygis
action find
entity Asia
relation continent
['Žygis', 'continent', 'Asia']
ASK WHERE { resource:Asia property:continent resource:Žygis }
[]
watercourse
SYSTEM
NO
(Q16479231,P30,Q48)
action is_in
entity Q16479231
action find
entity Q48
relation P30
[ANSWER]
['Q16479231', 'P30', 'Q48']
ASK WHERE { resource:Q48 property:P30 resource:Q16479231 }
No
action is_in
entity Žygis
action find
entity Asia
relation continent
['Žygis', 'continent', 'Asia']
ASK WHERE { resource:Asia property:continent resource:Žygis }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q3941262 Q17
P530 P27
Q15617994
USER
Which administrative territories have diplomatic relationships with Japan and are not the countries of citizenship of Rosa Stella Nardari ?
AND((Q17,P530,c(Q15617994)), NOT((Q3941262,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q17
relation P530
action find
entity Q3941262
relation P27
type Q15617994
{'AND': [['Q17', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q3941262', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?k WHERE { FILTER NOT EXISTS { resource:Q3941262 property:P27 ?k } . resource:Q17 property:P530 ?k . ?k rdf:type ontology:Q15617994 }
Rosa Stella Nardari Japan
action filter_type
action difference
action find
entity Japan
relation diplomatic relation
action find
entity Rosa Stella Nardari
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Japan', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Rosa Stella Nardari', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?k WHERE { FILTER NOT EXISTS { resource:Rosa_Stella_Nardari property:country_of_citizenship ?k } . resource:Japan property:diplomatic_relation ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q227 Q142 Q711 Q159 Q801 Q145 Q155 Q30 Q869 Q884
SYSTEM
Azerbaijan, France, Mongolia, Russia, Israel, United Kingdom, Brazil, United States of America, Thailand, South Korea
Q227 Q142 Q711 Q159 Q801 Q145 Q155 Q30 Q869 Q884
AND((Q17,P530,c(Q15617994)), NOT((Q3941262,P27,c(Q15617994))))
action filter_type
action difference
action find
entity Q17
relation P530
action find
entity Q3941262
relation P27
type Q15617994
[ANSWERS]
{'AND': [['Q17', 'P530', {'concept': 'Q15617994'}], {'NOT': [['Q3941262', 'P27', {'concept': 'Q15617994'}]]}]}
SELECT DISTINCT ?k WHERE { FILTER NOT EXISTS { resource:Q3941262 property:P27 ?k } . resource:Q17 property:P530 ?k . ?k rdf:type ontology:Q15617994 }
Azerbaijan France Mongolia Russia Israel United Kingdom Brazil United States of America Thailand South Korea
Azerbaijan France Mongolia Russia Israel United Kingdom Brazil United States of America Thailand South Korea
action filter_type
action difference
action find
entity Japan
relation diplomatic relation
action find
entity Rosa Stella Nardari
relation country of citizenship
type designation for an administrative territorial entity
{'AND': [['Japan', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], {'NOT': [['Rosa Stella Nardari', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]]}]}
SELECT DISTINCT ?k WHERE { FILTER NOT EXISTS { resource:Rosa_Stella_Nardari property:country_of_citizenship ?k } . resource:Japan property:diplomatic_relation ?k . ?k rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Difference|Multiple_Relation
Q794 Q48
P30 P17
Q56061
USER
Which administrative territories are a part of Asia and are not found in Iran ?
AND((c(Q56061),P30,Q48), NOT((c(Q56061),P17,Q794)))
action filter_type
action difference
action find_reverse
entity Q48
relation P30
action find_reverse
entity Q794
relation P17
type Q56061
{'AND': [[{'concept': 'Q56061'}, 'P30', 'Q48'], {'NOT': [[{'concept': 'Q56061'}, 'P17', 'Q794']]}]}
SELECT DISTINCT ?n WHERE { ?n property:P30 resource:Q48 . MINUS { ?n property:P17 resource:Q794 } . ?n rdf:type ontology:Q56061 }
Iran Asia
action filter_type
action difference
action find_reverse
entity Asia
relation continent
action find_reverse
entity Iran
relation country
type administrative territorial entity
{'AND': [[{'concept': 'administrative territorial entity'}, 'continent', 'Asia'], {'NOT': [[{'concept': 'administrative territorial entity'}, 'country', 'Iran']]}]}
SELECT DISTINCT ?n WHERE { ?n property:continent resource:Asia . MINUS { ?n property:country resource:Iran } . ?n rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q2441904 Q1026885 Q7127885 Q2716589 Q280709 Q4258240 Q4680102 Q986582 Q15241652 Q748336
SYSTEM
Some of them are Zamin Uthukuli, Haveri, Pallikondapattu, Punjaipugalur, Yavatmal, Lenino, Adamangalam-Pudur, Manali, Tamil Nadu, Busse, Battambang
Q7171098 Q2715968 Q1366569 Q2441038 Q7708904 Q2236242 Q6741110 Q46415 Q4777848 Q200235 Q2716938 Q7709797 Q16648189 Q976 Q15552182 Q5877199 Q592059 Q380144 Q5616433 Q157478 Q1753744 Q10086 Q2716589 Q2357934 Q6988747 Q2716197 Q5396726 Q490682 Q6959531 Q196694 Q2443840 Q1156 Q2540938 Q6434363 Q6960984 Q6755081 Q1325683 Q2229668 Q192098 Q16658180 Q15241652 Q6348681 Q302654 Q7141235 Q2716112 Q6901179 Q66616 Q2715851 Q2443984 Q2718140 Q253851 Q7397626 Q986582 Q691360 Q242563 Q2541574 Q11909 Q16650704 Q7260855 Q167715 Q565956 Q2541130 Q2242807 Q3816646 Q5269306 Q406 Q244415 Q748336 Q5147067 Q2716607 Q2716558 Q26569 Q738444 Q4415146 Q7563991 Q2715998 Q4629 Q7046355 Q9824 Q7054 Q956 Q207754 Q2443911 Q2541166 Q959 Q7785365 Q584703 Q3531934 Q196934 Q3957365 Q6480331 Q458 Q987 Q16016733 Q2718151 Q103850 Q631849 Q515500 Q198131 Q3850377 Q6862267 Q585085 Q11854 Q4258240 Q1190753 Q2353293 Q1026885 Q5989854 Q490715 Q7163366 Q3929844 Q7399779 Q515117 Q16658210 Q214681 Q7135124 Q5389622 Q2137025 Q208162 Q1264822 Q7919197 Q1105919 Q202822 Q1753709 Q103993 Q298780 Q2716157 Q16658191 Q781354 Q2716091 Q7931394 Q5094191 Q6353280 Q4067724 Q525933 Q7920868 Q1728043 Q4525589 Q6960946 Q277322 Q9863 Q7785539 Q4070552 Q16636995 Q7488779 Q15241524 Q9923 Q2541013 Q584494 Q334 Q2231093 Q21995688 Q7639241 Q2283203 Q16658204 Q16658206 Q463252 Q16658203 Q4740168 Q280709 Q5353440 Q12063672 Q5101164 Q95449 Q584605 Q105455 Q6350754 Q16658016 Q134760 Q4984306 Q1436816 Q1929511 Q1353 Q1352 Q5043782 Q4678485 Q1261552 Q1513 Q1389472 Q1707422 Q1538 Q15241519 Q6907792 Q5087979 Q4207520 Q16472108 Q15241517 Q15241516 Q6425464 Q30951 Q2728994 Q7809396 Q12423923 Q584411 Q720084 Q1047189 Q589108 Q6432749 Q37112 Q5379235 Q4680102 Q16658184 Q2716014 Q4661775 Q906 Q2231112 Q298706 Q2715119 Q641140 Q1701113 Q16015068 Q6813576 Q7919940 Q2716132 Q2341728 Q6444256 Q4992182 Q7285664 Q5520494 Q200311 Q7172 Q16645832 Q242995 Q16472115 Q15241991 Q15241507 Q16654056 Q203476 Q1557417 Q4072448 Q254244 Q14621387 Q2019694 Q7919471 Q709267 Q7171051 Q7259312 Q2548014 Q624467 Q12984248 Q12015671 Q269 Q7920131 Q6750285 Q4789666 Q6750283 Q463273 Q1930255 Q6963452 Q7102905 Q1382194 Q6382752 Q1487593 Q7710223 Q9270 Q16168559 Q4764499 Q6447394 Q817218 Q4750920 Q2992455 Q7458119 Q2540565 Q7079803 Q2229696 Q12984638 Q2242833 Q760153 Q3626380 Q19188 Q1800 Q461922 Q519486 Q16650690 Q6379117 Q298416 Q4454 Q456737 Q16869 Q3630738 Q2229537 Q582655 Q1348 Q7530672 Q318404 Q4657770 Q1646915 Q3595887 Q13640603 Q42941 Q2715723 Q105342 Q16015040 Q18399563 Q2625490 Q21205843 Q163798 Q15241523 Q6747109 Q16255241 Q2441904 Q2441049 Q7127885 Q2308150 Q1000485 Q2554837 Q5269590 Q2454031 Q2554830 Q6364 Q978780 Q6934142 Q2229733 Q4483736 Q12984622 Q3778477 Q840867 Q228405 Q5266485 Q18077674 Q6744164
AND((c(Q56061),P30,Q48), NOT((c(Q56061),P17,Q794)))
action filter_type
action difference
action find_reverse
entity Q48
relation P30
action find_reverse
entity Q794
relation P17
type Q56061
[ANSWERS]
{'AND': [[{'concept': 'Q56061'}, 'P30', 'Q48'], {'NOT': [[{'concept': 'Q56061'}, 'P17', 'Q794']]}]}
SELECT DISTINCT ?n WHERE { ?n property:P30 resource:Q48 . MINUS { ?n property:P17 resource:Q794 } . ?n rdf:type ontology:Q56061 }
Perungattur Vettaikaranpudur Malka River Karambakkam Thachu oorani Madukkarai Malaiyur Chitradurga Anupparpalayam Nashik Padianallur Thamaraipakkam Yelizavetovka Tomsk Tikhmenevo Hogenakkal Kinathukadavu Adyar Guindy Lesozavodsk Irugur Mysore Punjaipugalur Kerki Rathina Sabapathi Puram Pennathur Esanatham Achipatti Naidumangalam Troitsk Kalapatti Mumbai Mandapam Kottur-Malayandipattinam Nallur, Tirupur Maravamangalam Viluppuram Thenkarai Oymyakon Orlovka Busse Kaivandur Valsad Paruvathanahalli Marungur, Tamil Nadu Monnani Indore Saravanampatti Chettipalayam Odaiyakulam Kodaikanal Sadayampattu Manali, Tamil Nadu Kangayampalayam Sathyamangalam Melachokkanathapuram Vadodara Innokent'evka Purasawalkam Thiruvananthapuram Anna Nagar Vedapatti Kurumbalur Kottur, Tamil Nadu Dharmapuri taluk Istanbul Gorakhpur Battambang Villivakkam Periyanaickenpalayam Samalapuram Zahlé Karumathampatti Thiruvetriyur Sothukanni Ulundurpettai Surat Nochimalai Erode Dalnegorsk Beijing Trichy Kariamangalam Nerkunram Vladivostok Thirumullaivoyal Alanthurai Pattabiram Ussuriysk Thoppur Laligam European Union New Delhi Orlinoye Palakkodu Arsenyev Diu Vilankurichi Mettupalayam, Coimbatore Marudur Mimisal Athipattu Rajkot Lenino Desur Barnala district Haveri Iduvoi Abiramam Pennagaram taluk Ramapuram, Chennai Sai Baba colony Margao Urozhaynoye Panjim Paramanandal Eriyur Kengeri Patiala Dhemaji Velliyanai Chinniampalayam Amritsar district Inam Karur Artyom Pollachi Sankaramanallur Polevoye Kapurthala Thamaraikulam Vinayagapuram Chetput Kaliyani Anuchino Chinnavedampatti Veraiyur Sheremetyevo Shmakovka Nallampalli Yanam Salem Thiruvegampet Arkhangelovka Glazovka Shanmuganatha Pattanam Abrazheyevka Namakkal Mulanur Avadi Singapore Umbergaon Anaittha Sundaramudayan Mhow Tamga Turgenevo Daman, Daman and Diu Ruzhino Perumanallur Yavatmal Elangarkudi Neemrana Chinnakuyili Magnitogorsk Nuzi Miass Kalasapakkam Nevskoye Dalnerechensk Buddireddipatti Tirupati Lonavla Delhi Chennai Washermanpet Adaiyur Dhaliyur Nagpur Dumka Goundampalayam Pune Alekseyevka Moongilthuraipattu Chatur Vedha Mangalam Kazakevichevo Lesnoye Altynovka Alchan Kodungaiyur Jalgaon Kokrajhar Tiruppathur Gummudipoondi Anaimalai Guruvayur Golovnino Ashoknagar District Korukkupet Gulbarga Ennore Adamangalam-Pudur Panteleymonovka Thudiyalur Adambakkam Chelyabinsk Sirumugai Palani Pallipattu Hanumanthampatti Madhavaram Venyukovo Melpakkam Vengikkal Sathiyavijayanagaram Tarn Taran Sahib Kundagavayal Sadras Rajakilpakkam Ganapathy, Coimbatore Mathura Arab League Donskoye Jhansi Kurskoye Nizhnie Luzhki Arkhipovka Markovo Port Blair Thiruttani Aurovka Gobichettipalayam Anna Mehsana district Vembakkam Bardhaman Perumbakkam Puliakulam Udumalaipettai Hanseongbu Tiruvannamalai taluk Novokiyevsky Uval Tashkent Vennaimalai Maniyakarampalayam Kannur Maniyadhalli Mahabaleshwar Kombai, Tamil Nadu Nangaimozhi Oriyur Pen Keelathaniyam Rampur Thandukkaran palayam Thimphu Novozhatkovo Anichangkuppam Kurumbapatti Karur Anaicut Mambalam Sevvur Vellakinar Ogalur Tiruvethipuram Devakottai taluk Kurudampalayam Bharuch Gandhipuram, Coimbatore Mainland China Kochi Bidar Davangere Il'movka Kavaraipettai Madikeri Khabarovsk Ambattur Constantinople Bhood Tiruverkadu Ashokapuram Kolkata Sirukoodalpatti Silvassa Walayar Mylapore Khandala Banevurovo Agra Thirumalayampalayam Bolshoy Kamen Ariadnoye Argunskoye Mangalam Khatyari Thrissur Abramovka Manavasi Joh Himachal Pradesh Zamin Uthukuli Kanakkampalayam Pallikondapattu Karamadai Raebareli Maraimalai Nagar Dhinna Bellur Triplicane Minjur Uchkuduk Vasco da Gama Mullandrum Thiruneermalai Filaretovka Theni taluk Gudalur Rudnaya Pristan Madurai Devanambattu Aleksey-Nikol'skoye Mallial
Zamin Uthukuli Haveri Pallikondapattu Punjaipugalur Yavatmal Lenino Adamangalam-Pudur Manali, Tamil Nadu Busse Battambang
action filter_type
action difference
action find_reverse
entity Asia
relation continent
action find_reverse
entity Iran
relation country
type administrative territorial entity
{'AND': [[{'concept': 'administrative territorial entity'}, 'continent', 'Asia'], {'NOT': [[{'concept': 'administrative territorial entity'}, 'country', 'Iran']]}]}
SELECT DISTINCT ?n WHERE { ?n property:continent resource:Asia . MINUS { ?n property:country resource:Iran } . ?n rdf:type ontology:administrative_territorial_entity }
[]
Logical Reasoning (All)
Logical|Union|Multiple_Relation
Q15913651 Q17
P530 P17
Q15617994
USER
Which administrative territories have a diplomatic relationship with Japan or are S30 a part of ?
OR((Q17,P530,c(Q15617994)), (Q15913651,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q17
relation P530
action find
entity Q15913651
relation P17
type Q15617994
{'OR': [['Q17', 'P530', {'concept': 'Q15617994'}], ['Q15913651', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Q15913651 property:P17 ?l } UNION { resource:Q17 property:P530 ?l } } . ?l rdf:type ontology:Q15617994 }
S30 Japan
action filter_type
action union
action find
entity Japan
relation diplomatic relation
action find
entity S30
relation country
type designation for an administrative territorial entity
{'OR': [['Japan', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['S30', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { { resource:S30 property:country ?l } UNION { resource:Japan property:diplomatic_relation ?l } } . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q227 Q801 Q869 Q30 Q711 Q884 Q38 Q155 Q159 Q148
SYSTEM
Some of them are Azerbaijan, Israel, Thailand, United States of America, Mongolia, South Korea, Italy, Brazil, Russia, People's Republic of China
Q227 Q142 Q711 Q884 Q159 Q801 Q145 Q155 Q148 Q30 Q869 Q38
OR((Q17,P530,c(Q15617994)), (Q15913651,P17,c(Q15617994)))
action filter_type
action union
action find
entity Q17
relation P530
action find
entity Q15913651
relation P17
type Q15617994
[ANSWERS]
{'OR': [['Q17', 'P530', {'concept': 'Q15617994'}], ['Q15913651', 'P17', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?l WHERE { { { resource:Q15913651 property:P17 ?l } UNION { resource:Q17 property:P530 ?l } } . ?l rdf:type ontology:Q15617994 }
Azerbaijan France Mongolia South Korea Russia Israel United Kingdom Brazil People's Republic of China United States of America Thailand Italy
Azerbaijan Israel Thailand United States of America Mongolia South Korea Italy Brazil Russia People's Republic of China
action filter_type
action union
action find
entity Japan
relation diplomatic relation
action find
entity S30
relation country
type designation for an administrative territorial entity
{'OR': [['Japan', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['S30', 'country', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?l WHERE { { { resource:S30 property:country ?l } UNION { resource:Japan property:diplomatic_relation ?l } } . ?l rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q887
P138
Q2221906 Q337567 Q56061
USER
Which administrative territories have greater number of geographic locations and still waterss as their toponym than Yekaterinburg ?
(c(Q56061),P138,c(Q2221906)|c(Q337567))
action greater
action union
action find_tuple_counts
relation P138
type Q56061
type Q2221906
action find_tuple_counts
relation P138
type Q56061
type Q337567
action count
action filter_multi_types
action find
entity Q887
relation P138
type Q2221906
type Q337567
[{'concept': 'Q56061'}, 'P138', [{'concept': 'Q2221906'}, {'concept': 'Q337567'}]]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?s ) AS ?k ) WHERE { VALUES ( ?t ) { ( ontology:Q2221906 ) ( ontology:Q337567 ) } . ?s rdf:type ?t } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?p ) WHERE { { ?z rdf:type ?y . VALUES ( ?y ) { ( ontology:Q2221906 ) ( ontology:Q337567 ) } } . resource:Q887 property:P138 ?z } } . FILTER ( ?k > ?p ) }
Yekaterinburg
action greater
action union
action find_tuple_counts
relation named after
type administrative territorial entity
type geographic location
action find_tuple_counts
relation named after
type administrative territorial entity
type still waters
action count
action filter_multi_types
action find
entity Yekaterinburg
relation named after
type geographic location
type still waters
[{'concept': 'administrative territorial entity'}, 'named after', [{'concept': 'geographic location'}, {'concept': 'still waters'}]]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?s ) AS ?k ) WHERE { VALUES ( ?t ) { ( ontology:geographic_location ) ( ontology:still_waters ) } . ?s rdf:type ?t } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?p ) WHERE { { ?z rdf:type ?y . VALUES ( ?y ) { ( ontology:geographic_location ) ( ontology:still_waters ) } } . resource:Yekaterinburg property:named_after ?z } } . FILTER ( ?k > ?p ) }
[]
geographic location still waters administrative territorial entity
Q458 Q83178 Q12980087
SYSTEM
European Union, Almere, Flaten
Q83178 Q18682030 Q11899935 Q11870465 Q18659914 Q12980087 Q11901984 Q458 Q11873198 Q11901400
(c(Q56061),P138,c(Q2221906)|c(Q337567))
action greater
action union
action find_tuple_counts
relation P138
type Q56061
type Q2221906
action find_tuple_counts
relation P138
type Q56061
type Q337567
action count
action filter_multi_types
action find
entity Q887
relation P138
type Q2221906
type Q337567
[ANSWERS]
[{'concept': 'Q56061'}, 'P138', [{'concept': 'Q2221906'}, {'concept': 'Q337567'}]]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?s ) AS ?k ) WHERE { VALUES ( ?t ) { ( ontology:Q2221906 ) ( ontology:Q337567 ) } . ?s rdf:type ?t } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?p ) WHERE { { ?z rdf:type ?y . VALUES ( ?y ) { ( ontology:Q2221906 ) ( ontology:Q337567 ) } } . resource:Q887 property:P138 ?z } } . FILTER ( ?k > ?p ) }
Almere Kivijärvi Vaalajärvi Kauhajärvi Kauhajärvi Flaten Vuontisjärvi European Union Kuivasjärvi Vikajärvi
European Union Almere Flaten
action greater
action union
action find_tuple_counts
relation named after
type administrative territorial entity
type geographic location
action find_tuple_counts
relation named after
type administrative territorial entity
type still waters
action count
action filter_multi_types
action find
entity Yekaterinburg
relation named after
type geographic location
type still waters
[{'concept': 'administrative territorial entity'}, 'named after', [{'concept': 'geographic location'}, {'concept': 'still waters'}]]
SELECT DISTINCT ?q WHERE { { SELECT DISTINCT ?q ( COUNT ( ?s ) AS ?k ) WHERE { VALUES ( ?t ) { ( ontology:geographic_location ) ( ontology:still_waters ) } . ?s rdf:type ?t } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?p ) WHERE { { ?z rdf:type ?y . VALUES ( ?y ) { ( ontology:geographic_location ) ( ontology:still_waters ) } } . resource:Yekaterinburg property:named_after ?z } } . FILTER ( ?k > ?p ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators
Q155
P740
Q2088357 Q43229
USER
How many musical ensembles and organizations were formed at Brazil ?
(c(Q2088357),P740,Q155) (c(Q43229),P740,Q155)
action count
action union
action filter_type
action find_reverse
entity Q155
relation P740
type Q2088357
action filter_type
action find_reverse
entity Q155
relation P740
type Q43229
[{'concept': 'Q2088357'}, 'P740', 'Q155'] [{'concept': 'Q43229'}, 'P740', 'Q155']
SELECT DISTINCT ( COUNT ( ?i ) AS ?w ) WHERE { ?i rdf:type ?c . VALUES ( ?c ) { ( ontology:Q43229 ) ( ontology:Q2088357 ) } }
Brazil
action count
action union
action filter_type
action find_reverse
entity Brazil
relation location of formation
type musical ensemble
action filter_type
action find_reverse
entity Brazil
relation location of formation
type organization
[{'concept': 'musical ensemble'}, 'location of formation', 'Brazil'] [{'concept': 'organization'}, 'location of formation', 'Brazil']
SELECT DISTINCT ( COUNT ( ?i ) AS ?w ) WHERE { ?i rdf:type ?c . VALUES ( ?c ) { ( ontology:organization ) ( ontology:musical_ensemble ) } }
[]
musical ensemble organization
SYSTEM
9 musical ensembles and 1 organizations
Q1779630 Q16491818 Q7832454 Q4049800 Q6374547 Q3998670 Q22908243 Q5211006 Q7922731 Q1936466
(c(Q2088357),P740,Q155) (c(Q43229),P740,Q155)
action count
action union
action filter_type
action find_reverse
entity Q155
relation P740
type Q2088357
action filter_type
action find_reverse
entity Q155
relation P740
type Q43229
[ANSWER]
[{'concept': 'Q2088357'}, 'P740', 'Q155'] [{'concept': 'Q43229'}, 'P740', 'Q155']
SELECT DISTINCT ( COUNT ( ?i ) AS ?w ) WHERE { ?i rdf:type ?c . VALUES ( ?c ) { ( ontology:Q43229 ) ( ontology:Q2088357 ) } }
Tribalistas De La Tierra Traffic Group SoulSpell Kasino Tribuzy Euphorbia Dalimas Versão Acústica Mindflow
9 musical ensembles and 1 organizations
action count
action union
action filter_type
action find_reverse
entity Brazil
relation location of formation
type musical ensemble
action filter_type
action find_reverse
entity Brazil
relation location of formation
type organization
[{'concept': 'musical ensemble'}, 'location of formation', 'Brazil'] [{'concept': 'organization'}, 'location of formation', 'Brazil']
SELECT DISTINCT ( COUNT ( ?i ) AS ?w ) WHERE { ?i rdf:type ?c . VALUES ( ?c ) { ( ontology:organization ) ( ontology:musical_ensemble ) } }
[]
Quantitative Reasoning (All)
Quantitative|Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P180
Q2221906 Q14660 Q386724
USER
Which geographic locations are depicted in around 1 flags or works ?
(c(Q14660)|c(Q386724),P180,c(Q2221906))
action approx
action union
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q14660
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q386724
value 1
[[{'concept': 'Q14660'}, {'concept': 'Q386724'}], 'P180', {'concept': 'Q2221906'}]
SELECT DISTINCT ?x WHERE { FILTER ( ?b = 1 ) . { SELECT DISTINCT ?x ( COUNT ( ?r ) AS ?b ) WHERE { ?r rdf:type ?h . VALUES ( ?h ) { ( ontology:Q14660 ) ( ontology:Q386724 ) } } GROUP BY ?x } }
action approx
action union
action find_reverse_tuple_counts
relation depicts
type geographic location
type flag
action find_reverse_tuple_counts
relation depicts
type geographic location
type work
value 1
[[{'concept': 'flag'}, {'concept': 'work'}], 'depicts', {'concept': 'geographic location'}]
SELECT DISTINCT ?x WHERE { FILTER ( ?b = 1 ) . { SELECT DISTINCT ?x ( COUNT ( ?r ) AS ?b ) WHERE { ?r rdf:type ?h . VALUES ( ?h ) { ( ontology:flag ) ( ontology:work ) } } GROUP BY ?x } }
[]
geographic location flag work
Q23792 Q8502 Q23442
SYSTEM
Palestine, mountain, island
Q23792 Q8502 Q23442
(c(Q14660)|c(Q386724),P180,c(Q2221906))
action approx
action union
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q14660
action find_reverse_tuple_counts
relation P180
type Q2221906
type Q386724
value 1
[ANSWERS]
[[{'concept': 'Q14660'}, {'concept': 'Q386724'}], 'P180', {'concept': 'Q2221906'}]
SELECT DISTINCT ?x WHERE { FILTER ( ?b = 1 ) . { SELECT DISTINCT ?x ( COUNT ( ?r ) AS ?b ) WHERE { ?r rdf:type ?h . VALUES ( ?h ) { ( ontology:Q14660 ) ( ontology:Q386724 ) } } GROUP BY ?x } }
Palestine mountain island
Palestine mountain island
action approx
action union
action find_reverse_tuple_counts
relation depicts
type geographic location
type flag
action find_reverse_tuple_counts
relation depicts
type geographic location
type work
value 1
[[{'concept': 'flag'}, {'concept': 'work'}], 'depicts', {'concept': 'geographic location'}]
SELECT DISTINCT ?x WHERE { FILTER ( ?b = 1 ) . { SELECT DISTINCT ?x ( COUNT ( ?r ) AS ?b ) WHERE { ?r rdf:type ?h . VALUES ( ?h ) { ( ontology:flag ) ( ontology:work ) } } GROUP BY ?x } }
[]