[FN020] Material entities are three-dimensional entities

[fabianneuhaus]

@phismith

proposed axiom
(cl:comment "Material entities are three-dimensional entities (entities extended in three spatial dimensions) [FN020-001]")

(forall (x t)
(if
(and
(MaterialEntity x)
(0DTemporalRegion t)
(exists_at x t))
(exists (r)
(and
(3DSpatialRegion r)
(occupies_spatial_region x r t)
))))

[phismith]

looks very good to me

On Tue, Aug 26, 2014 at 4:50 PM, fabianneuhaus notifications@github.com
wrote:

@phismith https://github.com/phismith

proposed axiom
(cl:comment "Material entities are three-dimensional entities (entities
extended in three spatial dimensions) [FN020-001]")

(forall (x t)
(if
(and
(MaterialEntity x)
(0DTemporalRegion t)
(exists_at x t))
(exists (r)
(and
(3DSpatialRegion r)
(occupies_spatial_region x r t)
))))

—
Reply to this email directly or view it on GitHub
#70.