About: independent continuant

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: independent continuant Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Class, within Data Space : terminologies.gfbio.org associated with source document(s)

Attributes	Values
type	Class
label	independent continuant independent continuant
isDefinedBy	obo:bfo.owl
subClassOf	continuant nodeID://b19007125 nodeID://b19017871 nodeID://b19076353 nodeID://b19142871 nodeID://b19146814 nodeID://b23262500 nodeID://b23281743
disjointWith	specifically dependent continuant generically dependent continuant
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])
http://data.bioont...etadata/prefixIRI	BFO:0000004
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. 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.
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
BFO CLIF specification label	IndependentContinuant
http://terminologi...s/ontology#change	modified removed
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]
BFO OWL specification label	ic
is first of	nodeID://b16252111 nodeID://b16252115 nodeID://b16252823 nodeID://b19017743 nodeID://b19017747 nodeID://b19076225 nodeID://b19076229 nodeID://b19142743 nodeID://b19142747 nodeID://b23297581
is domain of	develops_from adjacent_to derives from located_in has disposition capable of has function has role
is range of	develops_from adjacent_to derives from located_in occurs in contained in has part that occurs in
is subClassOf of	infructescence fruit pedicel obturator material entity immaterial entity root anatomical entity biological entity cultured somatic plant embryo tetrad of microspores companion cell plant sperm cell socket cell root hair cell trichoblast non-hair root epidermal cell guard cell epidermal pavement cell guard mother cell embryo basal cell root nodule axial secondary xylem parenchyma cell ray secondary xylem parenchyma cell fruit placenta shoot axis tuber root primordium primary thickening meristem primary xylem caryopsis hull phyllome primary phloem primary sporogenous cell sporocyte tassel spikelet seed raphe seed funicle seed chalaza seed micropyle

Faceted Search & Find service v1.13.68 as of Nov 06 2015

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3215 as of Jan 6 2016, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (3 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2026 OpenLink Software