Not logged in : Login
(Sponging disallowed)

About: is direct form of     Goto   Sponge   NotDistinct   Permalink

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

  • relation p is the direct form of relation q iff p is a subPropertyOf q, p does not have the Transitive characteristic, q does have the Transitive characteristic, and for all x, y: x q y -> exists z1, z2, ..., zn such that x p z1 ... z2n y
editor note
  • The general property hierarchy is: "directly P" SubPropertyOf "P" Transitive(P) Where we have an annotation assertion "directly P" "is direct form of" "P"
  • is direct form of
  • Chris Mungall
described by
  • Chris Mungall
logical macro asse...notation property
  • If we have the annotation P is-direct-form-of Q, and we have inverses P' and Q', then it follows that P' is-direct-form-of Q'
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.3318 as of Jul 10 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