SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact
Next CorpuscularObject: Molecule    Up: CorpuscularObject    Previous CorpuscularObject: AnatomicalStructure   

Artifact comparison table
Subject documentation have axiom
DeviceA Device is an Artifact whose purpose is to serve as an instrument in a specific type of task
(=>
    (instance ?ELEMENT EngineeringElement)
    (exists (?DEVICE)
       (and
          (instance ?DEVICE Device)
          (part ?ELEMENT ?DEVICE))))
EngineeringElementAn EngineeringElement is any element that is used in the construction of a Device
(=>
    (instance ?ELEMENT EngineeringElement)
    (exists (?DEVICE)
       (and
          (instance ?DEVICE Device)
          (part ?ELEMENT ?DEVICE))))
StationaryArtifactA 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
(=>
    (instance ?ARTIFACT StationaryArtifact)
    (exists (?PLACE)
       (forall (?TIME)
          (equal (WhereFn ?ARTIFACT ?TIME) ?PLACE))))

Next CorpuscularObject: Molecule    Up: CorpuscularObject    Previous CorpuscularObject: AnatomicalStructure