Permanent link to this class
IOF Core
loading...| Preferred Name |
material artifact |
| Definitions |
every instance of 'material artifact' is defined as exactly an instance of 'object' that is the 'bearer of' some 'function' 'prescribed by' some 'design specification' MaterialArtifact(x) ↔ Object(x) ∧ ∃f,∃d(Function(f) ∧ DesignSpecification(d) ∧ bearerOf(x,f) ∧ prescribes(d,f)) |
| ID |
https://spec.industrialontologies.org/ontology/core/Core/MaterialArtifact |
| adapted from |
http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ArtifactOntology |
| definition |
every instance of 'material artifact' is defined as exactly an instance of 'object' that is the 'bearer of' some 'function' 'prescribed by' some 'design specification' MaterialArtifact(x) ↔ Object(x) ∧ ∃f,∃d(Function(f) ∧ DesignSpecification(d) ∧ bearerOf(x,f) ∧ prescribes(d,f)) object that is deliberately created to have a certain function |
| example |
a machine, a screwdriver, a screw, a sheet of paper |
| first order logic definition |
MaterialArtifact(x) ↔ Object(x) ∧ ∃f,∃d(Function(f) ∧ DesignSpecification(d) ∧ bearerOf(x,f) ∧ prescribes(d,f)) |
| is defined by | |
| label |
material artifact |
| natural language definition |
object that is deliberately created to have a certain function |
| prefixIRI |
iof-core:MaterialArtifact |
| prefLabel |
material artifact |
| semi-formal natural language definition |
every instance of 'material artifact' is defined as exactly an instance of 'object' that is the 'bearer of' some 'function' 'prescribed by' some 'design specification' |
| subClassOf |
| Delete | Subject | Author | Type | Created |
|---|---|---|---|---|
| No notes to display |