Simple Question (Direct)
Simple Question
Q21108593
P703
Q16521
USER
Which taxon is Forkhead box protein F1 found in ?
(Q21108593,P703,c(Q16521))
action filter_type
action find
entity Q21108593
relation P703
type Q16521
['Q21108593', 'P703', {'concept': 'Q16521'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q16521 . resource:Q21108593 property:P703 ?z }
Forkhead box protein F1
action filter_type
action find
entity Forkhead box protein F1
relation found in taxon
type taxon
['Forkhead box protein F1', 'found in taxon', {'concept': 'taxon'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:taxon . resource:Forkhead_box_protein_F1 property:found_in_taxon ?z }
[]
taxon
Q15978631
SYSTEM
Homo sapiens
Q15978631
(Q21108593,P703,c(Q16521))
action filter_type
action find
entity Q21108593
relation P703
type Q16521
Forkhead box protein F1 is found in [ANSWER]
['Q21108593', 'P703', {'concept': 'Q16521'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:Q16521 . resource:Q21108593 property:P703 ?z }
Homo sapiens
Forkhead box protein F1 is found in Homo sapiens
Homo sapiens
action filter_type
action find
entity Forkhead box protein F1
relation found in taxon
type taxon
['Forkhead box protein F1', 'found in taxon', {'concept': 'taxon'}]
SELECT DISTINCT ?z WHERE { ?z rdf:type ontology:taxon . resource:Forkhead_box_protein_F1 property:found_in_taxon ?z }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q21108593
P688
Q863908
USER
Which nucleic acid sequence encodes that nutrient ?
(c(Q863908),P688,Q15978631)
action filter_type
action find_reverse
entity Q21108593
relation P688
type Q863908
[{'concept': 'Q863908'}, 'P688', 'Q15978631']
SELECT DISTINCT ?k WHERE { ?k property:P688 resource:Q21108593 . ?k rdf:type ontology:Q863908 }
Forkhead box protein F1
action filter_type
action find_reverse
entity Forkhead box protein F1
relation encodes
type nucleic acid sequence
[{'concept': 'nucleic acid sequence'}, 'encodes', 'Homo sapiens']
SELECT DISTINCT ?k WHERE { ?k property:encodes resource:Forkhead_box_protein_F1 . ?k rdf:type ontology:nucleic_acid_sequence }
[]
nucleic acid sequence
Q17928666
SYSTEM
FOXF1
Q17928666
(c(Q863908),P688,Q15978631)
action filter_type
action find_reverse
entity Q21108593
relation P688
type Q863908
[ANSWER] encodes that nutrient
[{'concept': 'Q863908'}, 'P688', 'Q15978631']
SELECT DISTINCT ?k WHERE { ?k property:P688 resource:Q21108593 . ?k rdf:type ontology:Q863908 }
FOXF1
FOXF1 encodes that nutrient
FOXF1
action filter_type
action find_reverse
entity Forkhead box protein F1
relation encodes
type nucleic acid sequence
[{'concept': 'nucleic acid sequence'}, 'encodes', 'Homo sapiens']
SELECT DISTINCT ?k WHERE { ?k property:encodes resource:Forkhead_box_protein_F1 . ?k rdf:type ontology:nucleic_acid_sequence }
[]
Verification (Boolean) (All)
Verification|2 entities, one direct and one indirect, subject is indirect
Q17928666 Q21108593
P688
Q181394
USER
Is Forkhead box protein F1 encoded by that nucleic acid sequence ?
(Q17928666,P688,Q21108593)
action is_in
entity Q21108593
action find
entity Q17928666
relation P688
['Q17928666', 'P688', 'Q21108593']
ASK WHERE { resource:Q17928666 property:P688 resource:Q21108593 }
FOXF1 Forkhead box protein F1
action is_in
entity Forkhead box protein F1
action find
entity FOXF1
relation encodes
['FOXF1', 'encodes', 'Forkhead box protein F1']
ASK WHERE { resource:FOXF1 property:encodes resource:Forkhead_box_protein_F1 }
[]
nutrient
SYSTEM
YES
(Q17928666,P688,Q21108593)
action is_in
entity Q21108593
action find
entity Q17928666
relation P688
[ANSWER]
['Q17928666', 'P688', 'Q21108593']
ASK WHERE { resource:Q17928666 property:P688 resource:Q21108593 }
Yes
action is_in
entity Forkhead box protein F1
action find
entity FOXF1
relation encodes
['FOXF1', 'encodes', 'Forkhead box protein F1']
ASK WHERE { resource:FOXF1 property:encodes resource:Forkhead_box_protein_F1 }
[]
Simple Question (Direct)
Simple Question|Single Entity
Q15978631
P689
Q2057971
USER
Which health problem afflicts Homo sapiens ?
(c(Q2057971),P689,Q15978631)
action filter_type
action find_reverse
entity Q15978631
relation P689
type Q2057971
[{'concept': 'Q2057971'}, 'P689', 'Q15978631']
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q2057971 . ?h property:P689 resource:Q15978631 }
Homo sapiens
action filter_type
action find_reverse
entity Homo sapiens
relation afflicts
type health problem
[{'concept': 'health problem'}, 'afflicts', 'Homo sapiens']
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:health_problem . ?h property:afflicts resource:Homo_sapiens }
[]
health problem
Q403463
SYSTEM
Aicardi syndrome
Q403463
(c(Q2057971),P689,Q15978631)
action filter_type
action find_reverse
entity Q15978631
relation P689
type Q2057971
[ANSWER] afflicts Homo sapiens
[{'concept': 'Q2057971'}, 'P689', 'Q15978631']
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:Q2057971 . ?h property:P689 resource:Q15978631 }
Aicardi syndrome
Aicardi syndrome afflicts Homo sapiens
Aicardi syndrome
action filter_type
action find_reverse
entity Homo sapiens
relation afflicts
type health problem
[{'concept': 'health problem'}, 'afflicts', 'Homo sapiens']
SELECT DISTINCT ?h WHERE { ?h rdf:type ontology:health_problem . ?h property:afflicts resource:Homo_sapiens }
[]
Simple Question (Coreferenced)
Simple Question|Single Entity|Indirect
Q403463
P1995
Q1047113
USER
Which special field is the medical specality concerned with that health problem ?
(Q403463,P1995,c(Q1047113))
action filter_type
action find
entity Q403463
relation P1995
type Q1047113
['Q403463', 'P1995', {'concept': 'Q1047113'}]
SELECT DISTINCT ?m WHERE { resource:Q403463 property:P1995 ?m . ?m rdf:type ontology:Q1047113 }
Aicardi syndrome
action filter_type
action find
entity Aicardi syndrome
relation medical specialty
type special field
['Aicardi syndrome', 'medical specialty', {'concept': 'special field'}]
SELECT DISTINCT ?m WHERE { resource:Aicardi_syndrome property:medical_specialty ?m . ?m rdf:type ontology:special_field }
[]
special field
Q1071953
SYSTEM
medical genetics
Q1071953
(Q403463,P1995,c(Q1047113))
action filter_type
action find
entity Q403463
relation P1995
type Q1047113
[ANSWER] is the medical specality concerned with that health problem
['Q403463', 'P1995', {'concept': 'Q1047113'}]
SELECT DISTINCT ?m WHERE { resource:Q403463 property:P1995 ?m . ?m rdf:type ontology:Q1047113 }
medical genetics
Medical genetics is the medical specality concerned with that health problem
medical genetics
action filter_type
action find
entity Aicardi syndrome
relation medical specialty
type special field
['Aicardi syndrome', 'medical specialty', {'concept': 'special field'}]
SELECT DISTINCT ?m WHERE { resource:Aicardi_syndrome property:medical_specialty ?m . ?m rdf:type ontology:special_field }
[]
Quantitative Reasoning (All)
Quantitative|Min/Max|Mult. entity type
P101
Q1047113 Q21114848 Q502895
USER
Which special fields are the fields of work of min number of magazine genres and people ?
(c(Q21114848)|c(Q502895),P101,c(Q1047113))
action argmin
action union
action find_reverse_tuple_counts
relation P101
type Q1047113
type Q21114848
action find_reverse_tuple_counts
relation P101
type Q1047113
type Q502895
[[{'concept': 'Q21114848'}, {'concept': 'Q502895'}], 'P101', {'concept': 'Q1047113'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?c ) { SELECT DISTINCT ?u ( COUNT ( ?b ) AS ?p ) WHERE { { ?b property:P101 ?u . ?b rdf:type ontology:Q502895 . ?u rdf:type ontology:Q1047113 } UNION { ?b property:P101 ?u . ?u rdf:type ontology:Q1047113 . ?b rdf:type ontology:Q21114848 } } GROUP BY ?u } } . FILTER ( ?x = ?c ) . { SELECT DISTINCT ?v ( COUNT ( ?m ) AS ?x ) WHERE { { ?m property:P101 ?v . ?v rdf:type ontology:Q1047113 . ?m rdf:type ontology:Q21114848 } UNION { ?m property:P101 ?v . ?m rdf:type ontology:Q502895 . ?v rdf:type ontology:Q1047113 } } GROUP BY ?v } }
action argmin
action union
action find_reverse_tuple_counts
relation field of work
type special field
type magazine genre
action find_reverse_tuple_counts
relation field of work
type special field
type common name
[[{'concept': 'magazine genre'}, {'concept': 'common name'}], 'field of work', {'concept': 'special field'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?c ) { SELECT DISTINCT ?u ( COUNT ( ?b ) AS ?p ) WHERE { { ?b property:field_of_work ?u . ?b rdf:type ontology:common_name . ?u rdf:type ontology:special_field } UNION { ?b property:field_of_work ?u . ?u rdf:type ontology:special_field . ?b rdf:type ontology:magazine_genre } } GROUP BY ?u } } . FILTER ( ?x = ?c ) . { SELECT DISTINCT ?v ( COUNT ( ?m ) AS ?x ) WHERE { { ?m property:field_of_work ?v . ?v rdf:type ontology:special_field . ?m rdf:type ontology:magazine_genre } UNION { ?m property:field_of_work ?v . ?m rdf:type ontology:common_name . ?v rdf:type ontology:special_field } } GROUP BY ?v } }
[]
special field magazine genre common name
Q27133094 Q141495 Q1407263
SYSTEM
vaccine development, mathematical optimization, forensic psychiatry
Q499500 Q180502 Q189329 Q1407263 Q598976 Q2374463 Q77604 Q189553 Q213891 Q4917288 Q2740627 Q80083 Q898674 Q9053037 Q5654877 Q382995 Q2043282 Q28797 Q27133094 Q21583222 Q11397 Q489119 Q141495 Q15218776
(c(Q21114848)|c(Q502895),P101,c(Q1047113))
action argmin
action union
action find_reverse_tuple_counts
relation P101
type Q1047113
type Q21114848
action find_reverse_tuple_counts
relation P101
type Q1047113
type Q502895
[ANSWERS] are the fields of work of min number of magazine genres and people
[[{'concept': 'Q21114848'}, {'concept': 'Q502895'}], 'P101', {'concept': 'Q1047113'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?c ) { SELECT DISTINCT ?u ( COUNT ( ?b ) AS ?p ) WHERE { { ?b property:P101 ?u . ?b rdf:type ontology:Q502895 . ?u rdf:type ontology:Q1047113 } UNION { ?b property:P101 ?u . ?u rdf:type ontology:Q1047113 . ?b rdf:type ontology:Q21114848 } } GROUP BY ?u } } . FILTER ( ?x = ?c ) . { SELECT DISTINCT ?v ( COUNT ( ?m ) AS ?x ) WHERE { { ?m property:P101 ?v . ?v rdf:type ontology:Q1047113 . ?m rdf:type ontology:Q21114848 } UNION { ?m property:P101 ?v . ?m rdf:type ontology:Q502895 . ?v rdf:type ontology:Q1047113 } } GROUP BY ?v } }
clinical pathology parasitology liberal arts education forensic psychiatry medical microbiology data science radiology otolaryngology geochronology control engineering heliophysics humanities neonatology spatial planning International studies legal science business administration applied science vaccine development rabbinic studies classical mechanics Hellenic studies mathematical optimization orthopedic surgery
Vaccine development, mathematical optimization and forensic psychiatry are the fields of work of min number of magazine genres and people
vaccine development mathematical optimization forensic psychiatry
action argmin
action union
action find_reverse_tuple_counts
relation field of work
type special field
type magazine genre
action find_reverse_tuple_counts
relation field of work
type special field
type common name
[[{'concept': 'magazine genre'}, {'concept': 'common name'}], 'field of work', {'concept': 'special field'}]
SELECT DISTINCT ?v WHERE { { SELECT DISTINCT ( MIN ( ?p ) AS ?c ) { SELECT DISTINCT ?u ( COUNT ( ?b ) AS ?p ) WHERE { { ?b property:field_of_work ?u . ?b rdf:type ontology:common_name . ?u rdf:type ontology:special_field } UNION { ?b property:field_of_work ?u . ?u rdf:type ontology:special_field . ?b rdf:type ontology:magazine_genre } } GROUP BY ?u } } . FILTER ( ?x = ?c ) . { SELECT DISTINCT ?v ( COUNT ( ?m ) AS ?x ) WHERE { { ?m property:field_of_work ?v . ?v rdf:type ontology:special_field . ?m rdf:type ontology:magazine_genre } UNION { ?m property:field_of_work ?v . ?m rdf:type ontology:common_name . ?v rdf:type ontology:special_field } } GROUP BY ?v } }
[]
Clarification
Comparative|More/Less|Mult. entity type|Indirect
P361
Q336 Q1047113 Q1047113
USER
Which special fields are a portion of lesser number of sciences or special fields than that special field ?
(c(Q1047113),P361,c(Q336)|c(Q1047113))
[{'concept': 'Q1047113'}, 'P361', [{'concept': 'Q336'}, {'concept': 'Q1047113'}]]
SELECT DISTINCT ?z WHERE { { { ?z property:P361 ?y } UNION { ?z property:P361 ?z } } . ?z rdf:type ontology:Q1047113 . ?y rdf:type ontology:Q336 }
[{'concept': 'special field'}, 'part of', [{'concept': 'science'}, {'concept': 'special field'}]]
SELECT DISTINCT ?z WHERE { { { ?z property:part_of ?y } UNION { ?z property:part_of ?z } } . ?z rdf:type ontology:special_field . ?y rdf:type ontology:science }
[]
science special field special field
Comparative|More/Less|Mult. entity type|Clarification
Q27133094
SYSTEM
Did you mean vaccine development ?
(c(Q1047113),P361,c(Q336)|c(Q1047113))
[ANSWER]
[{'concept': 'Q1047113'}, 'P361', [{'concept': 'Q336'}, {'concept': 'Q1047113'}]]
SELECT DISTINCT ?z WHERE { { { ?z property:P361 ?y } UNION { ?z property:P361 ?z } } . ?z rdf:type ontology:Q1047113 . ?y rdf:type ontology:Q336 }
Did you mean vaccine development ?
vaccine development
[{'concept': 'special field'}, 'part of', [{'concept': 'science'}, {'concept': 'special field'}]]
SELECT DISTINCT ?z WHERE { { { ?z property:part_of ?y } UNION { ?z property:part_of ?z } } . ?z rdf:type ontology:special_field . ?y rdf:type ontology:science }
[]
Comparative Reasoning (All)
USER
Yes
(c(Q1047113),P361,c(Q336)|c(Q1047113))
[{'concept': 'Q1047113'}, 'P361', [{'concept': 'Q336'}, {'concept': 'Q1047113'}]]
[{'concept': 'special field'}, 'part of', [{'concept': 'science'}, {'concept': 'special field'}]]
[]
SYSTEM
0
(c(Q1047113),P361,c(Q336)|c(Q1047113))
[ANSWER]
[{'concept': 'Q1047113'}, 'P361', [{'concept': 'Q336'}, {'concept': 'Q1047113'}]]
SELECT DISTINCT ?z WHERE { { { ?z property:P361 ?y } UNION { ?z property:P361 ?z } } . ?z rdf:type ontology:Q1047113 . ?y rdf:type ontology:Q336 }
0
[{'concept': 'special field'}, 'part of', [{'concept': 'science'}, {'concept': 'special field'}]]
SELECT DISTINCT ?z WHERE { { { ?z property:part_of ?y } UNION { ?z property:part_of ?z } } . ?z rdf:type ontology:special_field . ?y rdf:type ontology:science }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type
Q27133094
P361
Q1047113
USER
How many special fields are vaccine development a portion of ?
(Q27133094,P361,c(Q1047113))
action count
action filter_type
action find
entity Q27133094
relation P361
type Q1047113
['Q27133094', 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?d ) WHERE { resource:Q27133094 property:P361 ?v . ?v rdf:type ontology:Q1047113 }
vaccine development
action count
action filter_type
action find
entity vaccine development
relation part of
type special field
['vaccine development', 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?d ) WHERE { resource:vaccine_development property:part_of ?v . ?v rdf:type ontology:special_field }
[]
special field
SYSTEM
1
Q128406
(Q27133094,P361,c(Q1047113))
action count
action filter_type
action find
entity Q27133094
relation P361
type Q1047113
[ANSWER]
['Q27133094', 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?d ) WHERE { resource:Q27133094 property:P361 ?v . ?v rdf:type ontology:Q1047113 }
pharmacology
1
action count
action filter_type
action find
entity vaccine development
relation part of
type special field
['vaccine development', 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?v ) AS ?d ) WHERE { resource:vaccine_development property:part_of ?v . ?v rdf:type ontology:special_field }
[]
Quantitative Reasoning (Count) (All)
Quantitative|Count|Single entity type|Incomplete
Q131222
P361
Q1047113
USER
And what about information theory?
(Q131222,P361,c(Q1047113))
action count
action filter_type
action find
entity Q131222
relation P361
type Q1047113
['Q131222', 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?o ) WHERE { ?t rdf:type ontology:Q1047113 . resource:Q131222 property:P361 ?t }
information theory
action count
action filter_type
action find
entity information theory
relation part of
type special field
['information theory', 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?o ) WHERE { ?t rdf:type ontology:special_field . resource:information_theory property:part_of ?t }
[]
special field
SYSTEM
1
Q21198
(Q131222,P361,c(Q1047113))
action count
action filter_type
action find
entity Q131222
relation P361
type Q1047113
[ANSWER]
['Q131222', 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?o ) WHERE { ?t rdf:type ontology:Q1047113 . resource:Q131222 property:P361 ?t }
computer science
1
action count
action filter_type
action find
entity information theory
relation part of
type special field
['information theory', 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?t ) AS ?o ) WHERE { ?t rdf:type ontology:special_field . resource:information_theory property:part_of ?t }
[]
Quantitative Reasoning (Count) (All)
Incomplete count-based ques
Q205740
Q1047113
USER
And what about Egyptian mythology?
(Q205740,P361,c(Q1047113))
action count
action filter_type
action find
entity Q205740
relation P361
type Q1047113
['Q205740', 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?u ) WHERE { ?l rdf:type ontology:Q1047113 . resource:Q205740 property:P361 ?l }
Egyptian mythology
action count
action filter_type
action find
entity Egyptian mythology
relation part of
type special field
['Egyptian mythology', 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?u ) WHERE { ?l rdf:type ontology:special_field . resource:Egyptian_mythology property:part_of ?l }
[]
special field
SYSTEM
1
(Q205740,P361,c(Q1047113))
action count
action filter_type
action find
entity Q205740
relation P361
type Q1047113
[ANSWER]
['Q205740', 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?u ) WHERE { ?l rdf:type ontology:Q1047113 . resource:Q205740 property:P361 ?l }
1
action count
action filter_type
action find
entity Egyptian mythology
relation part of
type special field
['Egyptian mythology', 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?l ) AS ?u ) WHERE { ?l rdf:type ontology:special_field . resource:Egyptian_mythology property:part_of ?l }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q11351
P361
Q1047113 Q8502 Q2668072
USER
How many special fields are approximately the same number of mountains and collections a component of as organic chemistry ?
(c(Q8502)|c(Q2668072),P361,c(Q1047113))
action count
action approx
action union
action find_reverse_tuple_counts
relation P361
type Q1047113
type Q8502
action find_reverse_tuple_counts
relation P361
type Q1047113
type Q2668072
action count
action filter_multi_types
action find_reverse
entity Q11351
relation P361
type Q8502
type Q2668072
[[{'concept': 'Q8502'}, {'concept': 'Q2668072'}], 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?m ) WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?s ) WHERE { ?j property:P361 resource:Q11351 . { { ?j rdf:type ontology:Q2668072 } UNION { ?j rdf:type ontology:Q8502 } } } } . FILTER ( ?q = ?s ) . { SELECT DISTINCT ( COUNT ( ?h ) AS ?q ) ?k WHERE { { ?h property:P361 ?k . ?h rdf:type ontology:Q8502 . ?k rdf:type ontology:Q1047113 } UNION { ?h property:P361 ?k . ?h rdf:type ontology:Q2668072 . ?k rdf:type ontology:Q1047113 } } GROUP BY ?k } }
organic chemistry
action count
action approx
action union
action find_reverse_tuple_counts
relation part of
type special field
type mountain
action find_reverse_tuple_counts
relation part of
type special field
type collection
action count
action filter_multi_types
action find_reverse
entity organic chemistry
relation part of
type mountain
type collection
[[{'concept': 'mountain'}, {'concept': 'collection'}], 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?m ) WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?s ) WHERE { ?j property:part_of resource:organic_chemistry . { { ?j rdf:type ontology:collection } UNION { ?j rdf:type ontology:mountain } } } } . FILTER ( ?q = ?s ) . { SELECT DISTINCT ( COUNT ( ?h ) AS ?q ) ?k WHERE { { ?h property:part_of ?k . ?h rdf:type ontology:mountain . ?k rdf:type ontology:special_field } UNION { ?h property:part_of ?k . ?h rdf:type ontology:collection . ?k rdf:type ontology:special_field } } GROUP BY ?k } }
[]
special field mountain collection
SYSTEM
97
Q614304 Q539690 Q2964004 Q794605 Q128406 Q21198 Q5891 Q7208 Q60195 Q745328 Q170978 Q193463 Q186083 Q131505 Q1483649 Q4117183 Q394 Q211500 Q960543 Q81009 Q123028 Q105650 Q327092 Q208217 Q7754 Q83042 Q40821 Q10384 Q162555 Q1061219 Q631286 Q77604 Q837863 Q77590 Q7922 Q2116549 Q37732 Q1335366 Q454812 Q7867 Q11351 Q2901245 Q775325 Q199655 Q382995 Q428691 Q34178 Q10379 Q461262 Q4917288 Q2861470 Q161437 Q80006 Q1066186 Q201486 Q80083 Q145903 Q131089 Q207434 Q3853781 Q9053037 Q1331392 Q33521 Q441 Q1221899 Q5284418 Q2043282 Q162606 Q11180 Q180165 Q35395 Q126552 Q13420675 Q165650 Q760348 Q852732 Q628764 Q1138244 Q12128 Q1660187 Q207011 Q2728012 Q160039 Q1601482 Q11397 Q23498 Q193544 Q164204 Q489119 Q170201 Q504033 Q141495 Q23404 Q1049976 Q12016129 Q52106 Q200253
(c(Q8502)|c(Q2668072),P361,c(Q1047113))
action count
action approx
action union
action find_reverse_tuple_counts
relation P361
type Q1047113
type Q8502
action find_reverse_tuple_counts
relation P361
type Q1047113
type Q2668072
action count
action filter_multi_types
action find_reverse
entity Q11351
relation P361
type Q8502
type Q2668072
[ANSWER]
[[{'concept': 'Q8502'}, {'concept': 'Q2668072'}], 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?m ) WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?s ) WHERE { ?j property:P361 resource:Q11351 . { { ?j rdf:type ontology:Q2668072 } UNION { ?j rdf:type ontology:Q8502 } } } } . FILTER ( ?q = ?s ) . { SELECT DISTINCT ( COUNT ( ?h ) AS ?q ) ?k WHERE { { ?h property:P361 ?k . ?h rdf:type ontology:Q8502 . ?k rdf:type ontology:Q1047113 } UNION { ?h property:P361 ?k . ?h rdf:type ontology:Q2668072 . ?k rdf:type ontology:Q1047113 } } GROUP BY ?k } }
pharmacy angiology thoracic surgery biblical studies pharmacology computer science philosophy pathology semiotics mathematical statistics robotics continuum mechanics vexillology esotericism behaviour therapy Open Biomedical Ontologies metrology pneumatics theatre studies rhetoric pediatrics urology biomedical engineering literary science mathematical analysis neurology surgery geriatrics oncology telecommunications engineering numismatics radiology pure mathematics civil engineering pedagogy science of journalism demography neuroendocrinology forensic medicine psychiatry organic chemistry bibliology transport engineering library science legal science computer engineering theology cardiology Phaleristics control engineering emergency medicine ophthalmology computer programming science of history history of science humanities egyptology geodesy human–computer interaction public medicine spatial planning Legal theory applied mathematics botany gynaecology obstetrics business administration endocrinology internal medicine mechatronics engineering phonetics business informatics library and information science media studies eye surgery proof theory Occupational medicine phytosociology dentistry film studies neuroscience neurobiology econometrics anthropology of Religion classical mechanics archaeology music theory musicology Hellenic studies veterinary medicine oral and maxillofacial surgery mathematical optimization anthropology transplantology hydrodynamics biogeography traditional Chinese medicine
97
action count
action approx
action union
action find_reverse_tuple_counts
relation part of
type special field
type mountain
action find_reverse_tuple_counts
relation part of
type special field
type collection
action count
action filter_multi_types
action find_reverse
entity organic chemistry
relation part of
type mountain
type collection
[[{'concept': 'mountain'}, {'concept': 'collection'}], 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?k ) AS ?m ) WHERE { { SELECT DISTINCT ( COUNT ( ?j ) AS ?s ) WHERE { ?j property:part_of resource:organic_chemistry . { { ?j rdf:type ontology:collection } UNION { ?j rdf:type ontology:mountain } } } } . FILTER ( ?q = ?s ) . { SELECT DISTINCT ( COUNT ( ?h ) AS ?q ) ?k WHERE { { ?h property:part_of ?k . ?h rdf:type ontology:mountain . ?k rdf:type ontology:special_field } UNION { ?h property:part_of ?k . ?h rdf:type ontology:collection . ?k rdf:type ontology:special_field } } GROUP BY ?k } }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q128406
P361
Q1047113 Q8502 Q2668072
USER
And how about pharmacology?
(c(Q8502)|c(Q2668072),P361,c(Q1047113))
action count
action approx
action union
action find_reverse_tuple_counts
relation P361
type Q1047113
type Q8502
action find_reverse_tuple_counts
relation P361
type Q1047113
type Q2668072
action count
action filter_multi_types
action find_reverse
entity Q128406
relation P361
type Q8502
type Q2668072
[[{'concept': 'Q8502'}, {'concept': 'Q2668072'}], 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?f ) AS ?y ) WHERE { { ?f property:P361 ?b . ?b rdf:type ontology:Q1047113 . ?f rdf:type ontology:Q8502 } UNION { ?f property:P361 ?b . ?b rdf:type ontology:Q1047113 . ?f rdf:type ontology:Q2668072 } } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) WHERE { ?h property:P361 resource:Q128406 . { { ?h rdf:type ontology:Q2668072 } UNION { ?h rdf:type ontology:Q8502 } } } } . FILTER ( ?y = ?d ) }
pharmacology
action count
action approx
action union
action find_reverse_tuple_counts
relation part of
type special field
type mountain
action find_reverse_tuple_counts
relation part of
type special field
type collection
action count
action filter_multi_types
action find_reverse
entity pharmacology
relation part of
type mountain
type collection
[[{'concept': 'mountain'}, {'concept': 'collection'}], 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?f ) AS ?y ) WHERE { { ?f property:part_of ?b . ?b rdf:type ontology:special_field . ?f rdf:type ontology:mountain } UNION { ?f property:part_of ?b . ?b rdf:type ontology:special_field . ?f rdf:type ontology:collection } } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) WHERE { ?h property:part_of resource:pharmacology . { { ?h rdf:type ontology:collection } UNION { ?h rdf:type ontology:mountain } } } } . FILTER ( ?y = ?d ) }
[]
special field mountain collection
SYSTEM
97
Q614304 Q539690 Q2964004 Q794605 Q128406 Q21198 Q5891 Q7208 Q60195 Q745328 Q170978 Q193463 Q186083 Q131505 Q1483649 Q4117183 Q394 Q211500 Q960543 Q81009 Q123028 Q105650 Q327092 Q208217 Q7754 Q83042 Q40821 Q10384 Q162555 Q1061219 Q631286 Q77604 Q837863 Q77590 Q7922 Q2116549 Q37732 Q1335366 Q454812 Q7867 Q11351 Q2901245 Q775325 Q199655 Q382995 Q428691 Q34178 Q10379 Q461262 Q4917288 Q2861470 Q161437 Q80006 Q1066186 Q201486 Q80083 Q145903 Q131089 Q207434 Q3853781 Q9053037 Q1331392 Q33521 Q441 Q1221899 Q5284418 Q2043282 Q162606 Q11180 Q180165 Q35395 Q126552 Q13420675 Q165650 Q760348 Q852732 Q628764 Q1138244 Q12128 Q1660187 Q207011 Q2728012 Q160039 Q1601482 Q11397 Q23498 Q193544 Q164204 Q489119 Q170201 Q504033 Q141495 Q23404 Q1049976 Q12016129 Q52106 Q200253
(c(Q8502)|c(Q2668072),P361,c(Q1047113))
action count
action approx
action union
action find_reverse_tuple_counts
relation P361
type Q1047113
type Q8502
action find_reverse_tuple_counts
relation P361
type Q1047113
type Q2668072
action count
action filter_multi_types
action find_reverse
entity Q128406
relation P361
type Q8502
type Q2668072
[ANSWER]
[[{'concept': 'Q8502'}, {'concept': 'Q2668072'}], 'P361', {'concept': 'Q1047113'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?f ) AS ?y ) WHERE { { ?f property:P361 ?b . ?b rdf:type ontology:Q1047113 . ?f rdf:type ontology:Q8502 } UNION { ?f property:P361 ?b . ?b rdf:type ontology:Q1047113 . ?f rdf:type ontology:Q2668072 } } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) WHERE { ?h property:P361 resource:Q128406 . { { ?h rdf:type ontology:Q2668072 } UNION { ?h rdf:type ontology:Q8502 } } } } . FILTER ( ?y = ?d ) }
pharmacy angiology thoracic surgery biblical studies pharmacology computer science philosophy pathology semiotics mathematical statistics robotics continuum mechanics vexillology esotericism behaviour therapy Open Biomedical Ontologies metrology pneumatics theatre studies rhetoric pediatrics urology biomedical engineering literary science mathematical analysis neurology surgery geriatrics oncology telecommunications engineering numismatics radiology pure mathematics civil engineering pedagogy science of journalism demography neuroendocrinology forensic medicine psychiatry organic chemistry bibliology transport engineering library science legal science computer engineering theology cardiology Phaleristics control engineering emergency medicine ophthalmology computer programming science of history history of science humanities egyptology geodesy human–computer interaction public medicine spatial planning Legal theory applied mathematics botany gynaecology obstetrics business administration endocrinology internal medicine mechatronics engineering phonetics business informatics library and information science media studies eye surgery proof theory Occupational medicine phytosociology dentistry film studies neuroscience neurobiology econometrics anthropology of Religion classical mechanics archaeology music theory musicology Hellenic studies veterinary medicine oral and maxillofacial surgery mathematical optimization anthropology transplantology hydrodynamics biogeography traditional Chinese medicine
97
action count
action approx
action union
action find_reverse_tuple_counts
relation part of
type special field
type mountain
action find_reverse_tuple_counts
relation part of
type special field
type collection
action count
action filter_multi_types
action find_reverse
entity pharmacology
relation part of
type mountain
type collection
[[{'concept': 'mountain'}, {'concept': 'collection'}], 'part of', {'concept': 'special field'}]
SELECT DISTINCT ( COUNT ( ?b ) AS ?o ) WHERE { { SELECT DISTINCT ?b ( COUNT ( ?f ) AS ?y ) WHERE { { ?f property:part_of ?b . ?b rdf:type ontology:special_field . ?f rdf:type ontology:mountain } UNION { ?f property:part_of ?b . ?b rdf:type ontology:special_field . ?f rdf:type ontology:collection } } GROUP BY ?b } . { SELECT DISTINCT ( COUNT ( ?h ) AS ?d ) WHERE { ?h property:part_of resource:pharmacology . { { ?h rdf:type ontology:collection } UNION { ?h rdf:type ontology:mountain } } } } . FILTER ( ?y = ?d ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type
Q5491270
P138
Q56061 Q20667921 Q16521
USER
How many taxons are the eponym of greater number of administrative territories and french administrative divisions than Sylvilagus palustris hefneri ?
(c(Q16521),P138,c(Q56061)|c(Q20667921))
action count
action greater
action union
action find_tuple_counts
relation P138
type Q16521
type Q56061
action find_tuple_counts
relation P138
type Q16521
type Q20667921
action count
action filter_multi_types
action find
entity Q5491270
relation P138
type Q56061
type Q20667921
[{'concept': 'Q16521'}, 'P138', [{'concept': 'Q56061'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ( COUNT ( ?w ) AS ?i ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) ?w WHERE { ?x rdf:type ?r . VALUES ( ?r ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?g ) WHERE { resource:Q5491270 property:P138 ?n . { ?n rdf:type ?y . VALUES ( ?y ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } } } } . FILTER ( ?o > ?g ) }
Sylvilagus palustris hefneri
action count
action greater
action union
action find_tuple_counts
relation named after
type taxon
type administrative territorial entity
action find_tuple_counts
relation named after
type taxon
type type of french administrative division
action count
action filter_multi_types
action find
entity Sylvilagus palustris hefneri
relation named after
type administrative territorial entity
type type of french administrative division
[{'concept': 'taxon'}, 'named after', [{'concept': 'administrative territorial entity'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ( COUNT ( ?w ) AS ?i ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) ?w WHERE { ?x rdf:type ?r . VALUES ( ?r ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?g ) WHERE { resource:Sylvilagus_palustris_hefneri property:named_after ?n . { ?n rdf:type ?y . VALUES ( ?y ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } } } } . FILTER ( ?o > ?g ) }
[]
administrative territorial entity type of french administrative division taxon
SYSTEM
20
Q15576199 Q14624324 Q19645606 Q15078246 Q14325463 Q5173169 Q1934785 Q2704671 Q5801946 Q15493694 Q1041733 Q3089314 Q516494 Q3757391 Q1934813 Q19773657 Q5167218 Q7181156 Q20739798 Q18863953
(c(Q16521),P138,c(Q56061)|c(Q20667921))
action count
action greater
action union
action find_tuple_counts
relation P138
type Q16521
type Q56061
action find_tuple_counts
relation P138
type Q16521
type Q20667921
action count
action filter_multi_types
action find
entity Q5491270
relation P138
type Q56061
type Q20667921
[ANSWER]
[{'concept': 'Q16521'}, 'P138', [{'concept': 'Q56061'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ( COUNT ( ?w ) AS ?i ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) ?w WHERE { ?x rdf:type ?r . VALUES ( ?r ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?g ) WHERE { resource:Q5491270 property:P138 ?n . { ?n rdf:type ?y . VALUES ( ?y ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } } } } . FILTER ( ?o > ?g ) }
Silene thessalonica Carinigera thessalonica Rouxiella chamberiensis Aloe abhaica Anguis veronensis Corsican citron Ichthyophis singaporensis Acanthobrama telavivensis Delosperma aberdeenense Sedum copalense Carlina sitiensis Fruitachampsa callisoni Citrus ×tangerina Rize goby Ichthyophis bombayensis Enyalioides altotambo Cooktownia Phebalium daviesii Dictis mumbaiensis Mayaro virus
20
action count
action greater
action union
action find_tuple_counts
relation named after
type taxon
type administrative territorial entity
action find_tuple_counts
relation named after
type taxon
type type of french administrative division
action count
action filter_multi_types
action find
entity Sylvilagus palustris hefneri
relation named after
type administrative territorial entity
type type of french administrative division
[{'concept': 'taxon'}, 'named after', [{'concept': 'administrative territorial entity'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ( COUNT ( ?w ) AS ?i ) WHERE { { SELECT DISTINCT ( COUNT ( ?x ) AS ?o ) ?w WHERE { ?x rdf:type ?r . VALUES ( ?r ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?w } . { SELECT DISTINCT ( COUNT ( ?n ) AS ?g ) WHERE { resource:Sylvilagus_palustris_hefneri property:named_after ?n . { ?n rdf:type ?y . VALUES ( ?y ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } } } } . FILTER ( ?o > ?g ) }
[]
Comparative Reasoning (Count) (All)
Comparative|Count over More/Less|Mult. entity type|Incomplete
Q3318783
P138
Q56061 Q20667921 Q16521
USER
And what about Chalinochromis brichardi?
(c(Q16521),P138,c(Q56061)|c(Q20667921))
action count
action greater
action union
action find_tuple_counts
relation P138
type Q16521
type Q56061
action find_tuple_counts
relation P138
type Q16521
type Q20667921
action count
action filter_multi_types
action find
entity Q3318783
relation P138
type Q56061
type Q20667921
[{'concept': 'Q16521'}, 'P138', [{'concept': 'Q56061'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?z ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?t ) AS ?i ) WHERE { ?t rdf:type ?o . VALUES ( ?o ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?x ) WHERE { resource:Q3318783 property:P138 ?s . { { ?s rdf:type ontology:Q56061 } UNION { ?s rdf:type ontology:Q20667921 } } } } . FILTER ( ?i > ?x ) }
Chalinochromis brichardi
action count
action greater
action union
action find_tuple_counts
relation named after
type taxon
type administrative territorial entity
action find_tuple_counts
relation named after
type taxon
type type of french administrative division
action count
action filter_multi_types
action find
entity Chalinochromis brichardi
relation named after
type administrative territorial entity
type type of french administrative division
[{'concept': 'taxon'}, 'named after', [{'concept': 'administrative territorial entity'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?z ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?t ) AS ?i ) WHERE { ?t rdf:type ?o . VALUES ( ?o ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?x ) WHERE { resource:Chalinochromis_brichardi property:named_after ?s . { { ?s rdf:type ontology:administrative_territorial_entity } UNION { ?s rdf:type ontology:type_of_french_administrative_division } } } } . FILTER ( ?i > ?x ) }
[]
administrative territorial entity type of french administrative division taxon
SYSTEM
20
Q15576199 Q14624324 Q19645606 Q15078246 Q14325463 Q5173169 Q1934785 Q2704671 Q5801946 Q15493694 Q1041733 Q3089314 Q516494 Q3757391 Q1934813 Q19773657 Q5167218 Q7181156 Q20739798 Q18863953
(c(Q16521),P138,c(Q56061)|c(Q20667921))
action count
action greater
action union
action find_tuple_counts
relation P138
type Q16521
type Q56061
action find_tuple_counts
relation P138
type Q16521
type Q20667921
action count
action filter_multi_types
action find
entity Q3318783
relation P138
type Q56061
type Q20667921
[ANSWER]
[{'concept': 'Q16521'}, 'P138', [{'concept': 'Q56061'}, {'concept': 'Q20667921'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?z ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?t ) AS ?i ) WHERE { ?t rdf:type ?o . VALUES ( ?o ) { ( ontology:Q56061 ) ( ontology:Q20667921 ) } } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?x ) WHERE { resource:Q3318783 property:P138 ?s . { { ?s rdf:type ontology:Q56061 } UNION { ?s rdf:type ontology:Q20667921 } } } } . FILTER ( ?i > ?x ) }
Silene thessalonica Carinigera thessalonica Rouxiella chamberiensis Aloe abhaica Anguis veronensis Corsican citron Ichthyophis singaporensis Acanthobrama telavivensis Delosperma aberdeenense Sedum copalense Carlina sitiensis Fruitachampsa callisoni Citrus ×tangerina Rize goby Ichthyophis bombayensis Enyalioides altotambo Cooktownia Phebalium daviesii Dictis mumbaiensis Mayaro virus
20
action count
action greater
action union
action find_tuple_counts
relation named after
type taxon
type administrative territorial entity
action find_tuple_counts
relation named after
type taxon
type type of french administrative division
action count
action filter_multi_types
action find
entity Chalinochromis brichardi
relation named after
type administrative territorial entity
type type of french administrative division
[{'concept': 'taxon'}, 'named after', [{'concept': 'administrative territorial entity'}, {'concept': 'type of french administrative division'}]]
SELECT DISTINCT ( COUNT ( ?q ) AS ?z ) WHERE { { SELECT DISTINCT ?q ( COUNT ( ?t ) AS ?i ) WHERE { ?t rdf:type ?o . VALUES ( ?o ) { ( ontology:administrative_territorial_entity ) ( ontology:type_of_french_administrative_division ) } } GROUP BY ?q } . { SELECT DISTINCT ( COUNT ( ?s ) AS ?x ) WHERE { resource:Chalinochromis_brichardi property:named_after ?s . { { ?s rdf:type ontology:administrative_territorial_entity } UNION { ?s rdf:type ontology:type_of_french_administrative_division } } } } . FILTER ( ?i > ?x ) }
[]