About: process boundary

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

About: process boundary 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	process boundary
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)	Every process boundary occupies_temporal_region a zero-dimensional temporal region. (axiom label in BFO2 Reference: [085-002])
example of usage	the boundary between the 2nd and 3rd year of your life.
definition	p is a process boundary =Def. p is a temporal part of a process & p has no proper temporal parts. (axiom label in BFO2 Reference: [084-001])
has associated axiom(fol)	(forall (x) (if (ProcessBoundary x) (exists (y) (and (ZeroDimensionalTemporalRegion y) (occupiesTemporalRegion x y))))) // axiom label in BFO2 CLIF: [085-002] (iff (ProcessBoundary a) (exists (p) (and (Process p) (temporalPartOf a p) (not (exists (b) (properTemporalPartOf b a)))))) // axiom label in BFO2 CLIF: [084-001]
http://data.bioont...etadata/prefixIRI	BFO:0000035
BFO OWL specification label	p-boundary
BFO CLIF specification label	ProcessBoundary
is first of	nodeID://b254672392 nodeID://b663016036 nodeID://b663016090 nodeID://b663016094 nodeID://b663041023 nodeID://b663041077 nodeID://b663041081 nodeID://b663069384 nodeID://b663069438 nodeID://b663069442 nodeID://b663094371 nodeID://b663094425 nodeID://b663094429 nodeID://b663173269 nodeID://b663173323 nodeID://b663173327 nodeID://b663198256 nodeID://b663198310 nodeID://b663198314 nodeID://b663224368 nodeID://b663224387 nodeID://b663224391 nodeID://b663224395 nodeID://b663224399 nodeID://b663224403 nodeID://b663224407 nodeID://b663224411 nodeID://b663224415 nodeID://b663224419 nodeID://b663224423 nodeID://b663224427 nodeID://b663224431 nodeID://b663224435 nodeID://b663224439 nodeID://b663224443 nodeID://b663224447 nodeID://b663224451 nodeID://b663224455 nodeID://b663224459 nodeID://b663224463 nodeID://b663224467 nodeID://b663224471 nodeID://b663224475 nodeID://b663224479 nodeID://b663224483 nodeID://b663224487 nodeID://b663224491 nodeID://b663224495 nodeID://b663224499 nodeID://b663224503 nodeID://b663224507 nodeID://b663224511 nodeID://b663224515 nodeID://b663224519 nodeID://b663224523 nodeID://b663224527 nodeID://b663224531 nodeID://b663224535 nodeID://b663224539 nodeID://b663224543 nodeID://b663224547 nodeID://b663224551 nodeID://b663224555 nodeID://b663224559 nodeID://b663224563 nodeID://b663224567 nodeID://b663224571 nodeID://b663224575 nodeID://b663233949 nodeID://b663233968 nodeID://b663233972 nodeID://b663233976 nodeID://b663233980 nodeID://b663233984 nodeID://b663233988 nodeID://b663233992 nodeID://b663233996 nodeID://b663234000

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