justifier_|_Demande

justifier_|_Demande

Domain:

Range:

Quantification:

No quantifiers yet.

Scope note:

Ce rôle sert ici à associer à l'information, l'élément qui est présenté ou identifié comme ayant suscité la formalisation de la demande : un événement, une circonstance (info), etc

Examples:

No example yet.

In First Order Logic:

  • justifier_|_Demande(x,y) ⊃ TyIn144(x)
  • justifier_|_Demande(x,y) ⊃ Obj(y)
  • justifier_|_Demande(x,y) ⊃ TyRo72(x,y)

Scope Notes

Show Scope note Language Namespace View details and comments
Ce rôle sert ici à associer à l'information, l'élément qui est présenté ou identifié comme ayant suscité la formalisation de la demande : un événement, une circonstance (info), etc fr WIP

Examples

Show Example Language Namespace View details and comments

Additional notes

Show Notes Language Namespace View details and comments

Domain and range

TyIn144 Demande → justifier_|_Demande → Obj Objet

Labels

Label Language Last updated View details and comments

Namespace

Namespace Last updated
symogih.org ontology v.1.3 ongoing 2019-04-02

Parent properties

Property identifier Justification Root namespace View association
TyRo72 est justifié par (justifie) symogih.org ontology

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
histP2 wasInitiatedBy 2 Data for history

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated

Comments