typer_|_Décision_(administrative,_judiciaire)

typer_|_Décision_(administrative,_judiciaire)

Range:

Quantification:

No quantifiers yet.

Scope note:

Associe un objet abstrait (AbOb) indiquant de quel type de décision il s'agit.;On peut associer un seul objet par information en utilisant le rôle 'typer': on qualifiera donc de cette manière le type principal (condamnation, amende, etc.). Utiliser le rôle 'qualifier' pour une typologie multiple et plus fine.

Examples:

No example yet.

In First Order Logic:

  • typer_|_Décision_(administrative,_judiciaire)(x,y) ⊃ TyIn125(x)
  • typer_|_Décision_(administrative,_judiciaire)(x,y) ⊃ Obj(y)
  • typer_|_Décision_(administrative,_judiciaire)(x,y) ⊃ TyRo98(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
Associe un objet abstrait (AbOb) indiquant de quel type de décision il s'agit.;On peut associer un seul objet par information en utilisant le rôle 'typer': on qualifiera donc de cette manière le type principal (condamnation, amende, etc.). Utiliser le rôle 'qualifier' pour une typologie multiple et plus fine. fr WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Domain and range

TyIn125 Décision (administrative, judiciaire) → typer_|_Décision_(administrative,_judiciaire) → Obj Objet

Labels

Label Language Last updated View details Comments

Namespace

Namespace Last updated
symogih.org ontology v.1.3 ongoing 2019-05-14

Parent properties

Property identifier Justification Root namespace View association
TyRo98 est de type (type) symogih.org ontology

Ancestor properties

Property identifier Depth Root namespace
P2 has type 2 CIDOC CRM
histP1 involves 3 Data for history
topObjectProperty 3 The OWL 2 Schema vocabulary
topObjectProperty 4 The OWL 2 Schema vocabulary
objectRole object role 2 symogih.org ontology

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments