SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > StationaryArtifact
Next Artifact: Device    Up: Artifact    Previous Artifact: EngineeringElement   

StationaryArtifact
subjectfact 
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)
       (and
          (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 :