About: spatial region

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

About: spatial region Goto Sponge NotDistinct Permalink

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

Attributes	Values
type	Class
label	spatial region
isDefinedBy	http://purl.obolibrary.org/obo/bfo.owl
disjointWith	site continuant fiat boundary
subClassOf	immaterial entity
topic	site http://purl.obolibrary.org/obo/bfo.owl has associated axiom(nl) continuant fiat boundary immaterial entity has associated axiom(fol) editor note elucidation BFO OWL specification label BFO CLIF specification label http://purl.obolibrary.org/obo/BFO_0000006#this http://purl.obolibrary.org/obo/BFO_0000006#DataCreation http://purl.obolibrary.org/obo/BFO_0000006#rdf_load_html_response nodeID://b663961428 nodeID://b663961429 nodeID://b665384218
described by	proxy:entity/http/purl.obolibrary.org/obo/ro.owl proxy:entity/http/purl.obolibrary.org/obo/iao.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/BFO_0000028 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 https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/ro.owl 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 proxy:entity/http/purl.obolibrary.org/obo/BFO_0000028 https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/bfo.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/BFO_0000009
has associated axiom(nl)	All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001]) All continuant parts of spatial regions are spatial regions. (axiom label in BFO2 Reference: [036-001])
has associated axiom(fol)	(forall (x) (if (SpatialRegion x) (Continuant x))) // axiom label in BFO2 CLIF: [035-001] (forall (x y t) (if (and (SpatialRegion x) (continuantPartOfAt y x t)) (SpatialRegion y))) // axiom label in BFO2 CLIF: [036-001]
editor note	Spatial region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the union of a spatial point and a spatial line that doesn't overlap the point, or two spatial lines that intersect at a single point. In both cases the resultant spatial region is neither 0-dimensional, 1-dimensional, 2-dimensional, or 3-dimensional. BFO 2 Reference: Spatial regions do not participate in processes.
elucidation	A spatial region is a continuant entity that is a continuant_part_of spaceR as defined relative to some frame R. (axiom label in BFO2 Reference: [035-001])
http://data.bioont...etadata/prefixIRI	BFO:0000006
BFO OWL specification label	s-region
BFO CLIF specification label	SpatialRegion
is first of	nodeID://b254672390 nodeID://b663026132 nodeID://b663026195 nodeID://b663026203 nodeID://b663026211 nodeID://b663026219 nodeID://b663026227 nodeID://b663026235 nodeID://b663026243 nodeID://b663026251 nodeID://b663026259 nodeID://b663026267 nodeID://b663026275 nodeID://b663026283 nodeID://b663026291 nodeID://b663026299 nodeID://b663026307 nodeID://b663026315 nodeID://b663026317 nodeID://b663026321 nodeID://b663026326 nodeID://b663026337 nodeID://b663026345 nodeID://b663026353 nodeID://b663026361 nodeID://b663051119 nodeID://b663051182 nodeID://b663051190 nodeID://b663051198 nodeID://b663051206 nodeID://b663051214 nodeID://b663051222 nodeID://b663051230 nodeID://b663051238 nodeID://b663051246 nodeID://b663051254 nodeID://b663051262 nodeID://b663051270 nodeID://b663051278 nodeID://b663051286 nodeID://b663051294 nodeID://b663051302 nodeID://b663051304 nodeID://b663051308 nodeID://b663051313 nodeID://b663051324 nodeID://b663051332 nodeID://b663051340 nodeID://b663051348 nodeID://b663079480 nodeID://b663079543 nodeID://b663079551 nodeID://b663079559 nodeID://b663079567

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