loading...| Preferred Name | function | |
| Synonyms |
|
|
| Definitions |
<ncicp:ComplexDefinition><ncicp:def-definition>A realizable entity [snap:RealizableEntity] the manifestation of which is an essentially end-directed activity of a continuant [snap:Continuant] entity in virtue of that continuant [snap:Continuant] entity being a specific kind of entity in the kind or kinds of contexts that it is made for.</ncicp:def-definition></ncicp:ComplexDefinition> a function "f" is a realizable dependent continuant; it has a bearer which is an independent continuant; instances of Function F have realizations; each realization is a) a process in which the bearer is participant; b) that It occurs in virtue of the bearer's physical make-up or structure. c) and this physical make-up is something which the bearer possesses because of how it came into being. [source]: (1) BFO.owl 1.1; (2) Robert Arp and Barry Smith "Function, Role and Disposition in Basic Formal Ontology" NATURE PROCEEDINGS, 2008. A realizable entity, which is a necessary function of the bearer, and it is realized as an end-directed activity (a process in which the bearer is a participant). |
|
| ID |
http://www.ifomis.org/bfo/1.1/snap#Function |
|
| comment |
a function "f" is a realizable dependent continuant; it has a bearer which is an independent continuant; instances of Function F have realizations; each realization is a) a process in which the bearer is participant; b) that It occurs in virtue of the bearer's physical make-up or structure. c) and this physical make-up is something which the bearer possesses because of how it came into being. [source]: (1) BFO.owl 1.1; (2) Robert Arp and Barry Smith "Function, Role and Disposition in Basic Formal Ontology" NATURE PROCEEDINGS, 2008. A realizable entity, which is a necessary function of the bearer, and it is realized as an end-directed activity (a process in which the bearer is a participant). |
|
| code |
NPO_316 |
|
| dBXrefID |
snap:Function |
|
| definition |
<ncicp:ComplexDefinition><ncicp:def-definition>A realizable entity [snap:RealizableEntity] the manifestation of which is an essentially end-directed activity of a continuant [snap:Continuant] entity in virtue of that continuant [snap:Continuant] entity being a specific kind of entity in the kind or kinds of contexts that it is made for.</ncicp:def-definition></ncicp:ComplexDefinition> |
|
| label |
function |
|
| preferred_name |
function |
|
| prefixIRI |
snap:Function |
|
| prefLabel |
function |
|
| disjointWith | ||
| subClassOf |