loading...| Preferred Name | MaterialArtifact | |
| Synonyms |
|
|
| 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' |
|
| ID |
https://spec.industrialontologies.org/ontology/core/Core/MaterialArtifact |
|
| adapted from |
http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ArtifactOntology |
|
| 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' |
|
| first order logic definition |
MaterialArtifact(x) ↔ Object(x) ∧ ∃f(DesignedFunction(f) ∧ bearerOf(x,f)) |
|
| is defined by | ||
| prefixIRI |
iof-core:MaterialArtifact iof:MaterialArtifact |
|
| prefLabel |
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 |
https://github.com/Mat-O-Lab/MSEO/raw/main/domain/util/readable_bfo_iris.ttl/Object |