exercer_|_Enseignement

exercer_|_Enseignement

Range:

Quantification:

No quantifiers yet.

Scope note:

Associe l'enseignant.;Ce type de rôle a été retenu car c'est le même qui est utilisé dans le TyIn7 : Exercice d'une fonction, dont le <span id="objectId">TyIn97 représente une spécialisation<br /></span>

Examples:

No example yet.

In First Order Logic:

  • exercer_|_Enseignement(x,y) ⊃ TyIn97(x)
  • exercer_|_Enseignement(x,y) ⊃ Obj(y)
  • exercer_|_Enseignement(x,y) ⊃ TyRo12(x,y)

Scope Notes

Show Scope note Language Namespace View details and comments
Associe l'enseignant.;Ce type de rôle a été retenu car c'est le même qui est utilisé dans le TyIn7 : Exercice d'une fonction, dont le <span id="objectId">TyIn97 représente une spécialisation<br /></span> fr WIP

Examples

Show Example Language Namespace View details and comments

Additional notes

Show Notes Language Namespace View details and comments

Domain and range

TyIn97 Enseignement → exercer_|_Enseignement → Obj Objet

Labels

Label Language Last updated View details and comments

Namespace

Namespace URI Last updated
http://dataforhistory.org/symogih/1/3/ongoing 2019-04-02

Parent properties

Property identifier Justification Root namespace View association
est exercé par – TyRo12 http://dataforhistory.org/symogih/

Ancestor properties

Property identifier Depth Root namespace
histP1 involves 3 Data for history
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