Did you know ... Search Documentation:
Pack sparqlprog -- prolog/sparqlprog/ontologies/uniprot.pl
PublicShow source
 protein(?P:uniprot_protein) is nondet
true if P is a protein entry in uniprot
 has_annotation_type(?P:uniprot_protein, ?A:uniprot_annotation, ?T:owl_class) is nondet
 disease_annotation(?A:uniprot_disease_annotation) is nondet
true if A is a disease annotation in uniprot
 has_disease_annotation(?P:uniprot_protein, ?A:uniprot_disease_annotation) is nondet
protein P links to disease annotation A
 natural_variant_annotation(?A:uniprot_annotation) is nondet
A is a natural variant annotation
 has_natural_variant_annotation(?P:uniprot_protein, ?A:uniprot_annotation) is nondet
protein P links to natural variant annotation A
 protein_natural_variant_disease(?P:uniprot_protein, ?V:uniprot_variant_annotation, ?D) is nondet
protein P links to disease D via natural variant annotation A
 protein_natural_variant_disease_xref(?P:uniprot_protein, ?A:uniprot_annotation, ?D, ?X:uniprot_xref) is nondet
protein P links to disease D via natural variant annotation A with xref (e.g. dbSNP) X
 protein_natural_variant_disease_dbsnp(?P:uniprot_protein, ?A:uniprot_annotation, ?D, ?X:uniprot_xref) is nondet
protein P links to disease D via natural variant annotation A with dbSNP xref X
 modification_annotation(?A:uniprot_annotation) is nondet
 transmembrane_annotation(?A:uniprot_annotation) is nondet
 has_transmembrane_annotation(?P:uniprot_protein, ?A:uniprot_annotation) is nondet
 has_catalytic_activity(?P:uniprot_protein, ?CA:catalytic_activity) is nondet
 mnemonic(?C, ?N) is nondet
 encoded_by(?P:uniprot_protein, ?G) is nondet
 recommended_name(?P:uniprot_protein, ?N) is nondet
 has_full_name(?P:uniprot_protein, ?X) is nondet
 pref_label(?E, ?N) is nondet
 in_taxon(?P:uniprot_protein, ?T) is nondet
 annotation(?P:uniprot_protein, ?A:uniprot_annotation) is nondet
 database(?X:uniprot_xref, ?D) is nondet
 protein_annotation_range(?P:uniprot_protein, ?A, ?B, ?E, ?R) is nondet
 annotation_range(?P:uniprot_annotation, ?B, ?E, ?R) is nondet
 protein_begin(?P:uniprot_protein, ?B, ?R) is nondet
 classified_with(P:uniprot_protein, T:uniprot_term) is nondet
 substitution(?A:uniprot_annotation, ?S:uniprot_sequence_string) is nondet
annotation A is associated with a substitution S
 xref(?P:uniprot_protein, ?X:uniprot_xref) is nondet
P has xref X
 in_human(?P:uniprot_protein) is nondet
convenience predicate, true if P is a human protein

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 in_reference_proteome(Arg1)
 is_dbsnp(Arg1)
 has_ptm_annotation(Arg1, Arg2)
 peptide_annotation(Arg1)
 classified_with_go(Arg1, Arg2)
 classified_with_go_mf(Arg1, Arg2)
 classified_with_go_catalysis(Arg1, Arg2)
 protein_has_enzyme_class(Arg1, Arg2)
 protein_has_catalyzed_reaction(Arg1, Arg2)
 enzyme_class(Arg1, Arg2)
 catalyzed_reaction(Arg1, Arg2)
 reviewed(Arg1)
 xref_intersection_count(Arg1, Arg2, Arg3)
 xref_union_count(Arg1, Arg2, Arg3)
 xref_in(Arg1, Arg2, Arg3)
 xref_interpro(Arg1, Arg2)
 xref_panther(Arg1, Arg2)
 xref_pro(Arg1, Arg2)
 xref_araport(Arg1, Arg2)
 xref_tair(Arg1, Arg2)
 is_interpro(Arg1)
 is_panther(Arg1)
 is_pro(Arg1)
 is_organism_database(Arg1)
 is_organism_database(Arg1, Arg2)
 is_xenbase(Arg1)
 is_wormbase(Arg1)
 rhea_count(Arg1, Arg2)
 uniprot_class(Arg1)
 predicate_summary(Arg1, Arg2, Arg3, Arg4, Arg5)