is programmed with (is used to programme) – PP52
PP52 is programmed with (is used to programme)
Domain:
Quantification:
No quantifiers yet.
Scope note:
Examples:
No example yet.
In First Order Logic:
- PP52(x,y) ⇒ D14(x)
- PP52(x,y) ⇒ PE40(y)
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|
Identifier: PP52
Official URI: https://ontome.net/ns/crmpe/PP52
OntoME URI: https://ontome.net/ontology/p2203
Domain and range
crmdig:D14 Software → PP52 is programmed with (is used to programme) → crmpe:PE40 Programing Language
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| is programmed with (is used to programme) * | en | 2023-01-19 | 0 |
: Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| Parthenos Entities: Research Infrastructure Model, version 3.1 | 2023-01-19 |
| Parthenos Entities: Research Infrastructure Model ongoing | 2023-01-19 |
Parent properties
| Domain | Property | Range | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Ancestor properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Child and descendant properties
| Domain | Property | Range | Depth | Property namespace |
|---|
Related properties
| Relation | Property | Property namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|
Profiles using this property
| Label | Version | Status | Last updated |
|---|
Comments
No comment found.