Not logged in : Login
(Sponging disallowed)

About: specifically dependent continuant     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:Class, within Data Space : linkeddata.uriburner.com associated with source document(s)

AttributesValues
Type
subClassOf
example of usage
  • of one-sided specifically dependent continuants: the mass of this tomato
  • of relational dependent continuants (multiple bearers): John’s love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates.
  • the disposition of this fish to decay
  • the function of this heart: to pump blood
  • the role of being a doctor
  • the shape of this hole.
  • the smell of this portion of mozzarella
  • the mutual dependence of proton donors and acceptors in chemical reactions [79
  • Reciprocal specifically dependent continuants: the function of this key to open this lock and the mutually dependent disposition of this lock: to be opened by this key
  • the pink color of a medium rare piece of grilled filet mignon at its center
  • the mutual dependence of the role predator and the role prey as played by two organisms in a given interaction
label
  • specifically dependent continuant
isDefinedBy
disjointWith
editor note
  • Specifically dependent continuant doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. We're not sure what else will develop here, but for example there are questions such as what are promises, obligation, etc.
Identifier
  • 050-BFO
described by
preferred label
  • specifically dependent continuant
definition
  • b is a specifically dependent continuant =Def b is a continuant & there is some independent continuant c which is not a spatial region & which is such that b s-depends on c
scope note
  • On the multiple bearers case, see relational quality.
example
  • (with one bearer) The mass of this tomato, the pink colour of a medium rare piece of grilled filet mignon at its centre, the smell of this portion of mozzarella, the disposition of this fish to decay, the role of being a doctor, the function of this heart: to pump blood, the shape of this hole; (with multiple bearers:) John's love for Mary, the ownership relation between John and this statue, the relation of authority between John and his subordinates.
has associated axiom(fol)
  • (iff (RelationalSpecificallyDependentContinuant a) (and (SpecificallyDependentContinuant a) (forall (t) (exists (b c) (and (not (SpatialRegion b)) (not (SpatialRegion c)) (not (= b c)) (not (exists (d) (and (continuantPartOfAt d b t) (continuantPartOfAt d c t)))) (specificallyDependsOnAt a b t) (specificallyDependsOnAt a c t)))))) // axiom label in BFO2 CLIF: [131-004]
  • (iff (SpecificallyDependentContinuant a) (and (Continuant a) (forall (t) (if (existsAt a t) (exists (b) (and (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t))))))) // axiom label in BFO2 CLIF: [050-003]
BFO CLIF specification label
  • SpecificallyDependentContinuant
http://data.bioont...etadata/prefixIRI
  • BFO:0000020
definition
  • A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.
  • b is a specifically dependent continuant = Def. b is a continuant & there is some independent continuant c which is not a spatial region and which is such that b s-depends_on c at every time t during the course of b’s existence. (axiom label in BFO2 Reference: [050-003])
  • A continuant that inheres in or is borne by other entities. Every instance of A requires some specific instance of B which must always be the same.
  • b is a relational specifically dependent continuant = Def. b is a specifically dependent continuant and there are n > 1 independent continuants c1, … cn which are not spatial regions are such that for all 1 i < j n, ci and cj share no common parts, are such that for each 1 i n, b s-depends_on ci at every time t during the course of b’s existence (axiom label in BFO2 Reference: [131-004])
BFO OWL specification label
  • sdc
imported from
editor preferred label
  • specifically dependent continuant
is Type of
Faceted Search & Find service v1.17_git63 as of Apr 23 2021


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.3322 as of Jun 3 2021, 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-2021 OpenLink Software