Not logged in : Login
(Sponging disallowed)

About: proper continuant part of at all times     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : owl:ObjectProperty, within Data Space : associated with source document(s)
QRcode icon

  • b proper_continuant_part_of c at t =Def. b continuant_part_of c at t & b and c are not identical. (axiom label in BFO2 Reference: [004-001])
editor note
  • Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance-level, relation. The BFO reading of the binary relation 'proper part of continuant at all times@en' is: forall(t) exists_at(x,t) -> exists_at(y,t) and 'proper part of continuant@en(x,y,t)'.
imported from
has associated axiom(fol)
  • (iff (properContinuantPartOfAt a b t) (and (continuantPartOfAt a b t) (not (= a b)))) // axiom label in BFO2 CLIF: [004-001]
BFO OWL specification label
  • c-ppart-of_at
BFO CLIF specification label
  • properContinuantPartOfAt
  • proper continuant part of at all times
  • proper part of continuant at all times
preferred label
  • proper continuant part of at all times
described by
  • 225-BFO
  • b proper continuant part of c at all times =Def for all times t, b exists at t implies (b continuant part of c at t & not (c proper continuant part of b at t))
is subPropertyOf of
is annotatedSource of
is onProperty of
is topic of
Faceted Search & Find service v1.17_git51 as of Jun 26 2020

Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Sep 9 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software