About: spatiotemporal region

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

About: spatiotemporal 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	spatiotemporal region
isDefinedBy	http://purl.obolibrary.org/obo/bfo.owl
subClassOf	occurrent
described by	proxy:entity/http/purl.obolibrary.org/obo/iao.owl 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/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_0000008 https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/bfo.owl
has associated axiom(nl)	Each spatiotemporal region at any time t projects_onto some spatial region at t. (axiom label in BFO2 Reference: [099-001]) Every spatiotemporal region occupies_spatiotemporal_region itself. Each spatiotemporal region projects_onto some temporal region. (axiom label in BFO2 Reference: [098-001]) Every spatiotemporal region s is such that s occupies_spatiotemporal_region s. (axiom label in BFO2 Reference: [107-002]) All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001]) All parts of spatiotemporal regions are spatiotemporal regions. (axiom label in BFO2 Reference: [096-001])
example of usage	the spatiotemporal region occupied by a process of cellular meiosis. the spatiotemporal region occupied by a human life the spatiotemporal region occupied by the development of a cancer tumor
has associated axiom(fol)	(forall (x) (if (SpatioTemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [095-001] (forall (x y) (if (and (SpatioTemporalRegion x) (occurrentPartOf y x)) (SpatioTemporalRegion y))) // axiom label in BFO2 CLIF: [096-001] (forall (x t) (if (SpatioTemporalRegion x) (exists (y) (and (SpatialRegion y) (spatiallyProjectsOntoAt x y t))))) // axiom label in BFO2 CLIF: [099-001] (forall (r) (if (SpatioTemporalRegion r) (occupiesSpatioTemporalRegion r r))) // axiom label in BFO2 CLIF: [107-002] (forall (x) (if (SpatioTemporalRegion x) (exists (y) (and (TemporalRegion y) (temporallyProjectsOnto x y))))) // axiom label in BFO2 CLIF: [098-001]
elucidation	A spatiotemporal region is an occurrent entity that is part of spacetime. (axiom label in BFO2 Reference: [095-001])
http://data.bioont...etadata/prefixIRI	BFO:0000011
BFO OWL specification label	st-region
BFO CLIF specification label	SpatiotemporalRegion
is first of	nodeID://b254672394 nodeID://b665208312 nodeID://b665232609 nodeID://b665831131 nodeID://b665855428 nodeID://b665887643 nodeID://b665911940 nodeID://b665936237 nodeID://b665960534
is disjointWith of	temporal region
is topic of	http://purl.obolibrary.org/obo/bfo.owl temporal region Information Artifact Ontology (IAO) https://w3id.org/hso Ontology for Biomedical Investigations Health Surveillance Ontology (HSO)
is annotatedSource of	nodeID://b254665055 nodeID://b254665056 nodeID://b254665057 nodeID://b254665058 nodeID://b254665059 nodeID://b254665060 nodeID://b254665061 nodeID://b254665062 nodeID://b254665063 nodeID://b254665064 nodeID://b662809669 nodeID://b662809670 nodeID://b662809671 nodeID://b662809672 nodeID://b662809673 nodeID://b662809674 nodeID://b662809675 nodeID://b662809676 nodeID://b662809677 nodeID://b662809678 nodeID://b662810038 nodeID://b662810039 nodeID://b662810040 nodeID://b662810041 nodeID://b662810042 nodeID://b662810043 nodeID://b662810044 nodeID://b662810045 nodeID://b662810046 nodeID://b662810047 nodeID://b663276301 nodeID://b663276302 nodeID://b663276303 nodeID://b663276304 nodeID://b663276305 nodeID://b663276306 nodeID://b663276307 nodeID://b663276308 nodeID://b663276309 nodeID://b663276310 nodeID://b663277681 nodeID://b663277682 nodeID://b663277683 nodeID://b663277684 nodeID://b663277685 nodeID://b663277686 nodeID://b663277687 nodeID://b663277688 nodeID://b663277689 nodeID://b663277690 nodeID://b663515744 nodeID://b663515745

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