effectuer_TyRo123

effectuer_TyRo123

Domain:

Range:

Quantification:

No quantifiers yet.

Scope note:

"Mettre à effet, à exécution ; mener à bien." [http://www.cnrtl.fr/definition/effectuer]

Examples:

No example yet.

In First Order Logic:

  • effectuer_TyRo123(x,y) ⊃ (x)
  • effectuer_TyRo123(x,y) ⊃ (y)
  • effectuer_TyRo123(x,y) ⊃ objectRole(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
"Mettre à effet, à exécution ; mener à bien." [http://www.cnrtl.fr/definition/effectuer] 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
Service militaire actif – TyIn88 effectuer_|_Service_militaire_actif 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