About: axiom holds for all times

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

About: axiom holds for all times Goto Sponge NotDistinct Permalink

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

Attributes	Values
type	NamedIndividual
label	axiom holds for all times
described by	proxy:entity/http/purl.obolibrary.org/obo/ro.owl proxy:entity/http/purl.obolibrary.org/obo/ro/annotations.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/ro.owl https://covidontheweb.inria.fr:4443/about/id/entity/http/purl.obolibrary.org/obo/ro/annotations.owl proxy:entity/http/purl.obolibrary.org/obo/obi.owl
has a SPARQL endpoint at	http://covidontheweb.inria.fr:8890/sparql/
definition	## Elucidation This is used when the statement/axiom is assumed to hold true 'eternally' ## How to interpret (informal) First the "atemporal" FOL is derived from the OWL using the standard interpretation. This axiom is temporalized by embedding the axiom within a for-all-times quantified sentence. The t argument is added to all instantiation predicates and predicates that use this relation. ## Example Class: nucleus SubClassOf: part_of some cell forall t : forall n : instance_of(n,Nucleus,t) implies exists c : instance_of(c,Cell,t) part_of(n,c,t) ## Notes This interpretation is not the same as an at-all-times relation ## Elucidation This is used when the statement/axiom is assumed to hold true 'eternally' ## How to interpret (informal) First the "atemporal" FOL is derived from the OWL using the standard interpretation. This axiom is temporalized by embedding the axiom within a for-all-times quantified sentence. The t argument is added to all instantiation predicates and predicates that use this relation. ## Example Class: nucleus SubClassOf: part_of some cell forall t : forall n : instance_of(n,Nucleus,t) implies exists c : instance_of(c,Cell,t) part_of(n,c,t) ## Notes This interpretation is not the same as an at-all-times relation
is topic of	OBO Relations Ontology Ontology for Biomedical Investigations http://purl.obolibrary.org/obo/ro/annotations.owl
is awol:src of	proxy:entity/http/purl.obolibrary.org/obo/RO_0001901#content
is http://vocab.deri.ie/void#inDataset of	http://purl.obolibrary.org/obo/RO_0001901
is accessed of	nodeID://b666873382 nodeID://b666873383
is temporal interpretation of	member of adjacent to part of has part inheres in bearer of obsolete in neural circuit with obsolete upstream in neural circuit with obsolete downstream in neural circuit with contained in contains located in 2D boundary of aligned with has 2D boundary has soma location fasciculates with axon synapses in synapsed by has plasma membrane part synapsed_via_type_Ib_bouton_to synapsed_via_type_Is_bouton_to synapsed_via_type_II_bouton_to synapsed_by_via_type_II_bouton synapsed_by_via_type_Ib_bouton has postsynaptic terminal in synapsed_by_via_type_Is_bouton has presynaptic terminal in synapsed_via_type_III_bouton_to synapsed_by_via_type_III_bouton synapsed to dendrite synapsed in has synaptic terminal in overlaps has fasciculating neuron projection innervates continuous with partially overlaps spatially disjoint from has component surrounded by surrounds inheres in part of mereotopologically related to composed primarily of location of has member

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