Semantic Interface Description in WSML. Example WSML service for NF_kappaB_Rel: The capability section states for the precondition that the input entity instance named nfkbr should be of type NF_kappaB_Rel (defined in the protein ontology). In addition, nfkbr's locale should be cytoplasm and it should not be phosphorylated. The interface section states that input entity NF_kappaB_Rel has grounding with the translocate operation of the corresponding WSDL service. The output from this service operation should be mapped to NF_kappaB_Rel as defined in the protein ontology.