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 |
note |
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' a machine, a screwdriver, a screw, a sheet of paper 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 |
preferred label |
material artifact |
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' |
source |
http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ArtifactOntology |
subClassOf |
Delete | Subject | Author | Type | Created |
---|---|---|---|---|
No notes to display |