contenu_dans_(être)_TyRo172

contenu_dans_(être)_TyRo172

Domain:

Range:

Quantification:

No quantifiers yet.

Scope note:

Association passive de 'contenir' (TyRo29)

Examples:

No example yet.

In First Order Logic:

  • contenu_dans_(être)_TyRo172(x,y) ⊃ (x)
  • contenu_dans_(être)_TyRo172(x,y) ⊃ (y)
  • contenu_dans_(être)_TyRo172(x,y) ⊃ objectRole(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
Association passive de 'contenir' (TyRo29) 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
Texte (manuscrit ou imprimé) – TyIn142 contenu_dans_(être)_|_Texte_(manuscrit_ou_imprimé) Objet – Obj 1 symogih.org ontology
Lettre – TyIn1 contenu_dans_(être)_|_Lettre Objet – Obj 1 symogih.org ontology
Représentation visuelle unique – TyIn68 contenu_dans_(être)_|_Représentation_visuelle_unique 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