About: nodeID://b254665046

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

About: nodeID://b254665046 Goto Sponge NotDistinct Permalink

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

per discussion with Barry Smith

Attributes	Values
type	Axiom
comment	per discussion with Barry Smith
annotatedProperty	editor note
annotatedSource	temporal region
annotatedTarget	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
has axiom label	http://purl.obolibrary.org/obo/bfo/axiom/0000003

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