Simple Question (Direct)
Simple Question
Q2777142
P21
Q290
USER
Which sex does Stephen Mendel possess ?
(Q2777142,P21,c(Q290))
action filter_type
action find
entity Q2777142
relation P21
type Q290
['Q2777142', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?z WHERE { resource:Q2777142 property:P21 ?z . ?z rdf:type ontology:Q290 }
Stephen Mendel
action filter_type
action find
entity Stephen Mendel
relation gender
type sex
['Stephen Mendel', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?z WHERE { resource:Stephen_Mendel property:gender ?z . ?z rdf:type ontology:sex }
[]
sex
Q6581097
SYSTEM
male
Q6581097
(Q2777142,P21,c(Q290))
action filter_type
action find
entity Q2777142
relation P21
type Q290
Stephen Mendel possesses un [ANSWER]
['Q2777142', 'P21', {'concept': 'Q290'}]
SELECT DISTINCT ?z WHERE { resource:Q2777142 property:P21 ?z . ?z rdf:type ontology:Q290 }
male
Stephen Mendel possesses un male
male
action filter_type
action find
entity Stephen Mendel
relation gender
type sex
['Stephen Mendel', 'gender', {'concept': 'sex'}]
SELECT DISTINCT ?z WHERE { resource:Stephen_Mendel property:gender ?z . ?z rdf:type ontology:sex }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q2777142
P161
Q15416
USER
Which television program has that person in its star cast ?
(c(Q15416),P161,Q6581097)
action filter_type
action find_reverse
entity Q2777142
relation P161
type Q15416
[{'concept': 'Q15416'}, 'P161', 'Q6581097']
SELECT DISTINCT ?o WHERE { ?o property:P161 resource:Q2777142 . ?o rdf:type ontology:Q15416 }
Stephen Mendel
action filter_type
action find_reverse
entity Stephen Mendel
relation cast member
type television program
[{'concept': 'television program'}, 'cast member', 'male']
SELECT DISTINCT ?o WHERE { ?o property:cast_member resource:Stephen_Mendel . ?o rdf:type ontology:television_program }
[]
television program
Q1215214
SYSTEM
Ninja Turtles: The Next Mutation
Q1215214
(c(Q15416),P161,Q6581097)
action filter_type
action find_reverse
entity Q2777142
relation P161
type Q15416
[ANSWER] has that person in its star cast
[{'concept': 'Q15416'}, 'P161', 'Q6581097']
SELECT DISTINCT ?o WHERE { ?o property:P161 resource:Q2777142 . ?o rdf:type ontology:Q15416 }
Ninja Turtles: The Next Mutation
Ninja Turtles: The Next Mutation has that person in its star cast
Ninja Turtles: The Next Mutation
action filter_type
action find_reverse
entity Stephen Mendel
relation cast member
type television program
[{'concept': 'television program'}, 'cast member', 'male']
SELECT DISTINCT ?o WHERE { ?o property:cast_member resource:Stephen_Mendel . ?o rdf:type ontology:television_program }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q1215214 Q30
P495
Q15617994
USER
Did that television program originate United States of America ?
(Q1215214,P495,Q30)
action is_in
entity Q30
action find
entity Q1215214
relation P495
['Q1215214', 'P495', 'Q30']
ASK WHERE { resource:Q1215214 property:P495 resource:Q30 }
Ninja Turtles: The Next Mutation United States of America
action is_in
entity United States of America
action find
entity Ninja Turtles: The Next Mutation
relation country of origin
['Ninja Turtles: The Next Mutation', 'country of origin', 'United States of America']
ASK WHERE { resource:Ninja_Turtles:_The_Next_Mutation property:country_of_origin resource:United_States_of_America }
[]
designation for an administrative territorial entity
SYSTEM
YES
(Q1215214,P495,Q30)
action is_in
entity Q30
action find
entity Q1215214
relation P495
[ANSWER]
['Q1215214', 'P495', 'Q30']
ASK WHERE { resource:Q1215214 property:P495 resource:Q30 }
Yes
action is_in
entity United States of America
action find
entity Ninja Turtles: The Next Mutation
relation country of origin
['Ninja Turtles: The Next Mutation', 'country of origin', 'United States of America']
ASK WHERE { resource:Ninja_Turtles:_The_Next_Mutation property:country_of_origin resource:United_States_of_America }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Single entity type
P1445
Q15416 Q386724
USER
Which works were described in min number of television programs ?
(c(Q386724),P1445,c(Q15416))
action argmin
action find_tuple_counts
relation P1445
type Q386724
type Q15416
[{'concept': 'Q386724'}, 'P1445', {'concept': 'Q15416'}]
SELECT DISTINCT ?q WHERE { FILTER ( ?n = ?e ) . { SELECT DISTINCT ?q ( COUNT ( ?c ) AS ?n ) WHERE { ?q property:P1445 ?c . ?q rdf:type ontology:Q386724 . ?c rdf:type ontology:Q15416 } GROUP BY ?q } . { SELECT DISTINCT ( MIN ( ?y ) AS ?e ) { SELECT DISTINCT ?i ( COUNT ( ?k ) AS ?y ) WHERE { ?i property:P1445 ?k . ?i rdf:type ontology:Q386724 . ?k rdf:type ontology:Q15416 } GROUP BY ?i } } }
action argmin
action find_tuple_counts
relation fictional universe described in
type work
type television program
[{'concept': 'work'}, 'fictional universe described in', {'concept': 'television program'}]
SELECT DISTINCT ?q WHERE { FILTER ( ?n = ?e ) . { SELECT DISTINCT ?q ( COUNT ( ?c ) AS ?n ) WHERE { ?q property:fictional_universe_described_in ?c . ?q rdf:type ontology:work . ?c rdf:type ontology:television_program } GROUP BY ?q } . { SELECT DISTINCT ( MIN ( ?y ) AS ?e ) { SELECT DISTINCT ?i ( COUNT ( ?k ) AS ?y ) WHERE { ?i property:fictional_universe_described_in ?k . ?i rdf:type ontology:work . ?k rdf:type ontology:television_program } GROUP BY ?i } } }
[]
television program work
Q384426
SYSTEM
Pirates of the Caribbean
Q384426
(c(Q386724),P1445,c(Q15416))
action argmin
action find_tuple_counts
relation P1445
type Q386724
type Q15416
[ANSWER] was described in min number of television programs
[{'concept': 'Q386724'}, 'P1445', {'concept': 'Q15416'}]
SELECT DISTINCT ?q WHERE { FILTER ( ?n = ?e ) . { SELECT DISTINCT ?q ( COUNT ( ?c ) AS ?n ) WHERE { ?q property:P1445 ?c . ?q rdf:type ontology:Q386724 . ?c rdf:type ontology:Q15416 } GROUP BY ?q } . { SELECT DISTINCT ( MIN ( ?y ) AS ?e ) { SELECT DISTINCT ?i ( COUNT ( ?k ) AS ?y ) WHERE { ?i property:P1445 ?k . ?i rdf:type ontology:Q386724 . ?k rdf:type ontology:Q15416 } GROUP BY ?i } } }
Pirates of the Caribbean
Pirates of the Caribbean was described in min number of television programs
Pirates of the Caribbean
action argmin
action find_tuple_counts
relation fictional universe described in
type work
type television program
[{'concept': 'work'}, 'fictional universe described in', {'concept': 'television program'}]
SELECT DISTINCT ?q WHERE { FILTER ( ?n = ?e ) . { SELECT DISTINCT ?q ( COUNT ( ?c ) AS ?n ) WHERE { ?q property:fictional_universe_described_in ?c . ?q rdf:type ontology:work . ?c rdf:type ontology:television_program } GROUP BY ?q } . { SELECT DISTINCT ( MIN ( ?y ) AS ?e ) { SELECT DISTINCT ?i ( COUNT ( ?k ) AS ?y ) WHERE { ?i property:fictional_universe_described_in ?k . ?i rdf:type ontology:work . ?k rdf:type ontology:television_program } GROUP BY ?i } } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Single entity type|Indirect
P1080
Q386724 Q23010327
USER
How many works appear in greater number of groups of fictitious objects than that work ?
(c(Q23010327),P1080,c(Q386724))
action count
action greater
action find_reverse_tuple_counts
relation P1080
type Q386724
type Q23010327
action count
action filter_type
action find
entity Q384426
relation P1080
type Q386724
[{'concept': 'Q23010327'}, 'P1080', {'concept': 'Q386724'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?q ) WHERE { { SELECT DISTINCT ?g ( COUNT ( ?r ) AS ?m ) WHERE { ?r property:P1080 ?g . ?g rdf:type ontology:Q386724 . ?r rdf:type ontology:Q23010327 } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { resource:Q384426 property:P1080 ?t . ?t rdf:type ontology:Q386724 } } . FILTER ( ?m > ?f ) }
action count
action greater
action find_reverse_tuple_counts
relation from fictional universe
type work
type group of fictitious objects
action count
action filter_type
action find
entity Pirates of the Caribbean
relation from fictional universe
type work
[{'concept': 'group of fictitious objects'}, 'from fictional universe', {'concept': 'work'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?q ) WHERE { { SELECT DISTINCT ?g ( COUNT ( ?r ) AS ?m ) WHERE { ?r property:from_fictional_universe ?g . ?g rdf:type ontology:work . ?r rdf:type ontology:group_of_fictitious_objects } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { resource:Pirates_of_the_Caribbean property:from_fictional_universe ?t . ?t rdf:type ontology:work } } . FILTER ( ?m > ?f ) }
[]
work group of fictitious objects
SYSTEM
1
Q3177580
(c(Q23010327),P1080,c(Q386724))
action count
action greater
action find_reverse_tuple_counts
relation P1080
type Q386724
type Q23010327
action count
action filter_type
action find
entity Q384426
relation P1080
type Q386724
[ANSWER]
[{'concept': 'Q23010327'}, 'P1080', {'concept': 'Q386724'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?q ) WHERE { { SELECT DISTINCT ?g ( COUNT ( ?r ) AS ?m ) WHERE { ?r property:P1080 ?g . ?g rdf:type ontology:Q386724 . ?r rdf:type ontology:Q23010327 } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { resource:Q384426 property:P1080 ?t . ?t rdf:type ontology:Q386724 } } . FILTER ( ?m > ?f ) }
The Walking Dead
1
action count
action greater
action find_reverse_tuple_counts
relation from fictional universe
type work
type group of fictitious objects
action count
action filter_type
action find
entity Pirates of the Caribbean
relation from fictional universe
type work
[{'concept': 'group of fictitious objects'}, 'from fictional universe', {'concept': 'work'}]
SELECT DISTINCT ( COUNT ( ?g ) AS ?q ) WHERE { { SELECT DISTINCT ?g ( COUNT ( ?r ) AS ?m ) WHERE { ?r property:from_fictional_universe ?g . ?g rdf:type ontology:work . ?r rdf:type ontology:group_of_fictitious_objects } GROUP BY ?g } . { SELECT DISTINCT ( COUNT ( ?t ) AS ?f ) WHERE { resource:Pirates_of_the_Caribbean property:from_fictional_universe ?t . ?t rdf:type ontology:work } } . FILTER ( ?m > ?f ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q384426
P1434
Q36649
USER
Which visual arts is set in Pirates of the Caribbean ?
(c(Q36649),P1434,Q384426)
action filter_type
action find_reverse
entity Q384426
relation P1434
type Q36649
[{'concept': 'Q36649'}, 'P1434', 'Q384426']
SELECT DISTINCT ?v WHERE { ?v property:P1434 resource:Q384426 . ?v rdf:type ontology:Q36649 }
Pirates of the Caribbean
action filter_type
action find_reverse
entity Pirates of the Caribbean
relation describes the fictional universe
type visual arts
[{'concept': 'visual arts'}, 'describes the fictional universe', 'Pirates of the Caribbean']
SELECT DISTINCT ?v WHERE { ?v property:describes_the_fictional_universe resource:Pirates_of_the_Caribbean . ?v rdf:type ontology:visual_arts }
[]
visual arts
Q194318
SYSTEM
Pirates of the Caribbean
Q194318
(c(Q36649),P1434,Q384426)
action filter_type
action find_reverse
entity Q384426
relation P1434
type Q36649
Set [ANSWER] is set in [ANSWER]
[{'concept': 'Q36649'}, 'P1434', 'Q384426']
SELECT DISTINCT ?v WHERE { ?v property:P1434 resource:Q384426 . ?v rdf:type ontology:Q36649 }
Pirates of the Caribbean
Set Pirates of the Caribbean is set in Pirates of the Caribbean
Pirates of the Caribbean
action filter_type
action find_reverse
entity Pirates of the Caribbean
relation describes the fictional universe
type visual arts
[{'concept': 'visual arts'}, 'describes the fictional universe', 'Pirates of the Caribbean']
SELECT DISTINCT ?v WHERE { ?v property:describes_the_fictional_universe resource:Pirates_of_the_Caribbean . ?v rdf:type ontology:visual_arts }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q194318
P144
Q166142
USER
Which application is an extension that visual arts ?
(c(Q166142),P144,Q194318)
action filter_type
action find_reverse
entity Q194318
relation P144
type Q166142
[{'concept': 'Q166142'}, 'P144', 'Q194318']
SELECT DISTINCT ?t WHERE { ?t property:P144 resource:Q194318 . ?t rdf:type ontology:Q166142 }
Pirates of the Caribbean
action filter_type
action find_reverse
entity Pirates of the Caribbean
relation based on
type application
[{'concept': 'application'}, 'based on', 'Pirates of the Caribbean']
SELECT DISTINCT ?t WHERE { ?t property:based_on resource:Pirates_of_the_Caribbean . ?t rdf:type ontology:application }
[]
application
Q167330
SYSTEM
Pirates of the Caribbean
Q167330
(c(Q166142),P144,Q194318)
action filter_type
action find_reverse
entity Q194318
relation P144
type Q166142
[ANSWER] is an extension that visual arts
[{'concept': 'Q166142'}, 'P144', 'Q194318']
SELECT DISTINCT ?t WHERE { ?t property:P144 resource:Q194318 . ?t rdf:type ontology:Q166142 }
Pirates of the Caribbean
Pirates of the Caribbean is an extension that visual arts
Pirates of the Caribbean
action filter_type
action find_reverse
entity Pirates of the Caribbean
relation based on
type application
[{'concept': 'application'}, 'based on', 'Pirates of the Caribbean']
SELECT DISTINCT ?t WHERE { ?t property:based_on resource:Pirates_of_the_Caribbean . ?t rdf:type ontology:application }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q167330 Q194318
P144
Q36649
USER
Is that application based on Pirates of the Caribbean ?
(Q167330,P144,Q194318)
action is_in
entity Q194318
action find
entity Q167330
relation P144
['Q167330', 'P144', 'Q194318']
ASK WHERE { resource:Q167330 property:P144 resource:Q194318 }
Pirates of the Caribbean Pirates of the Caribbean
action is_in
entity Pirates of the Caribbean
action find
entity Pirates of the Caribbean
relation based on
['Pirates of the Caribbean', 'based on', 'Pirates of the Caribbean']
ASK WHERE { resource:Pirates_of_the_Caribbean property:based_on resource:Pirates_of_the_Caribbean }
[]
visual arts
SYSTEM
YES
(Q167330,P144,Q194318)
action is_in
entity Q194318
action find
entity Q167330
relation P144
[ANSWER]
['Q167330', 'P144', 'Q194318']
ASK WHERE { resource:Q167330 property:P144 resource:Q194318 }
Yes
action is_in
entity Pirates of the Caribbean
action find
entity Pirates of the Caribbean
relation based on
['Pirates of the Caribbean', 'based on', 'Pirates of the Caribbean']
ASK WHERE { resource:Pirates_of_the_Caribbean property:based_on resource:Pirates_of_the_Caribbean }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q167330
P400
Q676202
USER
What is the platform for which that application was developed ?
action filter_type
action find
entity Q167330
relation P400
type Q676202
SELECT DISTINCT ?z WHERE { resource:Q167330 property:P400 ?z . ?z rdf:type ontology:Q676202 }
Pirates of the Caribbean
action filter_type
action find
entity Pirates of the Caribbean
relation platform
type system software
SELECT DISTINCT ?z WHERE { resource:Pirates_of_the_Caribbean property:platform ?z . ?z rdf:type ontology:system_software }
[]
system software
Q1406
SYSTEM
Microsoft Windows
Q1406
action filter_type
action find
entity Q167330
relation P400
type Q676202
[ANSWER]
SELECT DISTINCT ?z WHERE { resource:Q167330 property:P400 ?z . ?z rdf:type ontology:Q676202 }
Microsoft Windows
Microsoft Windows
Microsoft Windows
action filter_type
action find
entity Pirates of the Caribbean
relation platform
type system software
SELECT DISTINCT ?z WHERE { resource:Pirates_of_the_Caribbean property:platform ?z . ?z rdf:type ontology:system_software }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type
Q14646
P306
Q676202 Q66221 Q1668024
USER
Which system software are used for less number of computer data storages and services on internet than Solaris ?
(c(Q66221)|c(Q1668024),P306,c(Q676202))
action less
action union
action find_reverse_tuple_counts
relation P306
type Q676202
type Q66221
action find_reverse_tuple_counts
relation P306
type Q676202
type Q1668024
action count
action filter_multi_types
action find_reverse
entity Q14646
relation P306
type Q66221
type Q1668024
[[{'concept': 'Q66221'}, {'concept': 'Q1668024'}], 'P306', {'concept': 'Q676202'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) ?e WHERE { VALUES ( ?v ) { ( ontology:Q66221 ) ( ontology:Q1668024 ) } . ?g rdf:type ?v } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?o ) WHERE { { ?r rdf:type ?k . VALUES ( ?k ) { ( ontology:Q1668024 ) ( ontology:Q66221 ) } } . ?r property:P306 resource:Q14646 } } . FILTER ( ?y < ?o ) }
Solaris
action less
action union
action find_reverse_tuple_counts
relation operating system
type system software
type computer data storage
action find_reverse_tuple_counts
relation operating system
type system software
type service on internet
action count
action filter_multi_types
action find_reverse
entity Solaris
relation operating system
type computer data storage
type service on internet
[[{'concept': 'computer data storage'}, {'concept': 'service on internet'}], 'operating system', {'concept': 'system software'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) ?e WHERE { VALUES ( ?v ) { ( ontology:computer_data_storage ) ( ontology:service_on_internet ) } . ?g rdf:type ?v } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?o ) WHERE { { ?r rdf:type ?k . VALUES ( ?k ) { ( ontology:service_on_internet ) ( ontology:computer_data_storage ) } } . ?r property:operating_system resource:Solaris } } . FILTER ( ?y < ?o ) }
[]
system software computer data storage service on internet
Q16973176 Q13426339 Q486487
SYSTEM
iOS 8, iOS 7, Windows NT
Q908615 Q2160367 Q5968751 Q352106 Q14581 Q16973176 Q1574899 Q5289795 Q11222 Q751067 Q11226 Q486487 Q296818 Q170434 Q1202514 Q11368 Q2712090 Q863568 Q1343889 Q20033286 Q3300674 Q7005105 Q289345 Q1690495 Q473751 Q47604 Q781443 Q22808416 Q904519 Q2706791 Q204214 Q7072968 Q352308 Q847593 Q380473 Q1670222 Q20056454 Q589680 Q62563 Q307677 Q627611 Q3569290 Q4646465 Q429168 Q890474 Q283705 Q1290448 Q3919641 Q237580 Q3487917 Q4674556 Q13426339 Q2008085 Q1103226 Q338229 Q7039149 Q219528 Q17048762 Q15628543 Q3382499 Q1970127 Q577303 Q19754851 Q1185591 Q14623435 Q18012472 Q15222398 Q1726891 Q1481861
(c(Q66221)|c(Q1668024),P306,c(Q676202))
action less
action union
action find_reverse_tuple_counts
relation P306
type Q676202
type Q66221
action find_reverse_tuple_counts
relation P306
type Q676202
type Q1668024
action count
action filter_multi_types
action find_reverse
entity Q14646
relation P306
type Q66221
type Q1668024
[ANSWERS] are used for less number of computer data storages and services on internet than Solaris
[[{'concept': 'Q66221'}, {'concept': 'Q1668024'}], 'P306', {'concept': 'Q676202'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) ?e WHERE { VALUES ( ?v ) { ( ontology:Q66221 ) ( ontology:Q1668024 ) } . ?g rdf:type ?v } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?o ) WHERE { { ?r rdf:type ?k . VALUES ( ?k ) { ( ontology:Q1668024 ) ( ontology:Q66221 ) } } . ?r property:P306 resource:Q14646 } } . FILTER ( ?y < ?o ) }
Inferno BlackBerry Tablet OS IBM Academic Operating System Apple SOS Darwin iOS 8 Atari TOS Domain/OS Windows Server 2012 DragonFly BSD Windows Server 2008 R2 Windows NT AROS Research Operating System DOS RISC OS Unix Sinclair QDOS IBM PC DOS Mac OS 8 iOS 9 AmigaOS 4 NewDos/80 VSE OS/360 FreeDOS MS-DOS MVS Computer System Operating System Mac OS 9 CP/M-86 Tru64 UNIX OS/VS2 Apple GS/OS HP-UX Coherent TOPS-10 OS X El Capitan Xenix BeOS iOS 6 IRIX Windows 8.1 9front Syllable Desktop Raspbian z/OS KolibriOS iOS 5 OpenSolaris DOS/360 Acorn MOS iOS 7 OS-9 Xbox 360 system software BS2000 Nintendo DSi system software CP/M Xbox One system software Wii U system software Pick operating system OpenIndiana AMSDOS Windows Server 2016 Newton OS Nokia Asha platform WatchOS Windows Server 2012 R2 OS/390 TOPS-20
IOS 8, iOS 7 and Windows NT are used for less number of computer data storages and services on internet than Solaris
iOS 8 iOS 7 Windows NT
action less
action union
action find_reverse_tuple_counts
relation operating system
type system software
type computer data storage
action find_reverse_tuple_counts
relation operating system
type system software
type service on internet
action count
action filter_multi_types
action find_reverse
entity Solaris
relation operating system
type computer data storage
type service on internet
[[{'concept': 'computer data storage'}, {'concept': 'service on internet'}], 'operating system', {'concept': 'system software'}]
SELECT DISTINCT ?e WHERE { { SELECT DISTINCT ( COUNT ( ?g ) AS ?y ) ?e WHERE { VALUES ( ?v ) { ( ontology:computer_data_storage ) ( ontology:service_on_internet ) } . ?g rdf:type ?v } GROUP BY ?e } . { SELECT DISTINCT ( COUNT ( ?r ) AS ?o ) WHERE { { ?r rdf:type ?k . VALUES ( ?k ) { ( ontology:service_on_internet ) ( ontology:computer_data_storage ) } } . ?r property:operating_system resource:Solaris } } . FILTER ( ?y < ?o ) }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Incomplete
Q43627
P306
Q676202 Q66221 Q1668024
USER
And how about Mac OS?
(c(Q66221)|c(Q1668024),P306,c(Q676202))
action less
action union
action find_reverse_tuple_counts
relation P306
type Q676202
type Q66221
action find_reverse_tuple_counts
relation P306
type Q676202
type Q1668024
action count
action filter_multi_types
action find_reverse
entity Q43627
relation P306
type Q66221
type Q1668024
[[{'concept': 'Q66221'}, {'concept': 'Q1668024'}], 'P306', {'concept': 'Q676202'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?r ) ?s WHERE { { ?u property:P306 ?s . ?s rdf:type ontology:Q676202 . ?u rdf:type ontology:Q66221 } UNION { ?u property:P306 ?s . ?s rdf:type ontology:Q676202 . ?u rdf:type ontology:Q1668024 } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?i ) WHERE { { { ?z rdf:type ontology:Q66221 } UNION { ?z rdf:type ontology:Q1668024 } } . ?z property:P306 resource:Q43627 } } . FILTER ( ?r < ?i ) }
Mac OS
action less
action union
action find_reverse_tuple_counts
relation operating system
type system software
type computer data storage
action find_reverse_tuple_counts
relation operating system
type system software
type service on internet
action count
action filter_multi_types
action find_reverse
entity Mac OS
relation operating system
type computer data storage
type service on internet
[[{'concept': 'computer data storage'}, {'concept': 'service on internet'}], 'operating system', {'concept': 'system software'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?r ) ?s WHERE { { ?u property:operating_system ?s . ?s rdf:type ontology:system_software . ?u rdf:type ontology:computer_data_storage } UNION { ?u property:operating_system ?s . ?s rdf:type ontology:system_software . ?u rdf:type ontology:service_on_internet } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?i ) WHERE { { { ?z rdf:type ontology:computer_data_storage } UNION { ?z rdf:type ontology:service_on_internet } } . ?z property:operating_system resource:Mac_OS } } . FILTER ( ?r < ?i ) }
[]
system software computer data storage service on internet
Q16973176 Q13426339 Q486487
SYSTEM
iOS 8, iOS 7, Windows NT
Q908615 Q2160367 Q5968751 Q352106 Q14581 Q16973176 Q1574899 Q5289795 Q11222 Q751067 Q11226 Q486487 Q296818 Q170434 Q1202514 Q11368 Q2712090 Q863568 Q1343889 Q20033286 Q3300674 Q7005105 Q289345 Q1690495 Q473751 Q47604 Q781443 Q22808416 Q904519 Q2706791 Q204214 Q7072968 Q352308 Q847593 Q380473 Q1670222 Q20056454 Q589680 Q62563 Q307677 Q627611 Q3569290 Q4646465 Q429168 Q890474 Q283705 Q1290448 Q3919641 Q237580 Q3487917 Q4674556 Q13426339 Q2008085 Q1103226 Q338229 Q7039149 Q219528 Q17048762 Q15628543 Q3382499 Q1970127 Q577303 Q19754851 Q1185591 Q14623435 Q18012472 Q15222398 Q1726891 Q1481861
(c(Q66221)|c(Q1668024),P306,c(Q676202))
action less
action union
action find_reverse_tuple_counts
relation P306
type Q676202
type Q66221
action find_reverse_tuple_counts
relation P306
type Q676202
type Q1668024
action count
action filter_multi_types
action find_reverse
entity Q43627
relation P306
type Q66221
type Q1668024
[ANSWERS]
[[{'concept': 'Q66221'}, {'concept': 'Q1668024'}], 'P306', {'concept': 'Q676202'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?r ) ?s WHERE { { ?u property:P306 ?s . ?s rdf:type ontology:Q676202 . ?u rdf:type ontology:Q66221 } UNION { ?u property:P306 ?s . ?s rdf:type ontology:Q676202 . ?u rdf:type ontology:Q1668024 } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?i ) WHERE { { { ?z rdf:type ontology:Q66221 } UNION { ?z rdf:type ontology:Q1668024 } } . ?z property:P306 resource:Q43627 } } . FILTER ( ?r < ?i ) }
Inferno BlackBerry Tablet OS IBM Academic Operating System Apple SOS Darwin iOS 8 Atari TOS Domain/OS Windows Server 2012 DragonFly BSD Windows Server 2008 R2 Windows NT AROS Research Operating System DOS RISC OS Unix Sinclair QDOS IBM PC DOS Mac OS 8 iOS 9 AmigaOS 4 NewDos/80 VSE OS/360 FreeDOS MS-DOS MVS Computer System Operating System Mac OS 9 CP/M-86 Tru64 UNIX OS/VS2 Apple GS/OS HP-UX Coherent TOPS-10 OS X El Capitan Xenix BeOS iOS 6 IRIX Windows 8.1 9front Syllable Desktop Raspbian z/OS KolibriOS iOS 5 OpenSolaris DOS/360 Acorn MOS iOS 7 OS-9 Xbox 360 system software BS2000 Nintendo DSi system software CP/M Xbox One system software Wii U system software Pick operating system OpenIndiana AMSDOS Windows Server 2016 Newton OS Nokia Asha platform WatchOS Windows Server 2012 R2 OS/390 TOPS-20
iOS 8 iOS 7 Windows NT
action less
action union
action find_reverse_tuple_counts
relation operating system
type system software
type computer data storage
action find_reverse_tuple_counts
relation operating system
type system software
type service on internet
action count
action filter_multi_types
action find_reverse
entity Mac OS
relation operating system
type computer data storage
type service on internet
[[{'concept': 'computer data storage'}, {'concept': 'service on internet'}], 'operating system', {'concept': 'system software'}]
SELECT DISTINCT ?s WHERE { { SELECT DISTINCT ( COUNT ( ?u ) AS ?r ) ?s WHERE { { ?u property:operating_system ?s . ?s rdf:type ontology:system_software . ?u rdf:type ontology:computer_data_storage } UNION { ?u property:operating_system ?s . ?s rdf:type ontology:system_software . ?u rdf:type ontology:service_on_internet } } GROUP BY ?s } . { SELECT DISTINCT ( COUNT ( ?z ) AS ?i ) WHERE { { { ?z rdf:type ontology:computer_data_storage } UNION { ?z rdf:type ontology:service_on_internet } } . ?z property:operating_system resource:Mac_OS } } . FILTER ( ?r < ?i ) }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q1406
P138
Q7397
USER
Which software has Microsoft Windows as its namesake ?
(c(Q7397),P138,Q1406)
action filter_type
action find_reverse
entity Q1406
relation P138
type Q7397
[{'concept': 'Q7397'}, 'P138', 'Q1406']
SELECT DISTINCT ?s WHERE { ?s property:P138 resource:Q1406 . ?s rdf:type ontology:Q7397 }
Microsoft Windows
action filter_type
action find_reverse
entity Microsoft Windows
relation named after
type software
[{'concept': 'software'}, 'named after', 'Microsoft Windows']
SELECT DISTINCT ?s WHERE { ?s property:named_after resource:Microsoft_Windows . ?s rdf:type ontology:software }
[]
software
Q483881
SYSTEM
Windows 2000
Q483881
(c(Q7397),P138,Q1406)
action filter_type
action find_reverse
entity Q1406
relation P138
type Q7397
[ANSWER] has Microsoft Windows as its namesake
[{'concept': 'Q7397'}, 'P138', 'Q1406']
SELECT DISTINCT ?s WHERE { ?s property:P138 resource:Q1406 . ?s rdf:type ontology:Q7397 }
Windows 2000
Windows 2000 has Microsoft Windows as its namesake
Windows 2000
action filter_type
action find_reverse
entity Microsoft Windows
relation named after
type software
[{'concept': 'software'}, 'named after', 'Microsoft Windows']
SELECT DISTINCT ?s WHERE { ?s property:named_after resource:Microsoft_Windows . ?s rdf:type ontology:software }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q1406
P178
Q1269299
USER
Who is credited with development of that system software ?
(Q483881,P178,c(Q1269299))
action filter_type
action find
entity Q1406
relation P178
type Q1269299
['Q483881', 'P178', {'concept': 'Q1269299'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q1269299 . resource:Q1406 property:P178 ?z }
Microsoft Windows
action filter_type
action find
entity Microsoft Windows
relation developer
type type of business entity
['Windows 2000', 'developer', {'concept': 'type of business entity'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:type_of_business_entity . resource:Microsoft_Windows property:developer ?z }
[]
type of business entity
Q2283
SYSTEM
Microsoft
Q2283
(Q483881,P178,c(Q1269299))
action filter_type
action find
entity Q1406
relation P178
type Q1269299
[ANSWER] is credited with development of that system software
['Q483881', 'P178', {'concept': 'Q1269299'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q1269299 . resource:Q1406 property:P178 ?z }
Microsoft
Microsoft is credited with development of that system software
Microsoft
action filter_type
action find
entity Microsoft Windows
relation developer
type type of business entity
['Windows 2000', 'developer', {'concept': 'type of business entity'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:type_of_business_entity . resource:Microsoft_Windows property:developer ?z }
[]
Comparative Reasoning (All)
Comparative|More/Less|Mult. entity type|Indirect
P1056
Q43229 Q7397 Q1269299
USER
Which business organizations produce more number of organizations or software than that business organization ?
(c(Q1269299),P1056,c(Q43229)|c(Q7397))
action greater
action union
action find_tuple_counts
relation P1056
type Q1269299
type Q43229
action find_tuple_counts
relation P1056
type Q1269299
type Q7397
action count
action filter_multi_types
action find
entity Q2283
relation P1056
type Q43229
type Q7397
[{'concept': 'Q1269299'}, 'P1056', [{'concept': 'Q43229'}, {'concept': 'Q7397'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ?p ( COUNT ( ?w ) AS ?z ) WHERE { { ?p rdf:type ontology:Q1269299 . ?w rdf:type ontology:Q43229 . ?p property:P1056 ?w } UNION { ?p property:P1056 ?w . ?p rdf:type ontology:Q1269299 . ?w rdf:type ontology:Q7397 } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?k ) WHERE { resource:Q2283 property:P1056 ?n . { ?n rdf:type ?g . VALUES ( ?g ) { ( ontology:Q43229 ) ( ontology:Q7397 ) } } } } . FILTER ( ?z > ?k ) }
action greater
action union
action find_tuple_counts
relation product
type type of business entity
type organization
action find_tuple_counts
relation product
type type of business entity
type software
action count
action filter_multi_types
action find
entity Microsoft
relation product
type organization
type software
[{'concept': 'type of business entity'}, 'product', [{'concept': 'organization'}, {'concept': 'software'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ?p ( COUNT ( ?w ) AS ?z ) WHERE { { ?p rdf:type ontology:type_of_business_entity . ?w rdf:type ontology:organization . ?p property:product ?w } UNION { ?p property:product ?w . ?p rdf:type ontology:type_of_business_entity . ?w rdf:type ontology:software } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?k ) WHERE { resource:Microsoft property:product ?n . { ?n rdf:type ?g . VALUES ( ?g ) { ( ontology:organization ) ( ontology:software ) } } } } . FILTER ( ?z > ?k ) }
[]
organization software type of business entity
SYSTEM
0
(c(Q1269299),P1056,c(Q43229)|c(Q7397))
action greater
action union
action find_tuple_counts
relation P1056
type Q1269299
type Q43229
action find_tuple_counts
relation P1056
type Q1269299
type Q7397
action count
action filter_multi_types
action find
entity Q2283
relation P1056
type Q43229
type Q7397
[ANSWER]
[{'concept': 'Q1269299'}, 'P1056', [{'concept': 'Q43229'}, {'concept': 'Q7397'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ?p ( COUNT ( ?w ) AS ?z ) WHERE { { ?p rdf:type ontology:Q1269299 . ?w rdf:type ontology:Q43229 . ?p property:P1056 ?w } UNION { ?p property:P1056 ?w . ?p rdf:type ontology:Q1269299 . ?w rdf:type ontology:Q7397 } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?k ) WHERE { resource:Q2283 property:P1056 ?n . { ?n rdf:type ?g . VALUES ( ?g ) { ( ontology:Q43229 ) ( ontology:Q7397 ) } } } } . FILTER ( ?z > ?k ) }
0
action greater
action union
action find_tuple_counts
relation product
type type of business entity
type organization
action find_tuple_counts
relation product
type type of business entity
type software
action count
action filter_multi_types
action find
entity Microsoft
relation product
type organization
type software
[{'concept': 'type of business entity'}, 'product', [{'concept': 'organization'}, {'concept': 'software'}]]
SELECT DISTINCT ?p WHERE { { SELECT DISTINCT ?p ( COUNT ( ?w ) AS ?z ) WHERE { { ?p rdf:type ontology:type_of_business_entity . ?w rdf:type ontology:organization . ?p property:product ?w } UNION { ?p property:product ?w . ?p rdf:type ontology:type_of_business_entity . ?w rdf:type ontology:software } } GROUP BY ?p } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?k ) WHERE { resource:Microsoft property:product ?n . { ?n rdf:type ?g . VALUES ( ?g ) { ( ontology:organization ) ( ontology:software ) } } } } . FILTER ( ?z > ?k ) }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count over Atleast/ Atmost/ Approx. the same/Equal|Mult. entity type
P144
Q341 Q2424752 Q7397
USER
How many software are adapted from approximately 4 free software or products ?
(c(Q7397),P144,c(Q341)|c(Q2424752))
action count
action approx
action union
action find_tuple_counts
relation P144
type Q7397
type Q341
action find_tuple_counts
relation P144
type Q7397
type Q2424752
value 4
[{'concept': 'Q7397'}, 'P144', [{'concept': 'Q341'}, {'concept': 'Q2424752'}]]
SELECT DISTINCT ( COUNT ( ?a ) AS ?o ) WHERE { { SELECT DISTINCT ?a ( COUNT ( ?c ) AS ?l ) WHERE { { ?a property:P144 ?c . ?a rdf:type ontology:Q7397 . ?c rdf:type ontology:Q341 } UNION { ?a rdf:type ontology:Q7397 . ?c rdf:type ontology:Q2424752 . ?a property:P144 ?c } } GROUP BY ?a } . FILTER ( ?l = 4 ) }
action count
action approx
action union
action find_tuple_counts
relation based on
type software
type free software
action find_tuple_counts
relation based on
type software
type product
value 4
[{'concept': 'software'}, 'based on', [{'concept': 'free software'}, {'concept': 'product'}]]
SELECT DISTINCT ( COUNT ( ?a ) AS ?o ) WHERE { { SELECT DISTINCT ?a ( COUNT ( ?c ) AS ?l ) WHERE { { ?a property:based_on ?c . ?a rdf:type ontology:software . ?c rdf:type ontology:free_software } UNION { ?a rdf:type ontology:software . ?c rdf:type ontology:product . ?a property:based_on ?c } } GROUP BY ?a } . FILTER ( ?l = 4 ) }
[]
free software product software
SYSTEM
1
Q1324793
(c(Q7397),P144,c(Q341)|c(Q2424752))
action count
action approx
action union
action find_tuple_counts
relation P144
type Q7397
type Q341
action find_tuple_counts
relation P144
type Q7397
type Q2424752
value 4
[ANSWER]
[{'concept': 'Q7397'}, 'P144', [{'concept': 'Q341'}, {'concept': 'Q2424752'}]]
SELECT DISTINCT ( COUNT ( ?a ) AS ?o ) WHERE { { SELECT DISTINCT ?a ( COUNT ( ?c ) AS ?l ) WHERE { { ?a property:P144 ?c . ?a rdf:type ontology:Q7397 . ?c rdf:type ontology:Q341 } UNION { ?a rdf:type ontology:Q7397 . ?c rdf:type ontology:Q2424752 . ?a property:P144 ?c } } GROUP BY ?a } . FILTER ( ?l = 4 ) }
Mozilla Corporation software rebranded by the Debian project
1
action count
action approx
action union
action find_tuple_counts
relation based on
type software
type free software
action find_tuple_counts
relation based on
type software
type product
value 4
[{'concept': 'software'}, 'based on', [{'concept': 'free software'}, {'concept': 'product'}]]
SELECT DISTINCT ( COUNT ( ?a ) AS ?o ) WHERE { { SELECT DISTINCT ?a ( COUNT ( ?c ) AS ?l ) WHERE { { ?a property:based_on ?c . ?a rdf:type ontology:software . ?c rdf:type ontology:free_software } UNION { ?a rdf:type ontology:software . ?c rdf:type ontology:product . ?a property:based_on ?c } } GROUP BY ?a } . FILTER ( ?l = 4 ) }
[]