impliquer_TyRo166

impliquer_TyRo166

Domain:

Range:

Quantification:

No quantifiers yet.

Scope note:

"Supposer, entraîner comme conséquence logique." ( http://www.cnrtl.fr/definition/impliquer). Utilisé pour typer les rôles qui associent une Information qui découle, est impliquée par l'Information en question (analogue à 'justifier' mais dans l'autre sens).

Examples:

No example yet.

In First Order Logic:

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

Scope Notes

Show Scope note Language Namespace View details Comments
"Supposer, entraîner comme conséquence logique." ( http://www.cnrtl.fr/definition/impliquer). Utilisé pour typer les rôles qui associent une Information qui découle, est impliquée par l'Information en question (analogue à 'justifier' mais dans l'autre sens). 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
Qualité (obtenir une) – TyIn11 impliquer_|_Qualité_(obtenir_une) Objet – Obj 1 symogih.org ontology
Posséder une qualité – TyIn130 impliquer_|_Posséder_une_qualité 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