Not logged in : Login
(Sponging disallowed)

About: independent 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_0000004

AttributesValues
Type
subClassOf
example of usage
  • a chair
  • a heart
  • a leg
  • a molecule
  • a spatial region
  • an atom
  • an orchestra.
  • an organism
  • the bottom right portion of a human torso
  • the interior of your mouth
definition
  • b is an independent continuant = Def. b is a continuant which is such that there is no c and no t such that b s-depends_on c at t. (axiom label in BFO2 Reference: [017-002])
  • A continuant that is a bearer of quality and realizable entity entities, in which other entities inhere and which itself cannot inhere in anything.
imported from
has associated axiom(nl)
  • For any independent continuant b and any time t there is some spatial region r such that b is located_in r at t. (axiom label in BFO2 Reference: [134-001])
  • For every independent continuant b and time t during the region of time spanned by its life, there are entities which s-depends_on b during t. (axiom label in BFO2 Reference: [018-002])
has associated axiom(fol)
  • (forall (x t) (if (and (IndependentContinuant x) (existsAt x t)) (exists (y) (and (Entity y) (specificallyDependsOnAt y x t))))) // axiom label in BFO2 CLIF: [018-002]
  • (forall (x t) (if (IndependentContinuant x) (exists (r) (and (SpatialRegion r) (locatedInAt x r t))))) // axiom label in BFO2 CLIF: [134-001]
  • (iff (IndependentContinuant a) (and (Continuant a) (not (exists (b t) (specificallyDependsOnAt a b t))))) // axiom label in BFO2 CLIF: [017-002]
has a SPARQL endpoint at
BFO OWL specification label
  • ic
BFO CLIF specification label
  • IndependentContinuant
label
  • independent continuant
  • Independent Continuant
  • Independent Continuant
isDefinedBy
disjointWith
preferred label
  • independent continuant
topic
described by
Identifier
  • 017-BFO
definition
  • b is an independent continuant =Def b is a continuant which is such that there is no c such that b s-depends on c and no c such that b g-depends on c
example
  • An atom, a molecule, an organism, a heart, a chair, the bottom right portion of a human torso, a leg; the interior of your mouth; a spatial region; an orchestra.
is Type of
is subClassOf of
is annotatedSource of
is annotatedTarget of
is http://vocab.deri.ie/void#inDataset of
is is homeomorphic for 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.3318 as of Jul 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