Link to this page
Sustainability Core Ontology - Segment U
Last uploaded:
October 17, 2025
| Id | http://purl.org/nemo/gufo#Type
http://purl.org/nemo/gufo#Type
|
|---|---|
| Preferred Name | Type |
| Definitions |
An entity that may be instantiated by (or predicated over) other entities. Types encompass what we often call "sorts", "kinds", "categories", etc.
Examples include the kind "Person", the event type "Earthquake", and the abstract individual type "NaturalNumber". Relations, such as "marriedTo" and "olderThan", are also considered as types.
Instances of gufo:Type are classes, and should specialize the taxonomy of individuals of gUFO. For example, "Person" is a gufo:Type (more specifically a gufo:Kind), specializing gufo:Object. The mechanism that allows for this is called punning in OWL 2.
Encompasses the notion of "Universal" in Guizzardi (2005).
|
| Type | http://www.w3.org/2002/07/owl#Class |
All Properties
| prefLabel | Type
|
|---|---|
| label | Type
|
| comment | An entity that may be instantiated by (or predicated over) other entities. Types encompass what we often call "sorts", "kinds", "categories", etc.
Examples include the kind "Person", the event type "Earthquake", and the abstract individual type "NaturalNumber". Relations, such as "marriedTo" and "olderThan", are also considered as types.
Instances of gufo:Type are classes, and should specialize the taxonomy of individuals of gUFO. For example, "Person" is a gufo:Type (more specifically a gufo:Kind), specializing gufo:Object. The mechanism that allows for this is called punning in OWL 2.
Encompasses the notion of "Universal" in Guizzardi (2005).
|
| type | |
| prefixIRI | Type
|
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |