Simple Question (Direct)
Simple Question
Q12715748
P40
Q502895
USER
Who is a child of Iver Larsen Hvamstad ?
(Q12715748,P40,c(Q502895))
action filter_type
action find
entity Q12715748
relation P40
type Q502895
['Q12715748', 'P40', {'concept': 'Q502895'}]
SELECT DISTINCT ?d WHERE { resource:Q12715748 property:P40 ?d . ?d rdf:type ontology:Q502895 }
Iver Larsen Hvamstad
action filter_type
action find
entity Iver Larsen Hvamstad
relation child
type common name
['Iver Larsen Hvamstad', 'child', {'concept': 'common name'}]
SELECT DISTINCT ?d WHERE { resource:Iver_Larsen_Hvamstad property:child ?d . ?d rdf:type ontology:common_name }
[]
common name
Q16059173
SYSTEM
Ivar Hvamstad
Q16059173
(Q12715748,P40,c(Q502895))
action filter_type
action find
entity Q12715748
relation P40
type Q502895
A child of Iver Larsen Hvamstad is born [ANSWER]
['Q12715748', 'P40', {'concept': 'Q502895'}]
SELECT DISTINCT ?d WHERE { resource:Q12715748 property:P40 ?d . ?d rdf:type ontology:Q502895 }
Ivar Hvamstad
A child of Iver Larsen Hvamstad is born Ivar Hvamstad
Ivar Hvamstad
action filter_type
action find
entity Iver Larsen Hvamstad
relation child
type common name
['Iver Larsen Hvamstad', 'child', {'concept': 'common name'}]
SELECT DISTINCT ?d WHERE { resource:Iver_Larsen_Hvamstad property:child ?d . ?d rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q16059173
P27
Q15617994
USER
Which administrative territory is the native country of that person ?
(Q16059173,P27,c(Q15617994))
action filter_type
action find
entity Q16059173
relation P27
type Q15617994
['Q16059173', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q16059173 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
Ivar Hvamstad
action filter_type
action find
entity Ivar Hvamstad
relation country of citizenship
type designation for an administrative territorial entity
['Ivar Hvamstad', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Ivar_Hvamstad property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q20
SYSTEM
Norway
Q20
(Q16059173,P27,c(Q15617994))
action filter_type
action find
entity Q16059173
relation P27
type Q15617994
The [ANSWER] is the native country of that person
['Q16059173', 'P27', {'concept': 'Q15617994'}]
SELECT DISTINCT ?u WHERE { resource:Q16059173 property:P27 ?u . ?u rdf:type ontology:Q15617994 }
Norway
The Norway is the native country of that person
Norway
action filter_type
action find
entity Ivar Hvamstad
relation country of citizenship
type designation for an administrative territorial entity
['Ivar Hvamstad', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ?u WHERE { resource:Ivar_Hvamstad property:country_of_citizenship ?u . ?u rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|3 entities, all direct, 2 are query entities
Q20 Q38 Q341023
P530
Q15617994
USER
Is Norway known to have diplomatic connections with Italy and Santa Teresa Gallura ?
(Q20,P530,Q38) (Q20,P530,Q341023)
action is_in
entity Q20
action intersection
action find_reverse
entity Q38
relation P530
action find_reverse
entity Q341023
relation P530
['Q20', 'P530', 'Q38'] ['Q20', 'P530', 'Q341023']
ASK WHERE { resource:Q20 property:P530 resource:Q38 . resource:Q20 property:P530 resource:Q341023 }
Norway Italy Santa Teresa Gallura
action is_in
entity Norway
action intersection
action find_reverse
entity Italy
relation diplomatic relation
action find_reverse
entity Santa Teresa Gallura
relation diplomatic relation
['Norway', 'diplomatic relation', 'Italy'] ['Norway', 'diplomatic relation', 'Santa Teresa Gallura']
ASK WHERE { resource:Norway property:diplomatic_relation resource:Italy . resource:Norway property:diplomatic_relation resource:Santa_Teresa_Gallura }
[]
designation for an administrative territorial entity
SYSTEM
YES and NO respectively
(Q20,P530,Q38) (Q20,P530,Q341023)
action is_in
entity Q20
action intersection
action find_reverse
entity Q38
relation P530
action find_reverse
entity Q341023
relation P530
[ANSWER]
['Q20', 'P530', 'Q38'] ['Q20', 'P530', 'Q341023']
ASK WHERE { resource:Q20 property:P530 resource:Q38 . resource:Q20 property:P530 resource:Q341023 }
YES and NO respectively
action is_in
entity Norway
action intersection
action find_reverse
entity Italy
relation diplomatic relation
action find_reverse
entity Santa Teresa Gallura
relation diplomatic relation
['Norway', 'diplomatic relation', 'Italy'] ['Norway', 'diplomatic relation', 'Santa Teresa Gallura']
ASK WHERE { resource:Norway property:diplomatic_relation resource:Italy . resource:Norway property:diplomatic_relation resource:Santa_Teresa_Gallura }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q10968991 Q38
P530 P20
Q15617994
USER
Which administrative territories holds diplomatic relationship with Italy and did the expiration of Martiros of Crimea occur ?
AND((Q38,P530,c(Q15617994)), (Q10968991,P20,c(Q15617994)))
action filter_type
action intersection
action find
entity Q38
relation P530
action find
entity Q10968991
relation P20
type Q15617994
{'AND': [['Q38', 'P530', {'concept': 'Q15617994'}], ['Q10968991', 'P20', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?a WHERE { resource:Q38 property:P530 ?a . resource:Q10968991 property:P20 ?a . ?a rdf:type ontology:Q15617994 }
Martiros of Crimea Italy
action filter_type
action intersection
action find
entity Italy
relation diplomatic relation
action find
entity Martiros of Crimea
relation place of death
type designation for an administrative territorial entity
{'AND': [['Italy', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Martiros of Crimea', 'place of death', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { resource:Italy property:diplomatic_relation ?a . resource:Martiros_of_Crimea property:place_of_death ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q79
SYSTEM
Egypt
Q79
AND((Q38,P530,c(Q15617994)), (Q10968991,P20,c(Q15617994)))
action filter_type
action intersection
action find
entity Q38
relation P530
action find
entity Q10968991
relation P20
type Q15617994
[ANSWER] holds diplomatic relationship with Italy and did the expiration of Martiros of Crimea occur
{'AND': [['Q38', 'P530', {'concept': 'Q15617994'}], ['Q10968991', 'P20', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?a WHERE { resource:Q38 property:P530 ?a . resource:Q10968991 property:P20 ?a . ?a rdf:type ontology:Q15617994 }
Egypt
Egypt holds diplomatic relationship with Italy and did the expiration of Martiros of Crimea occur
Egypt
action filter_type
action intersection
action find
entity Italy
relation diplomatic relation
action find
entity Martiros of Crimea
relation place of death
type designation for an administrative territorial entity
{'AND': [['Italy', 'diplomatic relation', {'concept': 'designation for an administrative territorial entity'}], ['Martiros of Crimea', 'place of death', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?a WHERE { resource:Italy property:diplomatic_relation ?a . resource:Martiros_of_Crimea property:place_of_death ?a . ?a rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q79
P937
Q502895
USER
Which people have that administrative territory as work location ?
(c(Q502895),P937,Q79)
action filter_type
action find_reverse
entity Q79
relation P937
type Q502895
[{'concept': 'Q502895'}, 'P937', 'Q79']
SELECT DISTINCT ?r WHERE { ?r property:P937 resource:Q79 . ?r rdf:type ontology:Q502895 }
Egypt
action filter_type
action find_reverse
entity Egypt
relation work location
type common name
[{'concept': 'common name'}, 'work location', 'Egypt']
SELECT DISTINCT ?r WHERE { ?r property:work_location resource:Egypt . ?r rdf:type ontology:common_name }
[]
common name
Q2813852 Q1151805 Q1640082
SYSTEM
Al-Layth ibn Sa'd, Al-Qurtubi, Abu Hayyan al-Gharnati
Q2813852 Q1151805 Q1640082
(c(Q502895),P937,Q79)
action filter_type
action find_reverse
entity Q79
relation P937
type Q502895
[ANSWERS] have that administrative territory as work location
[{'concept': 'Q502895'}, 'P937', 'Q79']
SELECT DISTINCT ?r WHERE { ?r property:P937 resource:Q79 . ?r rdf:type ontology:Q502895 }
Al-Layth ibn Sa'd Al-Qurtubi Abu Hayyan al-Gharnati
Al-Layth ibn Sa'd, Al-Qurtubi and Abu Hayyan al-Gharnati have that administrative territory as work location
Al-Layth ibn Sa'd Al-Qurtubi Abu Hayyan al-Gharnati
action filter_type
action find_reverse
entity Egypt
relation work location
type common name
[{'concept': 'common name'}, 'work location', 'Egypt']
SELECT DISTINCT ?r WHERE { ?r property:work_location resource:Egypt . ?r rdf:type ontology:common_name }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q79
P36
Q56061
USER
Which administrative territory is the capital of that administrative territory ?
(Q2813852,P36,c(Q56061)) (Q1151805,P36,c(Q56061)) (Q1640082,P36,c(Q56061))
action filter_type
action find
entity Q79
relation P36
type Q56061
['Q2813852', 'P36', {'concept': 'Q56061'}] ['Q1151805', 'P36', {'concept': 'Q56061'}] ['Q1640082', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?o WHERE { resource:Q79 property:P36 ?o . ?o rdf:type ontology:Q56061 }
Egypt
action filter_type
action find
entity Egypt
relation capital
type administrative territorial entity
["Al-Layth ibn Sa'd", 'capital', {'concept': 'administrative territorial entity'}] ['Al-Qurtubi', 'capital', {'concept': 'administrative territorial entity'}] ['Abu Hayyan al-Gharnati', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Egypt property:capital ?o . ?o rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q85
SYSTEM
Cairo
Q85
(Q2813852,P36,c(Q56061)) (Q1151805,P36,c(Q56061)) (Q1640082,P36,c(Q56061))
action filter_type
action find
entity Q79
relation P36
type Q56061
[ANSWER] is the capital of that administrative territory
['Q2813852', 'P36', {'concept': 'Q56061'}] ['Q1151805', 'P36', {'concept': 'Q56061'}] ['Q1640082', 'P36', {'concept': 'Q56061'}]
SELECT DISTINCT ?o WHERE { resource:Q79 property:P36 ?o . ?o rdf:type ontology:Q56061 }
Cairo
Cairo is the capital of that administrative territory
Cairo
action filter_type
action find
entity Egypt
relation capital
type administrative territorial entity
["Al-Layth ibn Sa'd", 'capital', {'concept': 'administrative territorial entity'}] ['Al-Qurtubi', 'capital', {'concept': 'administrative territorial entity'}] ['Abu Hayyan al-Gharnati', 'capital', {'concept': 'administrative territorial entity'}]
SELECT DISTINCT ?o WHERE { resource:Egypt property:capital ?o . ?o rdf:type ontology:administrative_territorial_entity }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Logical operators|Indirect
P36
Q15617994 Q7275
USER
How many administrative territories and states have that administrative territory as their capital ?
(c(Q15617994),P36,Q85) (c(Q7275),P36,Q85) (c(Q15617994),P36,Q85) (c(Q7275),P36,Q85)
action count
action union
action filter_type
action find_reverse
entity Q85
relation P36
type Q15617994
action filter_type
action find_reverse
entity Q85
relation P36
type Q7275
[{'concept': 'Q15617994'}, 'P36', 'Q85'] [{'concept': 'Q7275'}, 'P36', 'Q85'] [{'concept': 'Q15617994'}, 'P36', 'Q85'] [{'concept': 'Q7275'}, 'P36', 'Q85']
SELECT DISTINCT ( COUNT ( ?m ) AS ?a ) WHERE { { ?m property:P36 resource:Q85 . ?m rdf:type ontology:Q15617994 } UNION { ?m property:P36 resource:Q85 . ?m rdf:type ontology:Q7275 } }
action count
action union
action filter_type
action find_reverse
entity Cairo
relation capital
type designation for an administrative territorial entity
action filter_type
action find_reverse
entity Cairo
relation capital
type state
[{'concept': 'designation for an administrative territorial entity'}, 'capital', 'Cairo'] [{'concept': 'state'}, 'capital', 'Cairo'] [{'concept': 'designation for an administrative territorial entity'}, 'capital', 'Cairo'] [{'concept': 'state'}, 'capital', 'Cairo']
SELECT DISTINCT ( COUNT ( ?m ) AS ?a ) WHERE { { ?m property:capital resource:Cairo . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?m property:capital resource:Cairo . ?m rdf:type ontology:state } }
[]
designation for an administrative territorial entity state
SYSTEM
3 administrative territories and 4 states
Q30805 Q180114 Q160307 Q124943 Q79 Q491507 Q170468
(c(Q15617994),P36,Q85) (c(Q7275),P36,Q85) (c(Q15617994),P36,Q85) (c(Q7275),P36,Q85)
action count
action union
action filter_type
action find_reverse
entity Q85
relation P36
type Q15617994
action filter_type
action find_reverse
entity Q85
relation P36
type Q7275
[ANSWER]
[{'concept': 'Q15617994'}, 'P36', 'Q85'] [{'concept': 'Q7275'}, 'P36', 'Q85'] [{'concept': 'Q15617994'}, 'P36', 'Q85'] [{'concept': 'Q7275'}, 'P36', 'Q85']
SELECT DISTINCT ( COUNT ( ?m ) AS ?a ) WHERE { { ?m property:P36 resource:Q85 . ?m rdf:type ontology:Q15617994 } UNION { ?m property:P36 resource:Q85 . ?m rdf:type ontology:Q7275 } }
Cairo Governorate Ayyubid dynasty Fatimid caliphate Kingdom of Egypt Egypt Egypt Eyalet United Arab Republic
3 administrative territories and 4 states
action count
action union
action filter_type
action find_reverse
entity Cairo
relation capital
type designation for an administrative territorial entity
action filter_type
action find_reverse
entity Cairo
relation capital
type state
[{'concept': 'designation for an administrative territorial entity'}, 'capital', 'Cairo'] [{'concept': 'state'}, 'capital', 'Cairo'] [{'concept': 'designation for an administrative territorial entity'}, 'capital', 'Cairo'] [{'concept': 'state'}, 'capital', 'Cairo']
SELECT DISTINCT ( COUNT ( ?m ) AS ?a ) WHERE { { ?m property:capital resource:Cairo . ?m rdf:type ontology:designation_for_an_administrative_territorial_entity } UNION { ?m property:capital resource:Cairo . ?m rdf:type ontology:state } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q784
P37
Q5962346 Q34770 Q15617994
USER
How many administrative territories are known to have lesser number of classification schemes or languages as their official language than Dominica ?
(c(Q15617994),P37,c(Q5962346)|c(Q34770))
action count
action less
action union
action find_tuple_counts
relation P37
type Q15617994
type Q5962346
action find_tuple_counts
relation P37
type Q15617994
type Q34770
action count
action filter_multi_types
action find
entity Q784
relation P37
type Q5962346
type Q34770
[{'concept': 'Q15617994'}, 'P37', [{'concept': 'Q5962346'}, {'concept': 'Q34770'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?m ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?z ) AS ?p ) WHERE { VALUES ( ?b ) { ( ontology:Q5962346 ) ( ontology:Q34770 ) } . ?z rdf:type ?b } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?t ) WHERE { resource:Q784 property:P37 ?c . { { ?c rdf:type ontology:Q5962346 } UNION { ?c rdf:type ontology:Q34770 } } } } . FILTER ( ?p < ?t ) }
Dominica
action count
action less
action union
action find_tuple_counts
relation official language
type designation for an administrative territorial entity
type classification scheme
action find_tuple_counts
relation official language
type designation for an administrative territorial entity
type language
action count
action filter_multi_types
action find
entity Dominica
relation official language
type classification scheme
type language
[{'concept': 'designation for an administrative territorial entity'}, 'official language', [{'concept': 'classification scheme'}, {'concept': 'language'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?m ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?z ) AS ?p ) WHERE { VALUES ( ?b ) { ( ontology:classification_scheme ) ( ontology:language ) } . ?z rdf:type ?b } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?t ) WHERE { resource:Dominica property:official_language ?c . { { ?c rdf:type ontology:classification_scheme } UNION { ?c rdf:type ontology:language } } } } . FILTER ( ?p < ?t ) }
[]
classification scheme language designation for an administrative territorial entity
SYSTEM
130
Q805 Q801 Q473259 Q398 Q142 Q1039 Q21671144 Q32 Q12536 Q262 Q148 Q265 Q30 Q37 Q16006 Q711 Q837 Q252 Q2068764 Q21850324 Q403 Q657 Q45 Q159 Q43 Q41 Q155 Q673813 Q790 Q4628 Q796 Q794 Q669945 Q884 Q881 Q503181 Q219 Q826 Q247613 Q603392 Q33 Q921 Q31 Q36 Q929 Q165934 Q423 Q889 Q851 Q29999 Q854 Q819 Q253445 Q424 Q730 Q236 Q230 Q232 Q1045 Q1041 Q28 Q21853467 Q189 Q842 Q184 Q1029 Q1028 Q228 Q227 Q225 Q224 Q223 Q222 Q221 Q229 Q347 Q17 Q10957559 Q902 Q974 Q1032 Q191 Q965 Q967 Q962 Q697 Q115 Q59118 Q212 Q211 Q217 Q214 Q215 Q218 Q160307 Q1483510 Q912 Q917 Q916 Q1007 Q1006 Q977 Q1008 Q971 Q970 Q836 Q574 Q637451 Q874 Q3365904 Q79 Q858 Q199688 Q878 Q948 Q817 Q810 Q770 Q813 Q1016 Q1011 Q945 Q8575586 Q21848848 Q176 Q61698 Q822 Q863 Q869 Q1230929
(c(Q15617994),P37,c(Q5962346)|c(Q34770))
action count
action less
action union
action find_tuple_counts
relation P37
type Q15617994
type Q5962346
action find_tuple_counts
relation P37
type Q15617994
type Q34770
action count
action filter_multi_types
action find
entity Q784
relation P37
type Q5962346
type Q34770
[ANSWER]
[{'concept': 'Q15617994'}, 'P37', [{'concept': 'Q5962346'}, {'concept': 'Q34770'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?m ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?z ) AS ?p ) WHERE { VALUES ( ?b ) { ( ontology:Q5962346 ) ( ontology:Q34770 ) } . ?z rdf:type ?b } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?t ) WHERE { resource:Q784 property:P37 ?c . { { ?c rdf:type ontology:Q5962346 } UNION { ?c rdf:type ontology:Q34770 } } } } . FILTER ( ?p < ?t ) }
Yemen Israel Ammerthal Bahrain France Sao Tomé and Príncipe Mezhetchina Luxembourg Abbasid caliphate Algeria People's Republic of China Uzbekistan United States of America Lithuania Goch Mongolia Nepal Indonesia Archa Darugha Gireyevo Serbia Chad Portugal Russia Turkey Greece Brazil Euratsfeld Haiti Faroe Islands Iraq Iran Vorau South Korea Vietnam Herzberg am Harz Bulgaria Maldives Bernese Jura Schönwalde Finland Brunei Belgium Poland Central African Republic Bokensdorf North Korea Afghanistan Saudi Arabia Kingdom of the Netherlands Sri Lanka Laos Kolbermoor Cambodia Suriname Montenegro Georgia Kazakhstan Somalia Senegal Hungary Romanovo Iceland Oman Belarus Mozambique Morocco Andorra Azerbaijan Bosnia and Herzegovina Croatia Greenland Albania Republic of Macedonia Cyprus Liechtenstein Japan Moldavia Bangladesh Democratic Republic of the Congo Niger Estonia Burkina Faso Burundi Benin Nauru Ethiopia Aappilattoq Ukraine Latvia Republic of Moldova Slovakia Slovenia Romania Fatimid caliphate Principality of Wales Mali Bhutan Angola Guinea-Bissau Guinea Djibouti Côte d'Ivoire Republic of the Congo Comoros Myanmar East Timor Rohrbach Turkmenistan Saint-Léonard Parish, New Brunswick Egypt Syria Almohad United Arab Emirates Tunisia Kuwait Jordan Friesland Kyrgyzstan Libya Cape Verde Togo Umayyad Caliphate Lyskovo Quebec Büsingen Lebanon Tajikistan Thailand Kesklinn
130
action count
action less
action union
action find_tuple_counts
relation official language
type designation for an administrative territorial entity
type classification scheme
action find_tuple_counts
relation official language
type designation for an administrative territorial entity
type language
action count
action filter_multi_types
action find
entity Dominica
relation official language
type classification scheme
type language
[{'concept': 'designation for an administrative territorial entity'}, 'official language', [{'concept': 'classification scheme'}, {'concept': 'language'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?m ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?z ) AS ?p ) WHERE { VALUES ( ?b ) { ( ontology:classification_scheme ) ( ontology:language ) } . ?z rdf:type ?b } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?t ) WHERE { resource:Dominica property:official_language ?c . { { ?c rdf:type ontology:classification_scheme } UNION { ?c rdf:type ontology:language } } } } . FILTER ( ?p < ?t ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q1033
P37
Q5962346 Q34770 Q15617994
USER
And how about Nigeria?
(c(Q15617994),P37,c(Q5962346)|c(Q34770))
action count
action less
action union
action find_tuple_counts
relation P37
type Q15617994
type Q5962346
action find_tuple_counts
relation P37
type Q15617994
type Q34770
action count
action filter_multi_types
action find
entity Q1033
relation P37
type Q5962346
type Q34770
[{'concept': 'Q15617994'}, 'P37', [{'concept': 'Q5962346'}, {'concept': 'Q34770'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?j ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?i ) AS ?q ) WHERE { { ?e property:P37 ?i . ?e rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q34770 } UNION { ?e property:P37 ?i . ?e rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q5962346 } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?k ) WHERE { resource:Q1033 property:P37 ?f . { { ?f rdf:type ontology:Q34770 } UNION { ?f rdf:type ontology:Q5962346 } } } } . FILTER ( ?q < ?k ) }
Nigeria
action count
action less
action union
action find_tuple_counts
relation official language
type designation for an administrative territorial entity
type classification scheme
action find_tuple_counts
relation official language
type designation for an administrative territorial entity
type language
action count
action filter_multi_types
action find
entity Nigeria
relation official language
type classification scheme
type language
[{'concept': 'designation for an administrative territorial entity'}, 'official language', [{'concept': 'classification scheme'}, {'concept': 'language'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?j ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?i ) AS ?q ) WHERE { { ?e property:official_language ?i . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:language } UNION { ?e property:official_language ?i . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:classification_scheme } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?k ) WHERE { resource:Nigeria property:official_language ?f . { { ?f rdf:type ontology:language } UNION { ?f rdf:type ontology:classification_scheme } } } } . FILTER ( ?q < ?k ) }
[]
classification scheme language designation for an administrative territorial entity
SYSTEM
130
Q805 Q801 Q473259 Q398 Q142 Q1039 Q21671144 Q32 Q12536 Q262 Q148 Q265 Q30 Q37 Q16006 Q711 Q837 Q252 Q2068764 Q21850324 Q403 Q657 Q45 Q159 Q43 Q41 Q155 Q673813 Q790 Q4628 Q796 Q794 Q669945 Q884 Q881 Q503181 Q219 Q826 Q247613 Q603392 Q33 Q921 Q31 Q36 Q929 Q165934 Q423 Q889 Q851 Q29999 Q854 Q819 Q253445 Q424 Q730 Q236 Q230 Q232 Q1045 Q1041 Q28 Q21853467 Q189 Q842 Q184 Q1029 Q1028 Q228 Q227 Q225 Q224 Q223 Q222 Q221 Q229 Q347 Q17 Q10957559 Q902 Q974 Q1032 Q191 Q965 Q967 Q962 Q697 Q115 Q59118 Q212 Q211 Q217 Q214 Q215 Q218 Q160307 Q1483510 Q912 Q917 Q916 Q1007 Q1006 Q977 Q1008 Q971 Q970 Q836 Q574 Q637451 Q874 Q3365904 Q79 Q858 Q199688 Q878 Q948 Q817 Q810 Q770 Q813 Q1016 Q1011 Q945 Q8575586 Q21848848 Q176 Q61698 Q822 Q863 Q869 Q1230929
(c(Q15617994),P37,c(Q5962346)|c(Q34770))
action count
action less
action union
action find_tuple_counts
relation P37
type Q15617994
type Q5962346
action find_tuple_counts
relation P37
type Q15617994
type Q34770
action count
action filter_multi_types
action find
entity Q1033
relation P37
type Q5962346
type Q34770
[ANSWER]
[{'concept': 'Q15617994'}, 'P37', [{'concept': 'Q5962346'}, {'concept': 'Q34770'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?j ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?i ) AS ?q ) WHERE { { ?e property:P37 ?i . ?e rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q34770 } UNION { ?e property:P37 ?i . ?e rdf:type ontology:Q15617994 . ?i rdf:type ontology:Q5962346 } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?k ) WHERE { resource:Q1033 property:P37 ?f . { { ?f rdf:type ontology:Q34770 } UNION { ?f rdf:type ontology:Q5962346 } } } } . FILTER ( ?q < ?k ) }
Yemen Israel Ammerthal Bahrain France Sao Tomé and Príncipe Mezhetchina Luxembourg Abbasid caliphate Algeria People's Republic of China Uzbekistan United States of America Lithuania Goch Mongolia Nepal Indonesia Archa Darugha Gireyevo Serbia Chad Portugal Russia Turkey Greece Brazil Euratsfeld Haiti Faroe Islands Iraq Iran Vorau South Korea Vietnam Herzberg am Harz Bulgaria Maldives Bernese Jura Schönwalde Finland Brunei Belgium Poland Central African Republic Bokensdorf North Korea Afghanistan Saudi Arabia Kingdom of the Netherlands Sri Lanka Laos Kolbermoor Cambodia Suriname Montenegro Georgia Kazakhstan Somalia Senegal Hungary Romanovo Iceland Oman Belarus Mozambique Morocco Andorra Azerbaijan Bosnia and Herzegovina Croatia Greenland Albania Republic of Macedonia Cyprus Liechtenstein Japan Moldavia Bangladesh Democratic Republic of the Congo Niger Estonia Burkina Faso Burundi Benin Nauru Ethiopia Aappilattoq Ukraine Latvia Republic of Moldova Slovakia Slovenia Romania Fatimid caliphate Principality of Wales Mali Bhutan Angola Guinea-Bissau Guinea Djibouti Côte d'Ivoire Republic of the Congo Comoros Myanmar East Timor Rohrbach Turkmenistan Saint-Léonard Parish, New Brunswick Egypt Syria Almohad United Arab Emirates Tunisia Kuwait Jordan Friesland Kyrgyzstan Libya Cape Verde Togo Umayyad Caliphate Lyskovo Quebec Büsingen Lebanon Tajikistan Thailand Kesklinn
130
action count
action less
action union
action find_tuple_counts
relation official language
type designation for an administrative territorial entity
type classification scheme
action find_tuple_counts
relation official language
type designation for an administrative territorial entity
type language
action count
action filter_multi_types
action find
entity Nigeria
relation official language
type classification scheme
type language
[{'concept': 'designation for an administrative territorial entity'}, 'official language', [{'concept': 'classification scheme'}, {'concept': 'language'}]]
SELECT DISTINCT ( COUNT ( ?e ) AS ?j ) WHERE { { SELECT DISTINCT ?e ( COUNT ( ?i ) AS ?q ) WHERE { { ?e property:official_language ?i . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:language } UNION { ?e property:official_language ?i . ?e rdf:type ontology:designation_for_an_administrative_territorial_entity . ?i rdf:type ontology:classification_scheme } } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?f ) AS ?k ) WHERE { resource:Nigeria property:official_language ?f . { { ?f rdf:type ontology:language } UNION { ?f rdf:type ontology:classification_scheme } } } } . FILTER ( ?q < ?k ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P840
Q15617994 Q166142 Q838948
USER
How many administrative territories are the narrative locations of around 30 applications and works of art ?
(c(Q166142)|c(Q838948),P840,c(Q15617994))
action count
action approx
action union
action find_reverse_tuple_counts
relation P840
type Q15617994
type Q166142
action find_reverse_tuple_counts
relation P840
type Q15617994
type Q838948
value 30
[[{'concept': 'Q166142'}, {'concept': 'Q838948'}], 'P840', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?j ) WHERE { FILTER ( ?o = 30 ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?o ) ?n WHERE { VALUES ( ?q ) { ( ontology:Q166142 ) ( ontology:Q838948 ) } . ?d rdf:type ?q } GROUP BY ?n } }
action count
action approx
action union
action find_reverse_tuple_counts
relation narrative location
type designation for an administrative territorial entity
type application
action find_reverse_tuple_counts
relation narrative location
type designation for an administrative territorial entity
type work of art
value 30
[[{'concept': 'application'}, {'concept': 'work of art'}], 'narrative location', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?j ) WHERE { FILTER ( ?o = 30 ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?o ) ?n WHERE { VALUES ( ?q ) { ( ontology:application ) ( ontology:work_of_art ) } . ?d rdf:type ?q } GROUP BY ?n } }
[]
designation for an administrative territorial entity application work of art
SYSTEM
147
Q377277 Q805 Q804 Q801 Q20837 Q278221 Q186115 Q414 Q3278 Q1948 Q145 Q262 Q148 Q189 Q265 Q47428 Q18021 Q842 Q36678 Q712 Q711 Q710 Q717 Q837 Q252 Q1460 Q399 Q403 Q258 Q1979 Q45 Q790 Q796 Q794 Q889 Q884 Q881 Q858 Q419 Q165040 Q822 Q241 Q232782 Q244 Q1974 Q490398 Q12515 Q33 Q32 Q31 Q37 Q36 Q34 Q928 Q39 Q58477 Q739 Q423 Q424 Q851 Q733 Q854 Q819 Q340628 Q769680 Q12798 Q236 Q230 Q12538 Q232 Q233 Q1093 Q20 Q1045 Q1044 Q1860611 Q1041 Q27 Q913434 Q29 Q127043 Q1027 Q2009 Q843 Q2007 Q184 Q1029 Q1028 Q511806 Q1458 Q91217 Q1452 Q227 Q225 Q163966 Q223 Q12700 Q2336399 Q3207 Q1033 Q1030 Q191 Q962 Q963 Q159689 Q298 Q114 Q41158 Q750 Q212 Q213 Q517107 Q217 Q218 Q219 Q20571 Q1210 Q912 Q2107 Q1007 Q1005 Q833 Q14859 Q2742 Q683 Q836 Q874 Q79 Q77 Q774 Q948 Q817 Q810 Q1019 Q1014 Q1016 Q1273 Q1011 Q28 Q12620 Q678 Q800 Q12545 Q1952 Q53216 Q869 Q6247
(c(Q166142)|c(Q838948),P840,c(Q15617994))
action count
action approx
action union
action find_reverse_tuple_counts
relation P840
type Q15617994
type Q166142
action find_reverse_tuple_counts
relation P840
type Q15617994
type Q838948
value 30
[ANSWER]
[[{'concept': 'Q166142'}, {'concept': 'Q838948'}], 'P840', {'concept': 'Q15617994'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?j ) WHERE { FILTER ( ?o = 30 ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?o ) ?n WHERE { VALUES ( ?q ) { ( ontology:Q166142 ) ( ontology:Q838948 ) } . ?d rdf:type ?q } GROUP BY ?n } }
Glückstadt Yemen Panama Israel Fanø Berchtesgaden Montmartre Argentina Charente-Maritime Manitoba United Kingdom Algeria People's Republic of China Iceland Uzbekistan Valdobbiadene Biella Oman West Bank Fiji Mongolia Kiribati Venezuela Nepal Indonesia Sicily Armenia Serbia South Africa Prince Edward Island Portugal Haiti Iraq Iran Afghanistan South Korea Vietnam Syria Peru Duchy of Parma Lebanon Cuba Portofino Barbados British Columbia Peenemünde Gard Finland Luxembourg Belgium Lithuania Poland Sweden Philippines Switzerland Capua Colombia North Korea Cambodia Saudi Arabia Paraguay Sri Lanka Laos Aggius Bornholm Vendée Montenegro Georgia Haute-Garonne Kazakhstan Malta Limburg Norway Somalia Sierra Leone Viby Senegal Ireland Les Halles Spain Garmisch-Partenkirchen Mauritius Yukon Pakistan Northwest Territories Belarus Mozambique Morocco North Slope Borough Calabria Montepulciano Basilicata Azerbaijan Bosnia and Herzegovina Mitte Greenland Hautes-Pyrénées Baluchistan Aude Nigeria Namibia Estonia Benin Botswana Bomarzo Chile Kenya Cortina d'Ampezzo Bolivia Ukraine Czech Republic Rudolstadt Republic of Moldova Romania Bulgaria Spoleto Lombardy Mali Wuppertal Guinea-Bissau Gambia Malaysia Ansbach Münster Samoa Myanmar Turkmenistan Egypt Uruguay Guatemala Tunisia Kuwait Jordan Madagascar Liberia Libya Tuscany Cape Verde Hungary Mayenne Tonga Costa Rica Hérault Nova Scotia Aquileia Thailand Mantua
147
action count
action approx
action union
action find_reverse_tuple_counts
relation narrative location
type designation for an administrative territorial entity
type application
action find_reverse_tuple_counts
relation narrative location
type designation for an administrative territorial entity
type work of art
value 30
[[{'concept': 'application'}, {'concept': 'work of art'}], 'narrative location', {'concept': 'designation for an administrative territorial entity'}]
SELECT DISTINCT ( COUNT ( ?n ) AS ?j ) WHERE { FILTER ( ?o = 30 ) . { SELECT DISTINCT ( COUNT ( ?d ) AS ?o ) ?n WHERE { VALUES ( ?q ) { ( ontology:application ) ( ontology:work_of_art ) } . ?d rdf:type ?q } GROUP BY ?n } }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q842961 Q85
P190
Q515
USER
Which cities are partner towns of Cairo or Mezőberény ?
OR((Q85,P190,c(Q515)), (Q842961,P190,c(Q515)))
action filter_type
action union
action find
entity Q85
relation P190
action find
entity Q842961
relation P190
type Q515
{'OR': [['Q85', 'P190', {'concept': 'Q515'}], ['Q842961', 'P190', {'concept': 'Q515'}]]}
SELECT DISTINCT ?x WHERE { { VALUES ( ?o ) { ( resource:Q85 ) ( resource:Q842961 ) } . ?o property:P190 ?x } . ?x rdf:type ontology:Q515 }
Mezőberény Cairo
action filter_type
action union
action find
entity Cairo
relation sister city
action find
entity Mezőberény
relation sister city
type city
{'OR': [['Cairo', 'sister city', {'concept': 'city'}], ['Mezőberény', 'sister city', {'concept': 'city'}]]}
SELECT DISTINCT ?x WHERE { { VALUES ( ?o ) { ( resource:Cairo ) ( resource:Mezőberény ) } . ?o property:sister_city ?x } . ?x rdf:type ontology:city }
[]
city
Q8684 Q267708 Q1794 Q1486 Q7473516 Q11194
SYSTEM
Seoul, Sovata, Frankfurt, Buenos Aires, Tokyo, Sarajevo
Q8684 Q267708 Q1794 Q1486 Q7473516 Q11194
OR((Q85,P190,c(Q515)), (Q842961,P190,c(Q515)))
action filter_type
action union
action find
entity Q85
relation P190
action find
entity Q842961
relation P190
type Q515
[ANSWERS] are partner towns of Cairo or Mezőberény
{'OR': [['Q85', 'P190', {'concept': 'Q515'}], ['Q842961', 'P190', {'concept': 'Q515'}]]}
SELECT DISTINCT ?x WHERE { { VALUES ( ?o ) { ( resource:Q85 ) ( resource:Q842961 ) } . ?o property:P190 ?x } . ?x rdf:type ontology:Q515 }
Seoul Sovata Frankfurt Buenos Aires Tokyo Sarajevo
Seoul, Sovata, Frankfurt, Buenos Aires, Tokyo and Sarajevo are partner towns of Cairo or Mezőberény
Seoul Sovata Frankfurt Buenos Aires Tokyo Sarajevo
action filter_type
action union
action find
entity Cairo
relation sister city
action find
entity Mezőberény
relation sister city
type city
{'OR': [['Cairo', 'sister city', {'concept': 'city'}], ['Mezőberény', 'sister city', {'concept': 'city'}]]}
SELECT DISTINCT ?x WHERE { { VALUES ( ?o ) { ( resource:Cairo ) ( resource:Mezőberény ) } . ?o property:sister_city ?x } . ?x rdf:type ontology:city }
[]