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

StationaryArtifact comparison table
Subject be third domain of documentation be disjoint from is a kind of be second domain of be first domain of have axiom
BuildingconnectsThe Class of StationaryArtifacts which are intended to house Humans and their ActivitiesSubstanceStationaryArtifactversionversion
(=>
(instance ?BUILDING Building)
(exists (?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists (?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))

Next ArtifactDevice    UpArtifact    Previous ArtifactEngineeringElement