Not logged in : Login
(Sponging disallowed)

About: type of temporally stuff-like thing     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:NamedIndividual, within Data Space : data.openlinksw.com associated with source document(s)
QRcode icon
http://data.openlinksw.com/describe/?url=http%3A%2F%2Fumbel.org%2Fumbel%2Frc%2FTemporalStuffType

AttributesValues
subClassOf
preferred label
  • type of temporally stuff-like thing
umbel:superClassOf
definition
  • A specialization of StuffType (q.v.) whose instances are all and only those collections that are temporally stuff-like. A collection <code><b>COL</b></code> is temporally stuff-like just in case every purely temporal part (see timeSlices) of an instance of <code><b>COL</b></code> is itself an instance of <code><b>COL</b></code>, unless it is a temporal part of a temporal granule of <code><b>COL</b></code> (see granuleOfTemporalStuff). <p/> More precisely, for a collection <code><b>COL</b></code> to be an instance of TemporalStuffType it is both a necessary and sufficient condition that for any <code><b>OBJ1</b></code> and <code><b>OBJ2</b></code> (with <code><b>OBJ2</b></code> at or above <code><b>COL</b></code>'s temporal granularity level), if <code>(isa <b>OBJ1</b> <b>COL</b>)</code> and <code>(timeSlices <b>OBJ1</b> <b>OBJ2</b>)</code>, then <code>(isa <b>OBJ2</b> <b>COL</b>)</code>. <p/> Consider WalkingOnTwoLegs. Take an arbitrary instance <code><b>WALK</b></code> of this collection (say Miss America 2000's victory walk down the runway and back); and then take an arbitrary time-slice <code><b>SUBWALK</b></code> of <code><b>WALK</b></code> that subsumes at least one instance of (the granuleOfTemporalStuff for WalkingOnTwoLegs) TakingAStep (say her trip back from the end of the runway). <code><b>SUBWALK</b></code> is itself an instance of WalkingOnTwoLegs. So WalkingOnTwoLegs is an instance of TemporalStuffType. See TemporalObjectType for the disjoint notion of being temporally object-like.
alternative label
  • types of temporally stuff-like thing
  • temporal stuff types
  • temporal stuff type
has broader transitive
has narrower transitive
type
is subClassOf of
is has broader transitive of
is type of
Faceted Search & Find service v1.17_git122 as of Jan 03 2023


Alternative Linked Data Documents: iSPARQL | ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Apr 5 2024, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (30 GB total memory, 24 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software