Specification Please note DAKO Sheet Some information is Lot dependent. Monoclonal Mouse Anti-Human CD62P, P-Selectin, Clone 1E3 Code No. M7199 Lot 038. Edition 06.12.00 Antigen synonyms Platelet activation-dependent granule membrane protein (PADGEM) or GMP-140
Interpretation over a singleton Let I be , and σ ∈ ΣI. 1. I(A)(σ) = I(∀xA)(σ). 2. I(t)(σ) = a. 3. I(Sx1,···,xn t1,···,tn A)(σ) = I(A)(σ). 4. I0(P), σ(P) ∈ {I(n), Ψ(n)} for every n-ary predicate constant (variable), where