Building Comparison Table

Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > StationaryArtifact > Building

Building comparison table

Subject documentation is a kind of have axiom

StationaryArtifact A 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, etc Artifact
(=>
(instance ?ARTIFACT StationaryArtifact)
(exists (?PLACE)
(forall (?TIME)
(equal (WhereFn ?ARTIFACT ?TIME) ?PLACE))))

Building The Class of StationaryArtifacts which are intended to house Humans and their Activities StationaryArtifact
(=>
(instance ?BUILDING Building)
(exists (?HUMAN)
(and
(instance ?HUMAN Human)
(or
(inhabits ?HUMAN ?BUILDING)
(exists (?ACT)
(and
(agent ?ACT ?HUMAN)
(located ?ACT ?BUILDING)))))))

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

Up: StationaryArtifact