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

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)
(instance ?HUMAN Human)
(inhabits ?HUMAN ?BUILDING)
(exists (?ACT)
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))