SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > StationaryArtifact
Next ArtifactDevice    UpArtifact    Previous ArtifactEngineeringElement   

StationaryArtifactdocumentation 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, etc2001-11-30 13:35:19.0
has axiom
(exists (?BUILD)
(instance ?BUILD Constructing)
(result ?BUILD ?ARTIFACT)))
(instance ?ARTIFACT StationaryArtifact))
2001-11-30 13:35:19.0
has axiom
(instance ?ARTIFACT StationaryArtifact)
(exists (?PLACE)
(forall (?TIME)
(equal (WhereFn ?ARTIFACT ?TIME) ?PLACE))))
2001-11-30 13:35:19.0
is a kind of Artifact2001-11-30 13:35:19.0
Artifactis first domain of version2001-11-30 13:33:38.0
is second domain of version2001-11-30 13:33:38.0
CorpuscularObjectis disjoint from Substance2001-11-30 13:33:58.0
Objectis third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0

Kinds of StationaryArtifact :