About: continuant fiat boundary

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

About: continuant fiat boundary Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Class, within Data Space : covidontheweb.inria.fr associated with source document(s)

Attributes	Values
type	Class
label	continuant fiat boundary
isDefinedBy	http://purl.obolibrary.org/obo/bfo.owl
subClassOf	immaterial entity
topic	http://purl.obolibrary.org/obo/bfo.owl has associated axiom(nl) definition immaterial entity has associated axiom(fol) http://purl.obolibrary.org/obo/BFO_0000140#this http://purl.obolibrary.org/obo/BFO_0000140#DataCreation http://purl.obolibrary.org/obo/BFO_0000140#rdf_load_html_response editor note BFO OWL specification label BFO CLIF specification label nodeID://b666736265
described by	proxy:entity/http/purl.obolibrary.org/obo/iao.owl proxy:entity/http/purl.obolibrary.org/obo/BFO_0000147 https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/iao.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/hso.owl proxy:entity/https/w3id.org/hso proxy:entity/http/purl.obolibrary.org/obo/hso.owl proxy:entity/http/purl.obolibrary.org/obo/BFO_0000006 https://covidontheweb.inria.fr:4443/about/id/entity/https/w3id.org/hso proxy:entity/http/purl.obolibrary.org/obo/bfo.owl proxy:entity/http/purl.obolibrary.org/obo/obi.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/BFO_0000006 https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/bfo.owl
has associated axiom(nl)	Every continuant fiat boundary is located at some spatial region at every time at which it exists
definition	b is a continuant fiat boundary = Def. b is an immaterial entity that is of zero, one or two dimensions and does not include a spatial region as part. (axiom label in BFO2 Reference: [029-001])
has associated axiom(fol)	(iff (ContinuantFiatBoundary a) (and (ImmaterialEntity a) (exists (b) (and (or (ZeroDimensionalSpatialRegion b) (OneDimensionalSpatialRegion b) (TwoDimensionalSpatialRegion b)) (forall (t) (locatedInAt a b t)))) (not (exists (c t) (and (SpatialRegion c) (continuantPartOfAt c a t)))))) // axiom label in BFO2 CLIF: [029-001]
editor note	Continuant fiat boundary doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. An example would be the mereological sum of two-dimensional continuant fiat boundary and a one dimensional continuant fiat boundary that doesn't overlap it. The situation is analogous to temporal and spatial regions. BFO 2 Reference: a continuant fiat boundary is a boundary of some material entity (for example: the plane separating the Northern and Southern hemispheres; the North Pole), or it is a boundary of some immaterial entity (for example of some portion of airspace). Three basic kinds of continuant fiat boundary can be distinguished (together with various combination kinds [29 BFO 2 Reference: In BFO 1.1 the assumption was made that the external surface of a material entity such as a cell could be treated as if it were a boundary in the mathematical sense. The new document propounds the view that when we talk about external surfaces of material objects in this way then we are talking about something fiat. To be dealt with in a future version: fiat boundaries at different levels of granularity.More generally, the focus in discussion of boundaries in BFO 2.0 is now on fiat boundaries, which means: boundaries for which there is no assumption that they coincide with physical discontinuities. The ontology of boundaries becomes more closely allied with the ontology of regions.
http://data.bioont...etadata/prefixIRI	BFO:0000140
BFO OWL specification label	cf-boundary
BFO CLIF specification label	ContinuantFiatBoundary
is first of	nodeID://b254672388 nodeID://b665208306 nodeID://b665232603 nodeID://b665831125 nodeID://b665855422 nodeID://b665887637 nodeID://b665911934 nodeID://b665936231 nodeID://b665960528
is disjointWith of	spatial region
is subClassOf of	zero-dimensional continuant fiat boundary one-dimensional continuant fiat boundary two-dimensional continuant fiat boundary
is topic of	spatial region http://purl.obolibrary.org/obo/bfo.owl Information Artifact Ontology (IAO) zero-dimensional continuant fiat boundary https://w3id.org/hso Ontology for Biomedical Investigations Health Surveillance Ontology (HSO)
is http://vocab.deri.ie/void#inDataset of	proxy:http/purl.obolibrary.org/obo/BFO_0000140
is accessed of	nodeID://b666736265 nodeID://b666736266
is annotatedSource of	nodeID://b254665118 nodeID://b254665119 nodeID://b254665120 nodeID://b662809730 nodeID://b662809731 nodeID://b662809732 nodeID://b662810099 nodeID://b662810100 nodeID://b662810101 nodeID://b663276362 nodeID://b663276363 nodeID://b663276364 nodeID://b663277742 nodeID://b663277743 nodeID://b663277744 nodeID://b663515805 nodeID://b663515806 nodeID://b663515807 nodeID://b663516551 nodeID://b663516552 nodeID://b663516553 nodeID://b663520046 nodeID://b663520047 nodeID://b663520048 nodeID://b663520792 nodeID://b663520793 nodeID://b663520794 nodeID://b663913310 nodeID://b663913311 nodeID://b663913312 nodeID://b663914056 nodeID://b663914057 nodeID://b663914058 nodeID://b663970103 nodeID://b663970104 nodeID://b663970105 nodeID://b663970222 nodeID://b663970223 nodeID://b663970224 nodeID://b664333064

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software