Simple Question (Direct)
Simple Question
Q333430
P1412
Q34770
USER
Which language is Charlie Wilson capable of writing ?
(Q333430,P1412,c(Q34770))
action filter_type
action find
entity Q333430
relation P1412
type Q34770
['Q333430', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?e WHERE { resource:Q333430 property:P1412 ?e . ?e rdf:type ontology:Q34770 }
Charlie Wilson
action filter_type
action find
entity Charlie Wilson
relation languages spoken, written or signed
type language
['Charlie Wilson', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?e WHERE { resource:Charlie_Wilson property:languages_spoken,_written_or_signed ?e . ?e rdf:type ontology:language }
[]
language
Q1860
SYSTEM
English
Q1860
(Q333430,P1412,c(Q34770))
action filter_type
action find
entity Q333430
relation P1412
type Q34770
The [ANSWER] is Charlie Wilson capable of writing
['Q333430', 'P1412', {'concept': 'Q34770'}]
SELECT DISTINCT ?e WHERE { resource:Q333430 property:P1412 ?e . ?e rdf:type ontology:Q34770 }
English
The English is Charlie Wilson capable of writing
English
action filter_type
action find
entity Charlie Wilson
relation languages spoken, written or signed
type language
['Charlie Wilson', 'languages spoken, written or signed', {'concept': 'language'}]
SELECT DISTINCT ?e WHERE { resource:Charlie_Wilson property:languages_spoken,_written_or_signed ?e . ?e rdf:type ontology:language }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q333430
P241
Q781132
USER
Which military branch is that person affiliated to ?
(Q1860,P241,c(Q781132))
action filter_type
action find
entity Q333430
relation P241
type Q781132
['Q1860', 'P241', {'concept': 'Q781132'}]
SELECT DISTINCT ?m WHERE { resource:Q333430 property:P241 ?m . ?m rdf:type ontology:Q781132 }
Charlie Wilson
action filter_type
action find
entity Charlie Wilson
relation military branch
type military branch
['English', 'military branch', {'concept': 'military branch'}]
SELECT DISTINCT ?m WHERE { resource:Charlie_Wilson property:military_branch ?m . ?m rdf:type ontology:military_branch }
[]
military branch
Q11220
SYSTEM
United States Navy
Q11220
(Q1860,P241,c(Q781132))
action filter_type
action find
entity Q333430
relation P241
type Q781132
That person is affiliated with [ANSWER]
['Q1860', 'P241', {'concept': 'Q781132'}]
SELECT DISTINCT ?m WHERE { resource:Q333430 property:P241 ?m . ?m rdf:type ontology:Q781132 }
United States Navy
That person is affiliated with United States Navy
United States Navy
action filter_type
action find
entity Charlie Wilson
relation military branch
type military branch
['English', 'military branch', {'concept': 'military branch'}]
SELECT DISTINCT ?m WHERE { resource:Charlie_Wilson property:military_branch ?m . ?m rdf:type ontology:military_branch }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Mult. entity type
Q11220 Q121594
P108
Q502895
USER
How many people have United States Navy or professor as their employer ?
(c(Q502895),P108,Q11220) (c(Q502895),P108,Q121594)
action count
action union
action filter_type
action find_reverse
entity Q11220
relation P108
type Q502895
action filter_type
action find_reverse
entity Q121594
relation P108
type Q502895
[{'concept': 'Q502895'}, 'P108', 'Q11220'] [{'concept': 'Q502895'}, 'P108', 'Q121594']
SELECT DISTINCT ( COUNT ( ?a ) AS ?z ) WHERE { VALUES ( ?m ) { ( resource:Q11220 ) ( resource:Q121594 ) } . ?a property:P108 ?m }
United States Navy professor
action count
action union
action filter_type
action find_reverse
entity United States Navy
relation employer
type common name
action filter_type
action find_reverse
entity professor
relation employer
type common name
[{'concept': 'common name'}, 'employer', 'United States Navy'] [{'concept': 'common name'}, 'employer', 'professor']
SELECT DISTINCT ( COUNT ( ?a ) AS ?z ) WHERE { VALUES ( ?m ) { ( resource:United_States_Navy ) ( resource:professor ) } . ?a property:employer ?m }
[]
common name
SYSTEM
16
Q15921123 Q5075025 Q7650892 Q7288922 Q14586103 Q16146870 Q8022028 Q8004750 Q5235566 Q5748502 Q2071545 Q16915754 Q14721124 Q19974977 Q114385 Q4759926
(c(Q502895),P108,Q11220) (c(Q502895),P108,Q121594)
action count
action union
action filter_type
action find_reverse
entity Q11220
relation P108
type Q502895
action filter_type
action find_reverse
entity Q121594
relation P108
type Q502895
[ANSWER]
[{'concept': 'Q502895'}, 'P108', 'Q11220'] [{'concept': 'Q502895'}, 'P108', 'Q121594']
SELECT DISTINCT ( COUNT ( ?a ) AS ?z ) WHERE { VALUES ( ?m ) { ( resource:Q11220 ) ( resource:Q121594 ) } . ?a property:P108 ?m }
Sethanne Howard Charles Alden Black Suzanne Lachelier Ramananda Prasad Henry C. Kellers Stephen Bannon Willis Bradley Haviland William B. Bader David James Davies Hewitt Crane John Anthony Walker Wayne H. Holtzman Roderick Cox Robert Enrique Muller Matthew Fontaine Maury André H. Caron
16
action count
action union
action filter_type
action find_reverse
entity United States Navy
relation employer
type common name
action filter_type
action find_reverse
entity professor
relation employer
type common name
[{'concept': 'common name'}, 'employer', 'United States Navy'] [{'concept': 'common name'}, 'employer', 'professor']
SELECT DISTINCT ( COUNT ( ?a ) AS ?z ) WHERE { VALUES ( ?m ) { ( resource:United_States_Navy ) ( resource:professor ) } . ?a property:employer ?m }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type
Q2091487
P361
Q192350 Q781132
USER
Which ministries are greater number of military branches a portion of than Ministry of Economy ?
(c(Q781132),P361,c(Q192350))
action greater
action find_reverse_tuple_counts
relation P361
type Q192350
type Q781132
action count
action filter_type
action find
entity Q2091487
relation P361
type Q192350
[{'concept': 'Q781132'}, 'P361', {'concept': 'Q192350'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ?l ( COUNT ( ?d ) AS ?b ) WHERE { ?d property:P361 ?l . ?l rdf:type ontology:Q192350 . ?d rdf:type ontology:Q781132 } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { ?p rdf:type ontology:Q192350 . resource:Q2091487 property:P361 ?p } } . FILTER ( ?b > ?f ) }
Ministry of Economy
action greater
action find_reverse_tuple_counts
relation part of
type ministry
type military branch
action count
action filter_type
action find
entity Ministry of Economy
relation part of
type ministry
[{'concept': 'military branch'}, 'part of', {'concept': 'ministry'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ?l ( COUNT ( ?d ) AS ?b ) WHERE { ?d property:part_of ?l . ?l rdf:type ontology:ministry . ?d rdf:type ontology:military_branch } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { ?p rdf:type ontology:ministry . resource:Ministry_of_Economy property:part_of ?p } } . FILTER ( ?b > ?f ) }
[]
ministry military branch
Q742787 Q11209
SYSTEM
United States Department of the Navy, Department of Defense
Q742787 Q11209
(c(Q781132),P361,c(Q192350))
action greater
action find_reverse_tuple_counts
relation P361
type Q192350
type Q781132
action count
action filter_type
action find
entity Q2091487
relation P361
type Q192350
[ANSWERS] are greater number of military branches a portion of than Ministry of Economy
[{'concept': 'Q781132'}, 'P361', {'concept': 'Q192350'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ?l ( COUNT ( ?d ) AS ?b ) WHERE { ?d property:P361 ?l . ?l rdf:type ontology:Q192350 . ?d rdf:type ontology:Q781132 } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { ?p rdf:type ontology:Q192350 . resource:Q2091487 property:P361 ?p } } . FILTER ( ?b > ?f ) }
United States Department of the Navy Department of Defense
United States Department of the Navy and Department of Defense are greater number of military branches a portion of than Ministry of Economy
United States Department of the Navy Department of Defense
action greater
action find_reverse_tuple_counts
relation part of
type ministry
type military branch
action count
action filter_type
action find
entity Ministry of Economy
relation part of
type ministry
[{'concept': 'military branch'}, 'part of', {'concept': 'ministry'}]
SELECT DISTINCT ?l WHERE { { SELECT DISTINCT ?l ( COUNT ( ?d ) AS ?b ) WHERE { ?d property:part_of ?l . ?l rdf:type ontology:ministry . ?d rdf:type ontology:military_branch } GROUP BY ?l } . { SELECT DISTINCT ( COUNT ( ?p ) AS ?f ) WHERE { ?p rdf:type ontology:ministry . resource:Ministry_of_Economy property:part_of ?p } } . FILTER ( ?b > ?f ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Single entity type|Incomplete
Q13765742
P361
Q192350 Q781132
USER
And how about Ministry of Employment and the Economy?
(c(Q781132),P361,c(Q192350))
action greater
action find_reverse_tuple_counts
relation P361
type Q192350
type Q781132
action count
action filter_type
action find
entity Q13765742
relation P361
type Q192350
[{'concept': 'Q781132'}, 'P361', {'concept': 'Q192350'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?b ) AS ?g ) WHERE { ?b property:P361 ?k . ?k rdf:type ontology:Q192350 . ?b rdf:type ontology:Q781132 } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?x ) WHERE { resource:Q13765742 property:P361 ?c . ?c rdf:type ontology:Q192350 } } . FILTER ( ?g > ?x ) }
Ministry of Employment and the Economy
action greater
action find_reverse_tuple_counts
relation part of
type ministry
type military branch
action count
action filter_type
action find
entity Ministry of Employment and the Economy
relation part of
type ministry
[{'concept': 'military branch'}, 'part of', {'concept': 'ministry'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?b ) AS ?g ) WHERE { ?b property:part_of ?k . ?k rdf:type ontology:ministry . ?b rdf:type ontology:military_branch } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?x ) WHERE { resource:Ministry_of_Employment_and_the_Economy property:part_of ?c . ?c rdf:type ontology:ministry } } . FILTER ( ?g > ?x ) }
[]
ministry military branch
Q742787 Q11209
SYSTEM
United States Department of the Navy, Department of Defense
Q742787 Q11209
(c(Q781132),P361,c(Q192350))
action greater
action find_reverse_tuple_counts
relation P361
type Q192350
type Q781132
action count
action filter_type
action find
entity Q13765742
relation P361
type Q192350
[ANSWERS]
[{'concept': 'Q781132'}, 'P361', {'concept': 'Q192350'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?b ) AS ?g ) WHERE { ?b property:P361 ?k . ?k rdf:type ontology:Q192350 . ?b rdf:type ontology:Q781132 } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?x ) WHERE { resource:Q13765742 property:P361 ?c . ?c rdf:type ontology:Q192350 } } . FILTER ( ?g > ?x ) }
United States Department of the Navy Department of Defense
United States Department of the Navy Department of Defense
action greater
action find_reverse_tuple_counts
relation part of
type ministry
type military branch
action count
action filter_type
action find
entity Ministry of Employment and the Economy
relation part of
type ministry
[{'concept': 'military branch'}, 'part of', {'concept': 'ministry'}]
SELECT DISTINCT ?k WHERE { { SELECT DISTINCT ?k ( COUNT ( ?b ) AS ?g ) WHERE { ?b property:part_of ?k . ?k rdf:type ontology:ministry . ?b rdf:type ontology:military_branch } GROUP BY ?k } . { SELECT DISTINCT ( COUNT ( ?c ) AS ?x ) WHERE { resource:Ministry_of_Employment_and_the_Economy property:part_of ?c . ?c rdf:type ontology:ministry } } . FILTER ( ?g > ?x ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q333430
P39
Q12737077
USER
What were the positions held by Charlie Wilson ?
(Q333430,P39,c(Q12737077))
action filter_type
action find
entity Q333430
relation P39
type Q12737077
['Q333430', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q12737077 . resource:Q333430 property:P39 ?z }
Charlie Wilson
action filter_type
action find
entity Charlie Wilson
relation position held
type occupation
['Charlie Wilson', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:occupation . resource:Charlie_Wilson property:position_held ?z }
[]
occupation
Q13218630 Q18565274 Q18604553
SYSTEM
United States representative, member of the State Senate of Texas, member of the Texas House of Representatives
Q13218630 Q18565274 Q18604553
(Q333430,P39,c(Q12737077))
action filter_type
action find
entity Q333430
relation P39
type Q12737077
The positions held by Charlie Wilson were [ANSWERS]
['Q333430', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q12737077 . resource:Q333430 property:P39 ?z }
United States representative member of the State Senate of Texas member of the Texas House of Representatives
The positions held by Charlie Wilson were United States representative, member of the State Senate of Texas and member of the Texas House of Representatives
United States representative member of the State Senate of Texas member of the Texas House of Representatives
action filter_type
action find
entity Charlie Wilson
relation position held
type occupation
['Charlie Wilson', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:occupation . resource:Charlie_Wilson property:position_held ?z }
[]
Simple Question (Ellipsis)
only subject is changed, parent and predicate remains same
Q325762
Q12737077
USER
And also tell me about Manuel Gutiérrez de la Concha?
(Q325762,P39,c(Q12737077))
action filter_type
action find
entity Q325762
relation P39
type Q12737077
['Q325762', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?v WHERE { resource:Q325762 property:P39 ?v . ?v rdf:type ontology:Q12737077 }
Manuel Gutiérrez de la Concha
action filter_type
action find
entity Manuel Gutiérrez de la Concha
relation position held
type occupation
['Manuel Gutiérrez de la Concha', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?v WHERE { resource:Manuel_Gutiérrez_de_la_Concha property:position_held ?v . ?v rdf:type ontology:occupation }
[]
occupation
Q19323171
SYSTEM
Member of the Senate of Spain
Q19323171
(Q325762,P39,c(Q12737077))
action filter_type
action find
entity Q325762
relation P39
type Q12737077
[ANSWER]
['Q325762', 'P39', {'concept': 'Q12737077'}]
SELECT DISTINCT ?v WHERE { resource:Q325762 property:P39 ?v . ?v rdf:type ontology:Q12737077 }
Member of the Senate of Spain
Member of the Senate of Spain
action filter_type
action find
entity Manuel Gutiérrez de la Concha
relation position held
type occupation
['Manuel Gutiérrez de la Concha', 'position held', {'concept': 'occupation'}]
SELECT DISTINCT ?v WHERE { resource:Manuel_Gutiérrez_de_la_Concha property:position_held ?v . ?v rdf:type ontology:occupation }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q19323171 Q29
P17
Q15617994
USER
Is Member of the Senate of Spain a part of Spain ?
(Q19323171,P17,Q29)
action is_in
entity Q29
action find
entity Q19323171
relation P17
['Q19323171', 'P17', 'Q29']
ASK WHERE { resource:Q19323171 property:P17 resource:Q29 }
Member of the Senate of Spain Spain
action is_in
entity Spain
action find
entity Member of the Senate of Spain
relation country
['Member of the Senate of Spain', 'country', 'Spain']
ASK WHERE { resource:Member_of_the_Senate_of_Spain property:country resource:Spain }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q19323171,P17,Q29)
action is_in
entity Q29
action find
entity Q19323171
relation P17
[ANSWER]
['Q19323171', 'P17', 'Q29']
ASK WHERE { resource:Q19323171 property:P17 resource:Q29 }
Yes
action is_in
entity Spain
action find
entity Member of the Senate of Spain
relation country
['Member of the Senate of Spain', 'country', 'Spain']
ASK WHERE { resource:Member_of_the_Senate_of_Spain property:country resource:Spain }
[]
Logical Reasoning (All)
Logical|Union|Single_Relation
Q7129253 Q333430
P937
Q56061
USER
Which administrative territories are the locations where Charlie Wilson or Pamela Rosen Lampitt worked ?
OR((Q333430,P937,c(Q56061)), (Q7129253,P937,c(Q56061)))
action filter_type
action union
action find
entity Q333430
relation P937
action find
entity Q7129253
relation P937
type Q56061
{'OR': [['Q333430', 'P937', {'concept': 'Q56061'}], ['Q7129253', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q7129253 property:P937 ?n } UNION { resource:Q333430 property:P937 ?n } } . ?n rdf:type ontology:Q56061 }
Pamela Rosen Lampitt Charlie Wilson
action filter_type
action union
action find
entity Charlie Wilson
relation work location
action find
entity Pamela Rosen Lampitt
relation work location
type administrative territorial entity
{'OR': [['Charlie Wilson', 'work location', {'concept': 'administrative territorial entity'}], ['Pamela Rosen Lampitt', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Pamela_Rosen_Lampitt property:work_location ?n } UNION { resource:Charlie_Wilson property:work_location ?n } } . ?n rdf:type ontology:administrative_territorial_entity }
[]
administrative territorial entity
Q16559 Q25330
SYSTEM
Austin, Trenton
Q16559 Q25330
OR((Q333430,P937,c(Q56061)), (Q7129253,P937,c(Q56061)))
action filter_type
action union
action find
entity Q333430
relation P937
action find
entity Q7129253
relation P937
type Q56061
[ANSWERS] are the locations where Charlie Wilson or Pamela Rosen Lampitt worked
{'OR': [['Q333430', 'P937', {'concept': 'Q56061'}], ['Q7129253', 'P937', {'concept': 'Q56061'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Q7129253 property:P937 ?n } UNION { resource:Q333430 property:P937 ?n } } . ?n rdf:type ontology:Q56061 }
Austin Trenton
Austin and Trenton are the locations where Charlie Wilson or Pamela Rosen Lampitt worked
Austin Trenton
action filter_type
action union
action find
entity Charlie Wilson
relation work location
action find
entity Pamela Rosen Lampitt
relation work location
type administrative territorial entity
{'OR': [['Charlie Wilson', 'work location', {'concept': 'administrative territorial entity'}], ['Pamela Rosen Lampitt', 'work location', {'concept': 'administrative territorial entity'}]]}
SELECT DISTINCT ?n WHERE { { { resource:Pamela_Rosen_Lampitt property:work_location ?n } UNION { resource:Charlie_Wilson property:work_location ?n } } . ?n rdf:type ontology:administrative_territorial_entity }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q1324290
P137
Q781132 Q1875621 Q62447
USER
How many military branches can manage greater number of aircraft classes and aerodromes than Vietnam People's Navy ?
(c(Q1875621)|c(Q62447),P137,c(Q781132))
action count
action greater
action union
action find_reverse_tuple_counts
relation P137
type Q781132
type Q1875621
action find_reverse_tuple_counts
relation P137
type Q781132
type Q62447
action count
action filter_multi_types
action find_reverse
entity Q1324290
relation P137
type Q1875621
type Q62447
[[{'concept': 'Q1875621'}, {'concept': 'Q62447'}], 'P137', {'concept': 'Q781132'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?i ) AS ?g ) WHERE { { ?i property:P137 ?b . ?i rdf:type ontology:Q62447 . ?b rdf:type ontology:Q781132 } UNION { ?b rdf:type ontology:Q781132 . ?i rdf:type ontology:Q1875621 . ?i property:P137 ?b } } GROUP BY ?b } . FILTER ( ?g > ?s ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?s ) WHERE { { { ?f rdf:type ontology:Q1875621 } UNION { ?f rdf:type ontology:Q62447 } } . ?f property:P137 resource:Q1324290 } } }
Vietnam People's Navy
action count
action greater
action union
action find_reverse_tuple_counts
relation operator
type military branch
type aircraft class
action find_reverse_tuple_counts
relation operator
type military branch
type aerodrome
action count
action filter_multi_types
action find_reverse
entity Vietnam People's Navy
relation operator
type aircraft class
type aerodrome
[[{'concept': 'aircraft class'}, {'concept': 'aerodrome'}], 'operator', {'concept': 'military branch'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?i ) AS ?g ) WHERE { { ?i property:operator ?b . ?i rdf:type ontology:aerodrome . ?b rdf:type ontology:military_branch } UNION { ?b rdf:type ontology:military_branch . ?i rdf:type ontology:aircraft_class . ?i property:operator ?b } } GROUP BY ?b } . FILTER ( ?g > ?s ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?s ) WHERE { { { ?f rdf:type ontology:aircraft_class } UNION { ?f rdf:type ontology:aerodrome } } . ?f property:operator resource:Vietnam_People's_Navy } } }
[]
military branch aircraft class aerodrome
SYSTEM
17
Q3293231 Q3958034 Q2055634 Q2370391 Q11218 Q1322103 Q219712 Q4855270 Q2301347 Q9212 Q17404781 Q11220 Q172771 Q4939559 Q1777326 Q2665572 Q569328
(c(Q1875621)|c(Q62447),P137,c(Q781132))
action count
action greater
action union
action find_reverse_tuple_counts
relation P137
type Q781132
type Q1875621
action find_reverse_tuple_counts
relation P137
type Q781132
type Q62447
action count
action filter_multi_types
action find_reverse
entity Q1324290
relation P137
type Q1875621
type Q62447
[ANSWER]
[[{'concept': 'Q1875621'}, {'concept': 'Q62447'}], 'P137', {'concept': 'Q781132'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?i ) AS ?g ) WHERE { { ?i property:P137 ?b . ?i rdf:type ontology:Q62447 . ?b rdf:type ontology:Q781132 } UNION { ?b rdf:type ontology:Q781132 . ?i rdf:type ontology:Q1875621 . ?i property:P137 ?b } } GROUP BY ?b } . FILTER ( ?g > ?s ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?s ) WHERE { { { ?f rdf:type ontology:Q1875621 } UNION { ?f rdf:type ontology:Q62447 } } . ?f property:P137 resource:Q1324290 } } }
Bangladesh Navy Argentine Army Aviation Royal Bahrain Naval Force Royal Bhutan Army United States Marine Corps Spanish Army Imperial Japanese Navy Bangladesh Army Argentine Army United States Army Afghan Special Mission Wing United States Navy Royal Navy Bolivian Army Argentine Navy Algerian National Navy Air Force and Anti-Air Defence Brigade
17
action count
action greater
action union
action find_reverse_tuple_counts
relation operator
type military branch
type aircraft class
action find_reverse_tuple_counts
relation operator
type military branch
type aerodrome
action count
action filter_multi_types
action find_reverse
entity Vietnam People's Navy
relation operator
type aircraft class
type aerodrome
[[{'concept': 'aircraft class'}, {'concept': 'aerodrome'}], 'operator', {'concept': 'military branch'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?y ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?i ) AS ?g ) WHERE { { ?i property:operator ?b . ?i rdf:type ontology:aerodrome . ?b rdf:type ontology:military_branch } UNION { ?b rdf:type ontology:military_branch . ?i rdf:type ontology:aircraft_class . ?i property:operator ?b } } GROUP BY ?b } . FILTER ( ?g > ?s ) . { SELECT DISTINCT ( COUNT ( ?f ) AS ?s ) WHERE { { { ?f rdf:type ontology:aircraft_class } UNION { ?f rdf:type ontology:aerodrome } } . ?f property:operator resource:Vietnam_People's_Navy } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q56015
P137
Q781132 Q1875621 Q62447
USER
And how about German Navy?
(c(Q1875621)|c(Q62447),P137,c(Q781132))
action count
action greater
action union
action find_reverse_tuple_counts
relation P137
type Q781132
type Q1875621
action find_reverse_tuple_counts
relation P137
type Q781132
type Q62447
action count
action filter_multi_types
action find_reverse
entity Q56015
relation P137
type Q1875621
type Q62447
[[{'concept': 'Q1875621'}, {'concept': 'Q62447'}], 'P137', {'concept': 'Q781132'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?g ) WHERE { { SELECT DISTINCT ( COUNT ( ?w ) AS ?n ) ?j WHERE { VALUES ( ?o ) { ( ontology:Q1875621 ) ( ontology:Q62447 ) } . ?w rdf:type ?o } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) WHERE { ?d property:P137 resource:Q56015 . { ?d rdf:type ?l . VALUES ( ?l ) { ( ontology:Q1875621 ) ( ontology:Q62447 ) } } } } . FILTER ( ?n > ?k ) }
German Navy
action count
action greater
action union
action find_reverse_tuple_counts
relation operator
type military branch
type aircraft class
action find_reverse_tuple_counts
relation operator
type military branch
type aerodrome
action count
action filter_multi_types
action find_reverse
entity German Navy
relation operator
type aircraft class
type aerodrome
[[{'concept': 'aircraft class'}, {'concept': 'aerodrome'}], 'operator', {'concept': 'military branch'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?g ) WHERE { { SELECT DISTINCT ( COUNT ( ?w ) AS ?n ) ?j WHERE { VALUES ( ?o ) { ( ontology:aircraft_class ) ( ontology:aerodrome ) } . ?w rdf:type ?o } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) WHERE { ?d property:operator resource:German_Navy . { ?d rdf:type ?l . VALUES ( ?l ) { ( ontology:aircraft_class ) ( ontology:aerodrome ) } } } } . FILTER ( ?n > ?k ) }
[]
military branch aircraft class aerodrome
SYSTEM
17
Q3293231 Q3958034 Q2055634 Q2370391 Q11218 Q1322103 Q219712 Q4855270 Q2301347 Q9212 Q17404781 Q11220 Q172771 Q4939559 Q1777326 Q2665572 Q569328
(c(Q1875621)|c(Q62447),P137,c(Q781132))
action count
action greater
action union
action find_reverse_tuple_counts
relation P137
type Q781132
type Q1875621
action find_reverse_tuple_counts
relation P137
type Q781132
type Q62447
action count
action filter_multi_types
action find_reverse
entity Q56015
relation P137
type Q1875621
type Q62447
[ANSWER]
[[{'concept': 'Q1875621'}, {'concept': 'Q62447'}], 'P137', {'concept': 'Q781132'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?g ) WHERE { { SELECT DISTINCT ( COUNT ( ?w ) AS ?n ) ?j WHERE { VALUES ( ?o ) { ( ontology:Q1875621 ) ( ontology:Q62447 ) } . ?w rdf:type ?o } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) WHERE { ?d property:P137 resource:Q56015 . { ?d rdf:type ?l . VALUES ( ?l ) { ( ontology:Q1875621 ) ( ontology:Q62447 ) } } } } . FILTER ( ?n > ?k ) }
Bangladesh Navy Argentine Army Aviation Royal Bahrain Naval Force Royal Bhutan Army United States Marine Corps Spanish Army Imperial Japanese Navy Bangladesh Army Argentine Army United States Army Afghan Special Mission Wing United States Navy Royal Navy Bolivian Army Argentine Navy Algerian National Navy Air Force and Anti-Air Defence Brigade
17
action count
action greater
action union
action find_reverse_tuple_counts
relation operator
type military branch
type aircraft class
action find_reverse_tuple_counts
relation operator
type military branch
type aerodrome
action count
action filter_multi_types
action find_reverse
entity German Navy
relation operator
type aircraft class
type aerodrome
[[{'concept': 'aircraft class'}, {'concept': 'aerodrome'}], 'operator', {'concept': 'military branch'}]
SELECT DISTINCT ( COUNT ( ?j ) AS ?g ) WHERE { { SELECT DISTINCT ( COUNT ( ?w ) AS ?n ) ?j WHERE { VALUES ( ?o ) { ( ontology:aircraft_class ) ( ontology:aerodrome ) } . ?w rdf:type ?o } GROUP BY ?j } . { SELECT DISTINCT ( COUNT ( ?d ) AS ?k ) WHERE { ?d property:operator resource:German_Navy . { ?d rdf:type ?l . VALUES ( ?l ) { ( ontology:aircraft_class ) ( ontology:aerodrome ) } } } } . FILTER ( ?n > ?k ) }
[]
Logical Reasoning (All)
Logical|Intersection|Multiple_Relation
Q17374851 Q325762
P27 P137
Q15617994
USER
Which administrative territories are the countries of citizenship of Manuel Gutiérrez de la Concha and can manage SA 315B Lama ?
AND((Q325762,P27,c(Q15617994)), (Q17374851,P137,c(Q15617994)))
action filter_type
action intersection
action find
entity Q325762
relation P27
action find
entity Q17374851
relation P137
type Q15617994
{'AND': [['Q325762', 'P27', {'concept': 'Q15617994'}], ['Q17374851', 'P137', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?r WHERE { resource:Q325762 property:P27 ?r . resource:Q17374851 property:P137 ?r . ?r rdf:type ontology:Q15617994 }
SA 315B Lama Manuel Gutiérrez de la Concha
action filter_type
action intersection
action find
entity Manuel Gutiérrez de la Concha
relation country of citizenship
action find
entity SA 315B Lama
relation operator
type designation for an administrative territorial entity
{'AND': [['Manuel Gutiérrez de la Concha', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['SA 315B Lama', 'operator', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?r WHERE { resource:Manuel_Gutiérrez_de_la_Concha property:country_of_citizenship ?r . resource:SA_315B_Lama property:operator ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
designation for an administrative territorial entity
Q414
SYSTEM
Argentina
Q414
AND((Q325762,P27,c(Q15617994)), (Q17374851,P137,c(Q15617994)))
action filter_type
action intersection
action find
entity Q325762
relation P27
action find
entity Q17374851
relation P137
type Q15617994
[ANSWER] is the countries of citizenship of Manuel Gutiérrez de la Concha and can manage SA 315B Lama
{'AND': [['Q325762', 'P27', {'concept': 'Q15617994'}], ['Q17374851', 'P137', {'concept': 'Q15617994'}]]}
SELECT DISTINCT ?r WHERE { resource:Q325762 property:P27 ?r . resource:Q17374851 property:P137 ?r . ?r rdf:type ontology:Q15617994 }
Argentina
Argentina is the countries of citizenship of Manuel Gutiérrez de la Concha and can manage SA 315B Lama
Argentina
action filter_type
action intersection
action find
entity Manuel Gutiérrez de la Concha
relation country of citizenship
action find
entity SA 315B Lama
relation operator
type designation for an administrative territorial entity
{'AND': [['Manuel Gutiérrez de la Concha', 'country of citizenship', {'concept': 'designation for an administrative territorial entity'}], ['SA 315B Lama', 'operator', {'concept': 'designation for an administrative territorial entity'}]]}
SELECT DISTINCT ?r WHERE { resource:Manuel_Gutiérrez_de_la_Concha property:country_of_citizenship ?r . resource:SA_315B_Lama property:operator ?r . ?r rdf:type ontology:designation_for_an_administrative_territorial_entity }
[]
Verification (Boolean) (All)
Verification|2 entities, both direct
Q414 Q408
P530
Q1048835
USER
Does Australia have diplomatic relationships with Argentina ?
(Q414,P530,Q408)
action is_in
entity Q408
action find
entity Q414
relation P530
['Q414', 'P530', 'Q408']
ASK WHERE { resource:Q414 property:P530 resource:Q408 }
Argentina Australia
action is_in
entity Australia
action find
entity Argentina
relation diplomatic relation
['Argentina', 'diplomatic relation', 'Australia']
ASK WHERE { resource:Argentina property:diplomatic_relation resource:Australia }
[]
political territorial entity
SYSTEM
YES
(Q414,P530,Q408)
action is_in
entity Q408
action find
entity Q414
relation P530
[ANSWER]
['Q414', 'P530', 'Q408']
ASK WHERE { resource:Q414 property:P530 resource:Q408 }
Yes
action is_in
entity Australia
action find
entity Argentina
relation diplomatic relation
['Argentina', 'diplomatic relation', 'Australia']
ASK WHERE { resource:Argentina property:diplomatic_relation resource:Australia }
[]