instruire_(droit)_TyRo175

instruire_(droit)_TyRo175

Domain:

Range:

Quantification:

No quantifiers yet.

Scope note:

"<span class="tlf_cdefinition">Rechercher et rassembler tous les éléments nécessaires (documents, témoignages, interrogatoires, pièces à conviction) afin qu'une affaire soit mise en état d'être jugée" (http://www.cnrtl.fr/definition/instruire – acception B1)<br /></span>

Examples:

No example yet.

In First Order Logic:

  • instruire_(droit)_TyRo175(x,y) ⊃ (x)
  • instruire_(droit)_TyRo175(x,y) ⊃ (y)
  • instruire_(droit)_TyRo175(x,y) ⊃ objectRole(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
"<span class="tlf_cdefinition">Rechercher et rassembler tous les éléments nécessaires (documents, témoignages, interrogatoires, pièces à conviction) afin qu'une affaire soit mise en état d'être jugée" (http://www.cnrtl.fr/definition/instruire – acception B1)<br /></span> fr WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Labels

Label Language Last updated View details Comments

: Standard label for this language

Namespace

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

Parent properties

Domain Property Range Justification Root namespace View association
symogih.org Entity – symogih objectRole object role symogih.org Entity – symogih symogih.org ontology

Ancestor properties

Domain Property Range Depth Root namespace
Temporal Entity – E2 (0,n) histP1 involves (0,n) Persistent Item – E77 2 Data for history
Thing topObjectProperty Thing 3 The OWL 2 Schema vocabulary

Childs and descendant properties

Domain Property Range Depth Root namespace
Procès – TyIn128 instruire_(droit)_|_Procès Objet – Obj 1 symogih.org ontology

Related properties

Relation Property Justification Defined in namespace View details

Profiles using this class

Label Start date End date Last updated

Comments