Not logged in : Login
(Sponging disallowed)

About: continuant     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Class, within Data Space : linkeddata.uriburner.com associated with source document(s)
QRcode icon
http://linkeddata.uriburner.com/describe/?url=http%3A%2F%2Fpurl.obolibrary.org%2Fobo%2FBFO_0000002

AttributesValues
Type
subClassOf
definition
  • An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.
  • An entity that exists in full at any time in which it exists at all, persists through time while maintaining its identity and has no temporal parts.
editor note
  • BFO 2 Reference: Continuant entities are entities which can be sliced to yield parts only along the spatial dimension, yielding for example the parts of your table which we call its legs, its top, its nails. ‘My desk stretches from the window to the door. It has spatial parts, and can be sliced (in space) in two. With respect to time, however, a thing is a continuant.’ [60, p. 240
  • Continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example, in an expansion involving bringing in some of Ceuster's other portions of reality, questions are raised as to whether universals are continuants
imported from
elucidation
  • A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity. (axiom label in BFO2 Reference: [008-002])
has associated axiom(nl)
  • if b is a material entity, then there is some temporal interval (referred to below as a one-dimensional temporal region) during which b exists. (axiom label in BFO2 Reference: [011-002])
  • if b is a continuant and if, for some t, c has_continuant_part b at t, then c is a continuant. (axiom label in BFO2 Reference: [126-001])
  • if b is a continuant and if, for some t, cis continuant_part of b at t, then c is a continuant. (axiom label in BFO2 Reference: [009-002])
has associated axiom(fol)
  • (forall (x) (if (Material Entity x) (exists (t) (and (TemporalRegion t) (existsAt x t))))) // axiom label in BFO2 CLIF: [011-002]
  • (forall (x) (if (Continuant x) (Entity x))) // axiom label in BFO2 CLIF: [008-002]
  • (forall (x y) (if (and (Continuant x) (exists (t) (continuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [009-002]
  • (forall (x y) (if (and (Continuant x) (exists (t) (hasContinuantPartOfAt y x t))) (Continuant y))) // axiom label in BFO2 CLIF: [126-001]
has a SPARQL endpoint at
BFO OWL specification label
  • continuant
BFO CLIF specification label
  • Continuant
label
  • continuant
  • Continuant
  • continuant
  • Continuant
isDefinedBy
disjointWith
preferred label
  • continuant
topic
described by
Identifier
  • 008-BFO
definition
  • (Elucidation) A continuant is an entity that persists, endures, or continues to exist through time while maintaining its identity
example
  • A human being, a tennis ball, a cave, a region of space, someone's temperature.
is Type of
Faceted Search & Find service v1.17_git51 as of Jun 26 2020


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3317 as of Jun 10 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software