SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > StationaryArtifact > Building
UpStationaryArtifact

Building comparison table
Subject documentation is a kind of have axiom
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, etcArtifact
(=>
(instance ?ARTIFACT StationaryArtifact)
(exists (?PLACE)
(forall (?TIME)
(equal (WhereFn ?ARTIFACT ?TIME) ?PLACE))))
BuildingThe Class of StationaryArtifacts which are intended to house Humans and their ActivitiesStationaryArtifact
(=>
(instance ?BUILDING Building)
(exists (?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists (?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))

UpStationaryArtifact