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

 is_dbsnp(?X:uniprot_xref) is nondet

 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

 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.

 has_ptm_annotation(Arg1, Arg2)

 reviewed(Arg1)