Artifact concept from the SUMO knowledge base

Next CorpuscularObject: Molecule Up: CorpuscularObject Previous CorpuscularObject: AnatomicalStructure

Artifact

subject fact

Artifact documentation An Object with separable parts that is the product of an IntentionalProcess 2001-11-30 13:33:38.0
has axiom
(=>
(instance ?ARTIFACT Artifact)
(exists (?PROCESS)
(and
(instance ?PROCESS Process)
(result ?PROCESS ?ARTIFACT))))
has axiom
(=>
(instance ?MAKE Making)
(exists (?ARTIFACT)
(and
(instance ?ARTIFACT Artifact)
(result ?MAKE ?ARTIFACT))))
2001-11-30 13:33:38.0
is first domain of version
is second domain of version
is a kind of CorpuscularObject

CorpuscularObject is disjoint from Substance 2001-11-30 13:33:58.0

Object is third domain of between 2001-11-30 13:34:51.0
is third domain of capability
is third domain of connects

Kinds of Artifact :

Device (2 kinds, 10 facts) - A Device is an Artifact whose purpose is to serve as an instrument in a specific type of task
EngineeringElement (4 kinds, 24 facts) - An EngineeringElement is any element that is used in the construction of a Device
StationaryArtifact (1 kind, 7 facts) - A StationaryArtifact is an Artifact that has a fixed spatial location. Most instances of this Class are architectural works, e.g. the Eiffel Tower, the Great Pyramids, office towers, single-family houses, etc

Artifact	*documentation* An Object with separable parts that is the product of an IntentionalProcess
	has axiom (=> (instance ?ARTIFACT Artifact) (exists (?PROCESS) (and (instance ?PROCESS Process) (result ?PROCESS ?ARTIFACT))))
	has axiom (=> (instance ?MAKE Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKE ?ARTIFACT))))
	*is first domain* of** version
	*is second domain* of** version
	is a kind of CorpuscularObject
CorpuscularObject	*is disjoint* from** Substance
Object	*is third domain* of** between
	*is third domain* of** capability
	*is third domain* of** connects