Agent¶ Open interactive Agent diagram Formalization for Agent¶ Property Constraint subClassOf agent::Agent subClassOf prov::Agent