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

Buildingdocumentation The Class of StationaryArtifacts which are intended to house Humans and their Activities2001-11-30 13:33:47.0
has axiom
(instance ?BUILDING Building)
(exists (?HUMAN)
(instance ?HUMAN Human)
(inhabits ?HUMAN ?BUILDING)
(exists (?ACT)
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))
2001-11-30 13:33:47.0
is a kind of StationaryArtifact2001-11-30 13:33:47.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