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
 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, ?A:uniprot_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
 is_dbsnp(?X:uniprot_xref) is nondet
 transmembrane_annotation(?A:uniprot_annotation) is nondet
 has_transmembrane_annotation(?P:uniprot_protein, ?A:uniprot_annotation) 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
 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
 xref_interpro(?P:uniprot_protein, ?X) is nondet
P has xref X where X is in interpro
 xref_panther(?P:uniprot_protein, ?X) is nondet
P has xref X is in panther
 xref_pro(?P:uniprot_protein, ?X:uniprot_xref) is nondet
P has xref X where X is in uniprot
 is_interpro(?X:uniprot_xref) is nondet
X is an xref in the UniProt database
 is_panther(?X:uniprot_xref) is nondet
X is an xref in the PANTHER database
 is_pro(?X:uniprot_xref) is nondet
X is an xref in the PRO database
 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.

 reviewed(Arg1)