- 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)