être l'origine – TyRo16_TyIn7_1
TyRo16_TyIn7_1 être l'origine
Domain:
Range:
Subproperty of:
Quantification:
No quantifiers yet.
Scope note:
Examples:
No example yet.
In First Order Logic:
- TyRo16_TyIn7_1(x,y) ⊃ TyIn7(x)
- TyRo16_TyIn7_1(x,y) ⊃ Info(y)
- TyRo16_TyIn7_1(x,y) ⊃ TyRo16(x,y)
Scope Notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
Associe l'information qui justifie l'exercice de la fonction (élection, nomination) | fr | WIP | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|
Additional notes
Show | Notes | Language | Namespace | View details | Comments |
---|
Identifier : TyRo16_TyIn7_1
Domain and range
TyIn7 Exercice de la fonction → TyRo16_TyIn7_1 être l'origine → Info Information
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
être l'origine * | fr | 2020-05-11 | 0 |
: Standard label for this language
Namespace
Namespace | Last updated |
---|---|
symogih.org ontology v.1.3 ongoing | 2019-12-04 |
Parent properties
Domain | Property | Range | Justification | Relation namespace | View details | Comments | ||
---|---|---|---|---|---|---|---|---|
TyRo16 être l'origine | symogih.org ontology v.1.3 ongoing | 0 |
Ancestor properties
Domain | Property | Range | Depth | Property namespace |
---|
Child and descendant properties
Domain | Property | Range | Depth | Property namespace |
---|
Related properties
Relation | Property | Justification | Relation namespace | View details | Comments |
---|
Profiles using this class
Label | Start date | End date | Last updated |
---|
Comments
No comment found.