Class: process:Existential

rdfs:comment " An Existential is a variable that can occur in a precondition and a Result. We presuppose that there is (just) one binding of all the existentials that, combined with the bindings of input parameters, makes the precondition true. If there is such a binding, then the Process is feasible. The values of the existentials so obtained can appear in the effects of Results, and, if the Process is composite, can be referred to in its body. " ()

http://www.daml.org/services/owl-s/1.2/Process.owl#Existential