About: temporal region

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

About: temporal 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	temporal region
isDefinedBy	http://purl.obolibrary.org/obo/bfo.owl
disjointWith	process spatiotemporal region process boundary
subClassOf	occurrent
topic	process http://purl.obolibrary.org/obo/bfo.owl has associated axiom(nl) occurrent has associated axiom(fol) http://purl.obolibrary.org/obo/BFO_0000008#this http://purl.obolibrary.org/obo/BFO_0000008#DataCreation http://purl.obolibrary.org/obo/BFO_0000008#rdf_load_html_response editor note elucidation spatiotemporal region process boundary BFO OWL specification label BFO CLIF specification label nodeID://b665786549 nodeID://b665786551 nodeID://b674003785
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/http/purl.obolibrary.org/obo/envo.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 https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/bfo.owl
has associated axiom(nl)	Every temporal region t is such that t occupies_temporal_region t. (axiom label in BFO2 Reference: [119-002]) All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001]) All parts of temporal regions are temporal regions. (axiom label in BFO2 Reference: [101-001])
has associated axiom(fol)	(forall (r) (if (TemporalRegion r) (occupiesTemporalRegion r r))) // axiom label in BFO2 CLIF: [119-002] (forall (x) (if (TemporalRegion x) (Occurrent x))) // axiom label in BFO2 CLIF: [100-001] (forall (x y) (if (and (TemporalRegion x) (occurrentPartOf y x)) (TemporalRegion y))) // axiom label in BFO2 CLIF: [101-001]
editor note	Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional
elucidation	A temporal region is an occurrent entity that is part of time as defined relative to some reference frame. (axiom label in BFO2 Reference: [100-001])
http://data.bioont...etadata/prefixIRI	BFO:0000008
BFO OWL specification label	t-region
BFO CLIF specification label	TemporalRegion
is first of	nodeID://b254672395 nodeID://b665208313 nodeID://b665232610 nodeID://b665831132 nodeID://b665855429 nodeID://b665887644 nodeID://b665911941 nodeID://b665936238 nodeID://b665960535 nodeID://b669096108 nodeID://b669120293 nodeID://b670480016 nodeID://b670497304
is domain of	span-of
is range of	occupies temporal region
is someValuesFrom of	nodeID://b673152061 nodeID://b673152063 nodeID://b673152213 nodeID://b673152215 nodeID://b674339235 nodeID://b674339237 nodeID://b674339342 nodeID://b674339344
is subClassOf of	zero-dimensional temporal region one-dimensional temporal region
is topic of	The Environment Ontology http://purl.obolibrary.org/obo/bfo.owl Information Artifact Ontology (IAO) 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_0000008
is accessed of	nodeID://b665786549 nodeID://b665786551 nodeID://b674003785 nodeID://b674003786
is annotatedSource of	nodeID://b254665046 nodeID://b254665047 nodeID://b254665048 nodeID://b254665049 nodeID://b254665050 nodeID://b254665051 nodeID://b254665052 nodeID://b662809660 nodeID://b662809661 nodeID://b662809662 nodeID://b662809663 nodeID://b662809664 nodeID://b662809665 nodeID://b662809666 nodeID://b662810029 nodeID://b662810030 nodeID://b662810031 nodeID://b662810032 nodeID://b662810033

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-2025 OpenLink Software