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)