Link to this page
Brinell Test Ontology-BFO
Last uploaded:
July 30, 2024
Jump to:
| Id | https://spec.industrialontologies.org/ontology/core/Core/MaterialArtifact
https://spec.industrialontologies.org/ontology/core/Core/MaterialArtifact
|
|---|---|
| Preferred Name | MaterialArtifact |
| Definitions |
MaterialArtifact(x) ↔ Object(x) ∧ ∃f(DesignedFunction(f) ∧ bearerOf(x,f))
every instance of 'material artifact' is defined as exactly an instance of 'object' that is the 'bearer of' some 'designed function'
|
| Type | http://www.w3.org/2002/07/owl#Class |
All Properties
| definition | MaterialArtifact(x) ↔ Object(x) ∧ ∃f(DesignedFunction(f) ∧ bearerOf(x,f)) every instance of 'material artifact' is defined as exactly an instance of 'object' that is the 'bearer of' some 'designed function' |
|---|---|
| prefLabel | MaterialArtifact
|
| first order logic definition | MaterialArtifact(x) ↔ Object(x) ∧ ∃f(DesignedFunction(f) ∧ bearerOf(x,f))
|
| is defined by | |
| prefixIRI |
iof-core:MaterialArtifact
iof:MaterialArtifact
|
| semi-formal natural language definition | every instance of 'material artifact' is defined as exactly an instance of 'object' that is the 'bearer of' some 'designed function'
|
| subClassOf | |
| adapted from | |
| type |
Add comment
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |