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

Building
subjectfact 
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)
       (and
          (instance ?HUMAN Human)
          (or
             (inhabits ?HUMAN ?BUILDING)
             (exists (?ACT)
                (and
                   (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